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 ===