X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fparser%2FParser.y.pp;h=8c4b03fb21a51729cafe2f998fbb58fcaa82045a;hb=351e8d3641128e37d32dd35179a19c0b3350661b;hp=7104a0dfb39460f6c62a28c0321ac18f1fd740d2;hpb=23d68e078bc3476cc9cd57a4b51e2b55ea2d9df0;p=ghc-hetmet.git

diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp
index 7104a0d..8c4b03f 100644
--- a/compiler/parser/Parser.y.pp
+++ b/compiler/parser/Parser.y.pp
@@ -822,7 +822,11 @@ where_inst :: { Located (OrdList (LHsDecl RdrName)) }	-- Reversed
 -- Declarations in binding groups other than classes and instances
 --
 decls 	:: { Located (OrdList (LHsDecl RdrName)) }	
-	: decls ';' decl		{ LL (unLoc $1 `appOL` unLoc $3) }
+	: decls ';' decl		{ let { this = unLoc $3;
+                                    rest = unLoc $1;
+                                    these = unLoc $1 `appOL` unLoc $3 }
+                              in rest `seq` this `seq` these `seq`
+                                    LL these }
 	| decls ';'			{ LL (unLoc $1) }
 	| decl				{ $1 }
 	| {- empty -}			{ noLoc nilOL }
@@ -1221,8 +1225,9 @@ decl 	:: { Located (OrdList (LHsDecl RdrName)) }
 					        return (LL $ unitOL $ LL $ ValD ( 
 							PatBind (LL $ BangPat pat) (unLoc $3)
 								placeHolderType placeHolderNames)) } }
-	| infixexp opt_sig rhs		{% do { r <- checkValDef $1 $2 $3;
-						return $! (LL $! (unitOL $! (LL $ ValD r))) } }
+        | infixexp opt_sig rhs          {% do { r <- checkValDef $1 $2 $3;
+                                                let { l = comb2 $1 $> };
+                                                return $! (sL l (unitOL $! (sL l $ ValD r))) } }
         | docdecl                       { LL $ unitOL $1 }
 
 rhs	:: { Located (GRHSs RdrName) }
@@ -1624,9 +1629,10 @@ fbind	:: { HsRecField RdrName (LHsExpr RdrName) }
 -- Implicit Parameter Bindings
 
 dbinds 	:: { Located [LIPBind RdrName] }
-	: dbinds ';' dbind		{ LL ($3 : unLoc $1) }
+	: dbinds ';' dbind		{ let { this = $3; rest = unLoc $1 }
+                              in rest `seq` this `seq` LL (this : rest) }
 	| dbinds ';'			{ LL (unLoc $1) }
-	| dbind				{ L1 [$1] }
+	| dbind				{ let this = $1 in this `seq` L1 [this] }
 --	| {- empty -}			{ [] }
 
 dbind	:: { LIPBind RdrName }