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

Show
Ignore:
Timestamp:
09/14/06 14:27:57 (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Compiler/CoreSynType

    v15 v16  
    9797 
    9898Case expressions have several invariants 
    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]). 
     99 * The {{{res_ty}}} type is the same as the type of any of the right-hand sides (up to refining unification -- coreRefineTys in [[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.