Changes between Version 9 and Version 10 of Ticket #57
 Timestamp:
 Jan 22, 2007 1:47:47 AM (10 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #57 – Description
v9 v10 131 131 The restriction that functions with rank2 types are applied to all their polymorphic arguments ensures that all expressions have ordinary (i.e., non rank2) types, as in Haskell 98. 132 132 133 Here is an example that illustrates some of the difficulties that arise if we allow partially applied constructors: 134 {{{ 135 data T = C1 Int (forall a. (Eq a, Show a) => a > a) 136  C2 (forall a. (Show a, Eq a) => a > a) 137 138 h :: a > a > Int 139 h _ _ = 1 140 141 test = h (C1 1) C2 142 }}} 143 133 144 134 145