Changes between Version 2 and Version 3 of FlexibleContexts

Show
Ignore:
Timestamp:
12/12/05 07:18:07 (7 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • FlexibleContexts

    v2 v3  
    1414}}} 
    1515(Similar relaxation of `instance` declarations leads to UndecidableInstances.) 
     16 
     17== References == 
     18 * [http://www.haskell.org/onlinereport/decls.html#sect4.1.3 Syntax of Class Assertions and Contexts] in the Haskell 98 Report 
     19 * [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. 
     20 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#type-restrictions Type signatures] in the GHC User's Guide 
    1621 
    1722== Context reduction == 
    … …  
    4651 * is required by OverlappingInstances 
    4752 
    48 == References == 
    49  * [http://www.haskell.org/onlinereport/decls.html#sect4.1.3 Syntax of Class Assertions and Contexts] in the Haskell 98 Report 
    50  * [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. 
    51  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#type-restrictions Type signatures] in the GHC User's Guide 
    5253== Pros == 
    53  * Pro 
    54  * Pro 
     54 * useful with FlexibleInstances 
    5555 
    5656== Cons == 
    57  * Con 
    58  * Con 
     57 * Complicated context reduction story 
     58 * Deferred error checking