RE: ghc-4.02 crashes with Windows NT - followup

1999-02-27 Thread Simon Marlow
As a quick follow up, I should have said. The same program runs fine with ghc-4.02 under linux. That's bizarre, because there's no architecture dependent code in the garbage collector except for the bit that allocates memory from the OS. Could you send us the code? Cheers, Simon

cvs version, PrelNumExtra fails to compile

1999-02-27 Thread P.C.Callaghan
I'm compiling the latest version (ie, cvs diff is silent). --- rm -f PrelNumExtra.o ; if [ ! -d PrelNumExtra ]; then mkdir PrelNumExtra; else find PrelNumExtra -name '*.o' -print | xargs rm -f __rm_food ; fi ; ../../../ghc/driver/ghc -recomp -cpp -fglasgow-exts -fvia-C -Rghc-timing -O

Re: cvs version, PrelNumExtra fails to compile

1999-02-27 Thread Felix Schroeter
Hello! On Sat, Feb 27, 1999 at 08:51:29PM +, P.C.Callaghan wrote: I'm compiling the latest version (ie, cvs diff is silent). The latter doesn't imply the first, as cvs diff (w/o any further options) diffs between the version your checkout is based on and your checkout itself. NOT: between

Re: Haskell 2 -- Dependent types?

1999-02-27 Thread Fergus Henderson
On 26-Feb-1999, Lennart Augustsson [EMAIL PROTECTED] wrote: This occurs because in the absense of type declarations, Haskell assumes that any recursion will be monomorphic, which is in general not necessarily the case. As I'm sure you know, type inference is in general impossible for

Re: Haskell 2 -- Dependent types?

1999-02-27 Thread Fergus Henderson
On 25-Feb-1999, Lennart Augustsson [EMAIL PROTECTED] wrote: [someone wrote:] I've lost track of what we're talking about here. In what system can we not hope for principal types? [...] Cayenne doesn't have that property. Again, I think this is a feature, not a bug. I'll include a

Re: Haskell 2 -- Dependent types?

1999-02-27 Thread Lennart Augustsson
So what does Cayenne do if you don't declare the type for `push'? Does it report an error? The basic principle in Cayenne is that you need type signatures everywhere. This is sometimes rather verbose and is relaxed in some cases, but not here. If you omit the type signature the compiler