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


Ignore:
Timestamp:
Sep 14, 2006 9:02:27 PM (9 years ago)
Author:
andykam
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/CoreSynType

    v12 v13  
    9999 * The {{{res_ty}}} type is the same as the type of any of the right-hand sides.
    100100 
    101  * If there is a {{{DEFAULT}}} alternative, it must appear first.
     101 * If there is a {{{DEFAULT}}} alternative, it must appear first.  This makes finding a {{{DEFAULT}}} alternative easy, when it exists.
    102102
    103103 * The remaining non-DEFAULT alternatives must appear in order of