Changes between Version 9 and Version 10 of Ticket #57


Ignore:
Timestamp:
Jan 22, 2007 1:47:47 AM (7 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