[Haskell] context rules for "default"

Doug McIlroy doug at cs.dartmouth.edu
Thu Feb 9 15:17:36 EST 2006

What is the rationale for the requirement that, in order for
the ambiguous type of a numeric constant to be resolved by the
default declaration, all classes in the context must be in the
Standard Prelude or Standard Library (Revised Report 4.3.4)?
This makes it hard to introduce new polymorphic functions
whose domain includes the integers.

Doug McIlroy

More information about the Haskell mailing list