Duplicate errors with class constraints
When defining instances with free variables of classes with constraints, these constraints have to be repeated to be able to use them in the instance definition. However, this leads to duplicated error messages:
class Test a | + a where
test :: a a -> a
instance Test a | + a where
test x y = x + y
Start = test "" ""
gives the errors:
Overloading error [main.icl,11,Start]: "+" no instance available of type String
Overloading error [main.icl,11,Start]: "+" no instance available of type String
I would expect the error to occur only once
Environment: iTasks with -aui compiler flag