Version 3 (modified by ross@…, 7 years ago)

--

Allow Undecidable Instances

  1. Allow Undecidable Instances
    1. Brief Explanation
    2. References
    3. Pros
    4. Cons

Ticket(s)

See ExtensionDescriptionHowto for information on how to write these extension descriptions. Please add any new extensions to the list of HaskellExtensions.

Brief Explanation

There 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.

References

Pros

  • offered by GHC and Hugs with appropriate options
  • flexible

Cons

  • no clear boundary