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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Core/Types

    v6 v7  
    2525=== Syntactic Sugar ===
    2626The following type expressions are equivalent:
    27  || {{{[BIND1 BIND2 : TYPE1] . TYPE2}}}    || = || {{{[BIND1 : TYPE1] . [BIND2 : TYPE1] . TYPE2}}} ||
    28  || {{{[BIND1 : TYPE1]. TYPE2 TYPE3}}} || = || {{{[BIND1 : TYPE1]. (TYPE2 TYPE3)}}} ||
     27 || {{{[BINDER1 BINDER2 : TYPE1] . TYPE2}}}    || = || {{{[BINDER1 : TYPE1] . [BIND2 : TYPE1] . TYPE2}}} ||
     28 || {{{[BINDER1 : TYPE1]. TYPE2 TYPE3}}} || = || {{{[BINDER1 : TYPE1]. (TYPE2 TYPE3)}}} ||
    2929 || {{{(TYPE)}}} || = || {{{TYPE}}} ||
    3030 || {{{TYPE1 TYPE2 TYPE3}}} || = || {{{(TYPE1 TYPE2) TYPE3}}} ||