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

Show
Ignore:
Timestamp:
09/14/06 13:58:53 (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Compiler/CoreSynType

    v11 v12  
    6060 * {{{scrut}}} is the scrutinee 
    6161 * {{{case_bndr}}} is the '''case binder''' (see notes below) 
    62  * {{{res_ty}}} is the type of the entire case expression (redundant once [wiki:Commentary/Compiler/FC FC] is in HEAD) 
     62 * {{{res_ty}}} is the type of the entire case expression (redundant once [wiki:Commentary/Compiler/FC FC] is in HEAD -- was for GADTs) 
    6363 * {{{alts}}} is a list of the case alternatives 
    6464