Changes between Version 1 and Version 2 of UndecidableInstances


Ignore:
Timestamp:
Dec 5, 2005 6:26:10 PM (10 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • UndecidableInstances

    v1 v2  
    66== Brief Explanation ==
    77
     8There are no restrictions on the form of instance declarations (see FlexibleInstances). As a result, context reduction need not terminate, so implementations impose some limit on the depth of inference.
     9
    810== References ==
    9  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#undecidable-instances Explanation] in the GHC User's guide.
     11 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#undecidable-instances Undecidable instances] in the GHC User's guide.
    1012
    1113== Pros ==
    12  * Pro
    13  * Pro
     14 * offered by GHC and Hugs with appropriate options
     15 * flexible
    1416
    1517== Cons ==
    16  * Con
    17  * Con
     18 * no clear boundary