I don't mind doing this, but can someone first give a brief justification
about why it's a good idea, independent of the discussion that
has taken place on this list? I'd like to add such an explanation
to the code.
Simon
| -----Original Message-----
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]]
| Sent: 16 February 2001 17:42
| To: [EMAIL PROTECTED]
| Subject: Re: Primitive types and Prelude shenanigans
|
|
| Thu, 15 Feb 2001 20:56:20 -0800, William Lee Irwin III
| <[EMAIL PROTECTED]> pisze:
|
| > literal "5" gets mapped to (fromPositiveInteger 5)
| > literal "-9" gets mapped to (fromNonZeroInteger -9)
|
| Note that when a discussed generic Prelude replacement
| framework is done, and ghc's rules are changed to expand -9 to
| negate (fromInteger 9) instead of fromInteger (-9), then you don't
| need uglification of the fromInteger function to be able to define
| types with only nonnegative numeric values. Just define your negate
| in an appropriate class, different from the fromInteger's class.
|
| --
| __("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
| \__/
| ^^ SYGNATURA ZASTEPCZA
| QRCZAK
|
|
| _______________________________________________
| Haskell-Cafe mailing list
| [EMAIL PROTECTED]
| http://www.haskell.org/mailman/listinfo/haskell-cafe
|
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
