3 Feb
2004
3 Feb
'04
7:34 p.m.
"Iavor S. Diatchki"
it refers to type constructor.
Okay, thanks for the clarification.
since value constructors are not allowed in the "instance head" the terminology is not ambiguous.
You know, I'm going to have to take issue with this. Yes, it's not ambigous if you knew the answer. I think error messages should be targetted at those who didn't know the answer, and doubly so for Hugs which is often used by beginners, and is arguably the easiest Haskell distribution to get up and running. (Just my $0.02 and all that)
on the other hand saying "type" would be wrong, as variables are (in a way) types
Huh? Do you mean "type variables"? :-) -kzm -- If I haven't seen further, it is by standing in the footprints of giants