Confused about default
Tue, 18 Dec 2001 01:48:34 -0800
| Let me try to clarify what I was asking:
| What is a monotype? For example, is "[Foo]" a monotype and is=20
| "Foo -> Int" a monotype? The context free grammar implies=20
| that a monotype is identical to a type, in which case why is=20
| a different name used?
A monotype is a type with no for-alls in it. But you are right that
it's confusing that this is the only occurrence. I think the simplest
thing is to change 'monotype' to 'type' here; after all, Num (forall
does not hold!
thanks for pointing this out.