Commit 49bff321 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-07-23 13:08:22 by simonpj]

Comment case-alternative invariants
parent a108d2c6
......@@ -79,7 +79,8 @@ data Expr b -- "b" for the type of binders,
| Lam b (Expr b)
| Let (Bind b) (Expr b)
| Case (Expr b) b [Alt b] -- Binder gets bound to value of scrutinee
-- DEFAULT case must be *first*, if it occurs at all
-- Invariant: the list of alternatives is ALWAYS EXHAUSTIVE
-- Invariant: the DEFAULT case must be *first*, if it occurs at all
| Note Note (Expr b)
| Type Type -- This should only show up at the top
-- level of an Arg
......
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