Primitive types and Prelude shenanigans

Marcin 'Qrczak' Kowalczyk
16 Feb 2001 17:42:17 GMT

Thu, 15 Feb 2001 20:56:20 -0800, William Lee Irwin III <> 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 *
  ^^                      SYGNATURA ZASTĘPCZA