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 ZASTÊPCZA QRCZAK _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
- RE: Primitive types and Prelude shenanigans Simon Marlow
- Re: Primitive types and Prelude shenanigans William Lee Irwin III
- Re: Primitive types and Prelude shenanigans Ketil Malde
- Re: Primitive types and Prelude shenanigans Fergus Henderson
- Re: Primitive types and Prelude shenanigans William Lee Irwin III
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans William Lee Irwin III
- RE: Primitive types and Prelude shenanigans Simon Peyton-Jones
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Dylan Thurston
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans William Lee Irwin III
- RE: Primitive types and Prelude shenanigans Simon Peyton-Jones
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Ketil Malde
- Re: Primitive types and Prelude shenanigans Fergus Henderson
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Fergus Henderson
- RE: Primitive types and Prelude shenanigans Simon Peyton-Jones
- Re: Primitive types and Prelude shenanigans Marcin 'Qrczak' Kowalczyk
- Re: Primitive types and Prelude shenanigans Dylan Thurston