Re: Primitive types and Prelude shenanigans

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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ SYGNATURA ZASTÊPCZA QRCZAK