Lennart Augustsson wrote: >> I had hoped that the code below (GHC 6.10+) would work, but it just >> sends GHC into a loop when you actually try to typecheck (1,1). I >> don't know if that's a bug in GHC or a misunderstanding on my part of >> how the typechecking should work.
> A loop without turning on a flag to allow it must be a bug. Sorry, I didn't mean to say "typecheck (1,1)". I meant to say "evaluate (1,1)*(1,1)" - I had a suspicion that some kind of infinite polymorphic recursion through the Num instance is happening and accidentally turned that thought into a completely different statement. Ganesh ============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ============================================================================== _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
