Changes between Version 14 and Version 15 of Commentary/Compiler/CoreSynType


Ignore:
Timestamp:
Sep 14, 2006 9:26:28 PM (8 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/CoreSynType

    v14 v15  
    9797 
    9898Case expressions have several invariants 
    99  * The {{{res_ty}}} type is the same as the type of any of the right-hand sides. 
     99 * The {{{res_ty}}} type is the same as the type of any of the right-hand sides (up to refining unification [[GhcFile(compiler/types/Unify.lhs)]] in pre-[wiki:Commentary/Compiler/FC FC]). 
    100100  
    101101 * If there is a {{{DEFAULT}}} alternative, it must appear first.  This makes finding a {{{DEFAULT}}} alternative easy, when it exists.