| does type-checking remain decidable (in general) for overlapping instances
| (:+o in hugs)?
Type checking in Hugs (with -98, at least) isn't decidable,
either with or without overlapping instances! But decidability
could be recovered by placing stronger syntactic requirements
on the form of c
Hello,
does type-checking remain decidable (in general) for overlapping instances
(:+o in hugs)?
--
Christoph
> Overlapping instances for class "Bindable"
> A suggestion for a direct fix would be nice,
run it like this: hugs -h4m -98 +o ...
--
-- Johannes Waldmann http://www.informatik.uni-leipzig.de/~joe/ --
-- [EMAIL PROTECTED] -- phone/fax (+49) 341 9732 204/252 --
===> Drittes Leipziger Jo