On Mon, Dec 17, 2001 at 08:57:28AM -0800, Simon Peyton-Jones wrote: > Well, Foo *is* an instance of Num, so a correct Haskell impl > should pick that instance always.
I was looking at what the implementations would allow, the module wasn't supposed to be useful. > Since you don't define the > fromInteger method in the instance decl, you get a runtime error. I expected this, I included it as in some cases I *didn't* et a runtime error though. > I don't know what you expect the [Foo] and Foo -> Int defaults > to do. Let me try to clarify what I was asking: What is a monotype? For example, is "[Foo]" a monotype and is "Foo -> Int" a monotype? The context free grammar implies that a monotype is identical to a type, in which case why is a different name used? The rest was to attempt to highlight some inconsistencies in the implementations. Thanks Ian _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
