X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FcoreSyn%2FCoreSyn.lhs;h=a10894524a24a42bb9ffc3e0165d29a7281d4009;hp=f83845f3f5b26fd35074854fef8745aca6a04ade;hb=133d09024cdead191873088b7248f5d96aafe60f;hpb=6f873493416ccb4d277377bf031639bc307c8369

diff --git a/compiler/coreSyn/CoreSyn.lhs b/compiler/coreSyn/CoreSyn.lhs
index f83845f..a108945 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)