diff options
| author | simonpj@microsoft.com <unknown> | 2006-09-06 11:41:55 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2006-09-06 11:41:55 +0000 |
| commit | 133d09024cdead191873088b7248f5d96aafe60f (patch) | |
| tree | 353758226432e0539848d59aec319ceadcf363c8 /compiler/coreSyn | |
| parent | 6f873493416ccb4d277377bf031639bc307c8369 (diff) | |
| download | haskell-133d09024cdead191873088b7248f5d96aafe60f.tar.gz | |
Add comment for the invariant that DataAlt is never a newtype
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreSyn.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreSyn.lhs b/compiler/coreSyn/CoreSyn.lhs index f83845f3f5..a10894524a 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) |