Commit 133d0902 authored by's avatar
Browse files

Add comment for the invariant that DataAlt is never a newtype

parent 6f873493
......@@ -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
deriving (Eq, Ord)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment