Primitive types and Prelude shenanigans

Marcin 'Qrczak' Kowalczyk [email protected]
16 Feb 2001 17:42:17 GMT

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]
  ^^                      SYGNATURA ZASTĘPCZA