Changes between Version 3 and Version 4 of ScopedTypeVariables


Ignore:
Timestamp:
Dec 1, 2005 7:19:42 PM (10 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