Changes between Version 8 and Version 9 of Ticket #57

Show
Ignore:
Timestamp:
01/21/07 16:01:46 (6 years ago)
Author:
guest
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #57 – description

    v8 v9  
    127127ex2 = C 2                  -- not ok, needs another argument. 
    128128}}} 
     129(This issue is related to the treatment of rank-2 types and the choice here should be consistent with that extension.) 
     130 
     131The restriction that functions with rank-2 types are applied to all their polymorphic arguments ensures that all expressions have ordinary (i.e., non rank-2) types, as in Haskell 98. 
     132 
     133 
    129134 
    130135== Pattern matching ==