
20 Dec
2001
20 Dec
'01
10:46 a.m.
What does No default for Main.Class13 at nopos.(861,[(366,865)]) mean?
I'm not sure. It might be a cryptic way of saying that the class definition is incorrect.
The class looks like
class Class13 a where class13_1 :: a -> Int class13_2 :: String
This is illegal - all methods of the class must have a type involving the constrained variable a. Regards, Malcolm