Changes between Version 10 and Version 11 of Commentary/Compiler/CoreSynType
- Timestamp:
- 09/14/06 13:57:37 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/Compiler/CoreSynType
v10 v11 70 70 A case expression is '''always strict''', even if there is only one alternative, and it is {{{DEFAULT}}}. (This differs from Haskell!) So 71 71 {{{ 72 case error "urk" of { DEFAULT -> True 72 case error "urk" of { DEFAULT -> True } 73 73 }}} 74 74 will call {{{error}}}, rather then returning {{{True}}}.
