Fwd: [Haskell] context rules for "default"

Bulat Ziganshin bulatz at HotPOP.com
Fri Feb 10 01:38:41 EST 2006


it seems like a good question for committee ;)

This is a forwarded message
From: Doug McIlroy <doug at cs.dartmouth.edu>
To: haskell at haskell.org
Date: Thursday, February 09, 2006, 11:17:36 PM
Subject: [Haskell] context rules for "default"

===8<==============Original message text===============
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
_______________________________________________
Haskell mailing list
Haskell at haskell.org
http://www.haskell.org/mailman/listinfo/haskell

===8<===========End of original message text===========



-- 
Best regards,
 Bulat                            mailto:bulatz at HotPOP.com





More information about the Haskell-prime mailing list