From: sof <unknown>
Date: Mon, 25 Aug 1997 21:43:38 +0000 (+0000)
Subject: [project @ 1997-08-25 21:43:38 by sof]
X-Git-Tag: Approximately_1000_patches_recorded~126
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=2c57b27c47da2c80b5842f6c5872fe33036fc664;p=ghc-hetmet.git

[project @ 1997-08-25 21:43:38 by sof]
New constructors: DoOrListComp.Guard, HsExpr.RecRecordConOut
---

diff --git a/ghc/compiler/hsSyn/HsExpr.lhs b/ghc/compiler/hsSyn/HsExpr.lhs
index 1acfd71..44b250b 100644
--- a/ghc/compiler/hsSyn/HsExpr.lhs
+++ b/ghc/compiler/hsSyn/HsExpr.lhs
@@ -113,10 +113,13 @@ data HsExpr tyvar uvar id pat
 				-- direct from the components
 
 	-- Record construction
-  | RecordCon	(HsExpr tyvar uvar id pat)	-- Always (HsVar id) until type checker,
-						-- but the latter adds its type args too
+  | RecordCon	id
 		(HsRecordBinds tyvar uvar id pat)
 
+  | RecordConOut id				-- The constructor
+		 (HsExpr tyvar uvar id pat)	-- The constructor applied to type/dict args
+		 (HsRecordBinds tyvar uvar id pat)
+
 	-- Record update
   | RecordUpd	(HsExpr tyvar uvar id pat)
 		(HsRecordBinds tyvar uvar id pat)
@@ -296,8 +299,10 @@ pprExpr sty (ExplicitListOut ty exprs)
 pprExpr sty (ExplicitTuple exprs)
   = parens (sep (punctuate comma (map (pprExpr sty) exprs)))
 
-pprExpr sty (RecordCon con  rbinds)
+pprExpr sty (RecordCon con rbinds)
   = pp_rbinds sty (ppr sty con) rbinds
+pprExpr sty (RecordConOut con_id con_expr rbinds)
+  = pp_rbinds sty (ppr sty con_expr) rbinds
 
 pprExpr sty (RecordUpd aexp rbinds)
   = pp_rbinds sty (pprParendExpr sty aexp) rbinds
@@ -413,13 +418,14 @@ pp_rbinds sty thing rbinds
 %************************************************************************
 
 \begin{code}
-data DoOrListComp = DoStmt | ListComp
+data DoOrListComp = DoStmt | ListComp | Guard
 
 pprDo DoStmt sty stmts
   = hang (ptext SLIT("do")) 2 (vcat (map (ppr sty) stmts))
 pprDo ListComp sty stmts
-  = hang (hsep [lbrack, pprExpr sty expr, char '|'])
-	 4 (sep [interpp'SP sty quals, rbrack])
+  = brackets $
+    hang (pprExpr sty expr <+> char '|')
+       4 (interpp'SP sty quals)
   where
     ReturnStmt expr = last stmts	-- Last stmt should be a ReturnStmt for list comps
     quals	    = init stmts