Changes between Version 9 and Version 10 of Ticket #57


Ignore:
Timestamp:
Jan 22, 2007 1:47:47 AM (9 years ago)
Author:
guest
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #57 – Description

    v9 v10  
    131131The 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.
    132132
     133Here is an example that illustrates some of the difficulties that arise if we allow partially applied constructors:
     134{{{
     135data T  = C1 Int (forall a. (Eq a, Show a) => a -> a)
     136        | C2     (forall a. (Show a, Eq a) => a -> a)
     137
     138h      :: a -> a -> Int
     139h _ _   = 1
     140
     141test    = h (C1 1) C2
     142}}}
     143
    133144
    134145