X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fparser%2FParser.y.pp;h=d35d4e2c08bf4de94501106f49bfd360204bf33d;hp=f349f30770e1d40b71542645e19c9f8638cf1aaa;hb=654a1ba16e47d3ddabeb74b809ee6097c0770d35;hpb=ae52214482136fdeaaf9d741cf1211cf3cdce5c6

diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp
index f349f30..d35d4e2 100644
--- a/compiler/parser/Parser.y.pp
+++ b/compiler/parser/Parser.y.pp
@@ -981,7 +981,8 @@ gentype :: { LHsType RdrName }
         : btype                         { $1 }
         | btype qtyconop gentype        { LL $ HsOpTy $1 $2 $3 }
         | btype tyvarop  gentype  	{ LL $ HsOpTy $1 $2 $3 }
- 	| btype '->' ctype		{ LL $ HsFunTy $1 $3 }
+ 	| btype '->'     ctype		{ LL $ HsFunTy $1 $3 }
+        | btype '~'      gentype  	{ LL $ HsPredTy (HsEqualP $1 $3) }
 
 btype :: { LHsType RdrName }
 	: btype atype			{ LL $ HsAppTy $1 $2 }