Changes between Version 10 and Version 11 of Commentary/Compiler/CoreSynType


Ignore:
Timestamp:
Sep 14, 2006 8:57:37 PM (8 years ago)
Author:
andykam
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/CoreSynType

    v10 v11  
    7070A case expression is '''always strict''', even if there is only one alternative, and it is {{{DEFAULT}}}.  (This differs from Haskell!)  So 
    7171{{{ 
    72 case error "urk" of { DEFAULT -> True 
     72case error "urk" of { DEFAULT -> True } 
    7373}}} 
    7474will call {{{error}}}, rather then returning {{{True}}}.