Changes between Version 10 and Version 11 of ScopedTypeVariables


Ignore:
Timestamp:
Jan 12, 2006 12:52:39 AM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ScopedTypeVariables

    v10 v11  
    4444Hugs supports only pattern type signatures, with the type variables universally quantified. 
    4545 
    46 In GHC, type variables in instances heads also scope over the body of the instance. 
     46In GHC, type variables in the head of a class or instance declaration scope over bindings in the `where` part. 
    4747 
    4848== References ==