X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Frename%2FParseIface.y;h=35043d8f5a29d79a3c7c044a2499bd3e58f44e67;hb=dd04ed7103632317bceb2aa01fea0ce718ed25d0;hp=f5a5576f22261acf6de41323f440522a18e72623;hpb=2c8f04b5b883db74f449dfc8c224929fe28b027d;p=ghc-hetmet.git

diff --git a/ghc/compiler/rename/ParseIface.y b/ghc/compiler/rename/ParseIface.y
index f5a5576..35043d8 100644
--- a/ghc/compiler/rename/ParseIface.y
+++ b/ghc/compiler/rename/ParseIface.y
@@ -486,8 +486,13 @@ id_info_item	: ARITY_PART arity_info			{ HsArity $2 }
 		| strict_info				{ HsStrictness $1 }
 		| BOTTOM 				{ HsStrictness HsBottom }
 		| UNFOLD_PART core_expr			{ HsUnfold $1 $2 }
-                | SPECIALISE OBRACK tv_bndrs CBRACK 
-                     atypes EQUAL core_expr             { HsSpecialise $3 $5 $7 }
+                | SPECIALISE spec_tvs
+                     atypes EQUAL core_expr             { HsSpecialise $2 $3 $5 }
+
+
+spec_tvs	:: { [HsTyVar RdrName] }
+spec_tvs	: OBRACK tv_bndrs CBRACK 		{ $2 }
+	
 
 arity_info	:: { ArityInfo }
 arity_info	: INTEGER					{ exactArity (fromInteger $1) }