RE: monomorphism/hugs98/ghc-5.02.3

2002-06-03 Thread Simon Marlow
However, in ghc-5.02.3 for Haskell 98 (without glasgow extensions) it seems that is not the case. I _guessed_ that I need to use the flag -fno-monomorphism-restriction but I don't know whether I've failed to turn it on or if the problem is to be found somewhere else. A related problem

Re: monomorphism/hugs98/ghc-5.02.3

2002-05-31 Thread Matt Fairtlough
Thanks a lot for the solution! And of course the ghci behaviour is much more sensible than the hugs one. And for pointing me to the mail archive. It encourages me to submit my next problem: stack overflow with simple Show instances...more later I wonder if there is a list of Hugs to GHCI

Re: monomorphism/hugs98/ghc-5.02.3

2002-05-31 Thread Alastair Reid
It encourages me to submit my next problem: stack overflow with simple Show instances...more later Let me guess that this involves a data declaration of the form: data Foo = ... | Foo op ... | ... That is an infix data constructor whose first argument is a recursive reference to the

Re: monomorphism/hugs98/ghc-5.02.3

2002-05-31 Thread Matt Fairtlough
Hmm. It might be related but I somehow doubt it. The buggy program is -- module Bug2 where data Bug2 = Bug2 instance Show Bug2 where showsPrec _ Bug2 str = showChar '?' str -- (stack overflow on Bug2 Bug2) and

Re: monomorphism/hugs98/ghc-5.02.3

2002-05-31 Thread Sigbjorn Finne
: monomorphism/hugs98/ghc-5.02.3 It encourages me to submit my next problem: stack overflow with simple Show instances...more later Let me guess that this involves a data declaration of the form: data Foo = ... | Foo op ... | ... That is an infix data constructor whose first argument

monomorphism/hugs98/ghc-5.02.3

2002-05-30 Thread Matt Fairtlough
Hello Haskellers, I've just joined this email group because I am teaching Haskell to our 2nd year students. I'm not a Haskell expert but I do enjoy functional programming. I don't know if anyone can help with this; I've checked the FAQs and the bug-reports on SourceForge and found nothing but

Re: monomorphism/hugs98/ghc-5.02.3

2002-05-30 Thread Jay Cox
--- Matt Fairtlough [EMAIL PROTECTED] wrote: instance (Eq a, Testit a) = Super (Test a) where sup1 (Test{f1=x, f2=y}) = Just Test{f1=x, f2=y} where y' = top y x' = top x top :: [a] - a top (s:st) = s is it possible to compile this program in ghc-5.02.3? Maybe