Re: how to replace Num.fromInteger 2

2000-05-20 Thread Marcin 'Qrczak' Kowalczyk
Sun, 21 May 2000 01:00:18 +1000, Fergus Henderson <[EMAIL PROTECTED]> pisze: [...] I still think that a better solution is to design classes used in resolving special syntax in a such straightforward way that everybody should be happy to use, even when he throws away most of Prelude. fromIntege

Re: how to replace Num.fromInteger 2

2000-05-20 Thread Fergus Henderson
On 20-May-2000, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> wrote: > Sat, 20 May 2000 20:45:47 +1000, Fergus Henderson <[EMAIL PROTECTED]> pisze: > > > For the next version of Haskell, I propose changing the wording to > > > > The integer literal i is equivalent to fromInteger i. Normal

Re: how to replace Num.fromInteger 2

2000-05-20 Thread Fergus Henderson
On 20-May-2000, Marcin 'Qrczak' Kowalczyk <[EMAIL PROTECTED]> wrote: > Sat, 20 May 2000 20:45:47 +1000, Fergus Henderson <[EMAIL PROTECTED]> pisze: > > This is somewhat ambiguous; if it is really intended that unary - > > always refer to the negate function define in the Prelude, it really > > oug

Re: how to replace Num.fromInteger 2

2000-05-20 Thread Marcin 'Qrczak' Kowalczyk
Sat, 20 May 2000 20:45:47 +1000, Fergus Henderson <[EMAIL PROTECTED]> pisze: > For the next version of Haskell, I propose changing the wording to > > The integer literal i is equivalent to fromInteger i. Normally > fromInteger is a method in the standard Prelude class Num (see Secti

Re: how to replace Num.fromInteger 2

2000-05-20 Thread Fergus Henderson
On 19-May-2000, S.D.Mechveliani <[EMAIL PROTECTED]> wrote: > I wonder how to make the user prelude BPrelude to replace > 2 + x :: T > > with (Additive.fromInteger 2 :: T) + x > rather than (Num.fromInteger 2 :: T) + x > ? That seems like a quite reason

Re: how to replace Num.fromInteger 2

2000-05-19 Thread Marcin 'Qrczak' Kowalczyk
Fri, 19 May 2000 18:59:03 +0400 (MSD), S.D.Mechveliani <[EMAIL PROTECTED]> pisze: > I wonder how to make the user prelude BPrelude to replace > 2 + x :: T > > with (Additive.fromInteger 2 :: T) + x > rather than (Num.fromInteger 2 :: T) + x > ? I see

how to replace Num.fromInteger 2

2000-05-19 Thread S.D.Mechveliani
I wonder how to make the user prelude BPrelude to replace 2 + x :: T with (Additive.fromInteger 2 :: T) + x rather than (Num.fromInteger 2 :: T) + x ? For BPrelude hides Num and moves +, fromInteger ... to Additive. So, the compiler reports