Changes between Version 6 and Version 7 of Language/Core/Expressions


Ignore:
Timestamp:
Jan 2, 2012, 1:36:22 PM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Expressions

    v6 v7  
    5050ALT     ::= PAT -> EXP
    5151PAT     ::= UNDERSCORE | CON PATBIND+
    52 PATBIND ::= BINDER | BINDER : TYPE
     52PATBIND ::= BINDER | ( BINDER : TYPE )
    5353}}}
    5454