Changes between Version 11 and Version 12 of ScopedTypeVariables

Show
Ignore:
Timestamp:
01/20/06 09:01:02 (7 years ago)
Author:
ross@…
Comment:

refer to GHC changes

Legend:

Unmodified
Added
Removed
Modified

  • ScopedTypeVariables

    v11 v12  
    4242}}} 
    4343In the latter two cases, the variable can stand for any type, not necessarily a type variable as in these examples, i.e. the variable is existentially quantified. 
    44 Hugs supports only pattern type signatures, with the type variables universally quantified. 
     44In future versions of GHC, type variables will be rigid (universally quantified). 
     45Hugs supports only pattern type signatures, with rigid type variables. 
    4546 
    4647In GHC, type variables in the head of a class or instance declaration scope over bindings in the `where` part. 
    4748 
    4849== References == 
    49  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#scoped-type-variables GHC documentation] 
     50 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#scoped-type-variables GHC documentation] and [http://www.haskell.org/pipermail/glasgow-haskell-users/2006-January/009565.html a recent revision] 
    5051 * [http://cvs.haskell.org/Hugs/pages/users_guide/type-annotations.html Hugs documentation] 
    5152