X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fparser%2FParser.y.pp;h=f0fc523feee824bed3e55414da88ff937b43ad21;hp=b73deb534a015e188e6d4ebcfe3b81d80bffb3f2;hb=6c06fdc7ad20682f0f52b5a78e5e3487a2ed047b;hpb=f0c99958649b8909612b1b9c9b48aad970dfce05

diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp
index b73deb5..f0fc523 100644
--- a/compiler/parser/Parser.y.pp
+++ b/compiler/parser/Parser.y.pp
@@ -1829,6 +1829,11 @@ tyvar   : tyvarid		{ $1 }
 tyvarop :: { Located RdrName }
 tyvarop : '`' tyvarid '`'	{ LL (unLoc $2) }
 	| tyvarsym		{ $1 }
+	| '.'			{% parseErrorSDoc (getLoc $1) 
+	  			      (vcat [ptext (sLit "Illegal symbol '.' in type"), 
+				             ptext (sLit "Perhaps you intended -XRankNTypes or similar flag"),
+					     ptext (sLit "to enable explicit-forall syntax: forall <tvs>. <type>")])
+	                        }
 
 tyvarid	:: { Located RdrName }
 	: VARID			{ L1 $! mkUnqual tvName (getVARID $1) }