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

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