From 49bff3215bf3fe9ada24dac2cf80f97db4e597dd Mon Sep 17 00:00:00 2001 From: simonpj Date: Wed, 23 Jul 2003 13:08:22 +0000 Subject: [PATCH] [project @ 2003-07-23 13:08:22 by simonpj] Comment case-alternative invariants --- ghc/compiler/coreSyn/CoreSyn.lhs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ghc/compiler/coreSyn/CoreSyn.lhs b/ghc/compiler/coreSyn/CoreSyn.lhs index edee0dd..4c70bb3 100644 --- a/ghc/compiler/coreSyn/CoreSyn.lhs +++ b/ghc/compiler/coreSyn/CoreSyn.lhs @@ -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 -- 1.7.10.4