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