Primitive types and Prelude shenanigans

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
16 Feb 2001 17:42:17 GMT


Thu, 15 Feb 2001 20:56:20 -0800, William Lee Irwin III <wli@holomorphy.com> 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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTĘPCZA
QRCZAK