Changes between Version 9 and Version 10 of FlexibleInstances


Ignore:
Timestamp:
Mar 1, 2006 9:13:41 AM (9 years ago)
Author:
ross@…
Comment:

add ref

Legend:

Unmodified
Added
Removed
Modified
  • FlexibleInstances

    v9 v10  
    2828 * [http://www.haskell.org/onlinereport/decls.html#undecidable-instances Instance declarations] in the Haskell 98 Report 
    2929 * [http://research.microsoft.com/Users/simonpj/Papers/type-class-design-space/ Type classes: exploring the design space] by Simon Peyton Jones, Mark Jones and Erik Meijer, Haskell Workshop 1997. 
    30  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#instance-decls Instance declarations] in the GHC's User's Guide. 
     30 * [http://www.haskell.org/ghc/docs/6.4-latest/html/users_guide/type-extensions.html#undecidable-instances Undecidable instances] in the GHC 6.4 User's Guide. 
     31 * [http://www.haskell.org/ghc/dist/current/docs/users_guide/type-extensions.html#instance-rules Relaxed rules for instance declarations] in the GHC 6.5 User's Guide. 
    3132 
    3233== Tickets == 
     
    4849instance C b b => C (Maybe a) b 
    4950}}} 
     51(e.g. `C (Maybe Int) (Maybe Int)` reduces to itself.) 
    5052 
    5153=== GHC 6.5 ===