Changes between Version 8 and Version 9 of Ticket #57


Ignore:
Timestamp:
Jan 22, 2007 12:01:46 AM (9 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 ==