X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fparser%2FRdrHsSyn.lhs;h=ca24070a04f8115fbee4a8baef5064b90c4aafa3;hb=8a2fd9f501ead7e392f42291ca5fef2096c4102f;hp=2e846a518d99643b745d49a7cf66477724bd1628;hpb=56dfaffd65d96d27a74c906c2201fd392e06f154;p=ghc-hetmet.git

diff --git a/compiler/parser/RdrHsSyn.lhs b/compiler/parser/RdrHsSyn.lhs
index 2e846a5..ca24070 100644
--- a/compiler/parser/RdrHsSyn.lhs
+++ b/compiler/parser/RdrHsSyn.lhs
@@ -596,6 +596,10 @@ checkValDef :: LHsExpr RdrName
 	    -> Located (GRHSs RdrName)
 	    -> P (HsBind RdrName)
 
+checkValDef lhs (Just sig) grhss
+   	-- x :: ty = rhs  parses as a *pattern* binding
+  = checkPatBind (L (combineLocs lhs sig) (ExprWithTySig lhs sig)) grhss
+
 checkValDef lhs opt_sig grhss
   = do	{ mb_fun <- isFunLhs lhs
 	; case mb_fun of