Re: Failed to compile PosixProcPrim on Linux

1998-07-29 Thread Shin-Cheng Mu
Thanks to all of you replied. The compilation worked, with -monly-2-regs. BTW, my Linux distribution is RedHat 5.1 and gcc version is 2.7.2.3. Now I've got ghc3.02 installed. What tests can I run? (neither gmake check nor gmake runtests produce any result). I suppose re-compiling the compiler

Re: Failed to compile PosixProcPrim on Linux

1998-07-29 Thread Manuel M. T. Chakravarty
From: [EMAIL PROTECTED] (Shin-Cheng Mu) Compiling GHC 3.02 for i386 Linux, the make process stops at the point when compiling ghc/lib/posix/PosixProcPrim.lhs. The error message generated is attached below. I tried the patch suggested by Carl R. Witty (I'm not sure whether it was to my

Re: Failed to compile PosixProcPrim on Linux

1998-07-29 Thread Felix Schroeter
Hello! Distribution changed to glasgow-haskell-users, because that's no additional bug. On Wed, Jul 29, 1998 at 07:05:59PM -0700, Shin-Cheng Mu wrote: Thanks to all of you replied. The compilation worked, with -monly-2-regs. BTW, my Linux distribution is RedHat 5.1 and gcc version is

Re: first-argument approach. Reply.

1998-07-29 Thread Fergus Henderson
On 28-Jul-1998, Dominic Duggan [EMAIL PROTECTED] wrote: There is no difference between f = let m1 = Mt [[0]] :: Matrix Int in mm m1 m1 m1 and f = (m1 * m1) :: Matrix Int aside from the convoluted way of providing the type annotation Agreed. (and the need in the former

instances in Haskell-2

1998-07-29 Thread S.D.Mechveliani
To my request on Haskell-2 ... class (Ring r,AddGroup (m r)) = RightModule m r where cMul :: m r - r - m r -- "vector" (m r) multiplied by "coefficient" r' ... instance Ring r = RightModule r r where cMul = mul Haskell rejects this `= RightModule r

Re: instances in Haskell-2

1998-07-29 Thread Simon L Peyton Jones
I cannot find there the subject. Could you citate? Sorry, it turns out I missed your point entirely. class (Ring r,AddGroup (m r)) = RightModule m r where cMul :: m r - r - m r So here, m :: *-* What you really want is to say instance Ring r = RightModule (\t-t) r where

`deriving' generalization

1998-07-29 Thread S.D.Mechveliani
Let us continue with the suggestions for Haskell-2. To my note Obstacle 3: `newtype' cannot derive all the instances automatically. Thus, in our case, add (Id 1) (Id 2) is illegal. ... why Haskell allows the `newtype' derivation only for the standard classes? Why not support