X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreSyn.lhs;h=65ad53c52ed28166cd08d48c1561051c1e40f4e5;hb=bf40e268d916947786c56ec38db86190854a2d2c;hp=f83845f3f5b26fd35074854fef8745aca6a04ade;hpb=afbc90b056b31768e243f3b4900034aec1c6b706;p=ghc-hetmet.git

diff --git a/compiler/coreSyn/CoreSyn.lhs b/compiler/coreSyn/CoreSyn.lhs
index f83845f..65ad53c 100644
--- a/compiler/coreSyn/CoreSyn.lhs
+++ b/compiler/coreSyn/CoreSyn.lhs
@@ -112,7 +112,8 @@ type Arg b = Expr b		-- Can be a Type
 
 type Alt b = (AltCon, [b], Expr b)	-- (DEFAULT, [], rhs) is the default alternative
 
-data AltCon = DataAlt DataCon
+data AltCon = DataAlt DataCon	-- Invariant: the DataCon is always from 
+				-- a *data* type, and never from a *newtype*
 	    | LitAlt  Literal
 	    | DEFAULT
 	 deriving (Eq, Ord)
@@ -439,7 +440,7 @@ mkLets	      :: [Bind b] -> Expr b -> Expr b
 mkLams	      :: [b] -> Expr b -> Expr b
 
 mkLit lit	  = Lit lit
-mkConApp con args = pprTrace "mkConApp" (ppr con) $ mkApps (Var (dataConWorkId con)) args
+mkConApp con args = mkApps (Var (dataConWorkId con)) args
 
 mkLams binders body = foldr Lam body binders
 mkLets binds body   = foldr Let body binds