projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
6f87349
)
Add comment for the invariant that DataAlt is never a newtype
author
simonpj@microsoft.com
<unknown>
Wed, 6 Sep 2006 11:41:55 +0000
(11:41 +0000)
committer
simonpj@microsoft.com
<unknown>
Wed, 6 Sep 2006 11:41:55 +0000
(11:41 +0000)
compiler/coreSyn/CoreSyn.lhs
patch
|
blob
|
history
diff --git
a/compiler/coreSyn/CoreSyn.lhs
b/compiler/coreSyn/CoreSyn.lhs
index
f83845f
..
a108945
100644
(file)
--- 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)