Changes between Version 3 and Version 4 of ScopedTypeVariables


Ignore:
Timestamp:
Dec 1, 2005 7:19:42 PM (8 years ago)
Author:
sweirich@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ScopedTypeVariables

    v3 v4  
    2525 
    2626== Cons == 
     27  * Many different forms of scoped type variables in GHC makes them hard to reason about. 
     28    For example: 
     29{{{ 
     30    f :: a -> a  
     31    f = \x -> (x :: a) 
     32}}} 
     33  is rejected but 
     34{{{ 
     35    g = let f :: a -> a = \x -> (x :: a) in f  
     36}}}  
     37  is allowed. 
     38