1 Jul
2010
1 Jul
'10
2:35 p.m.
On Thu, 1 Jul 2010, Christopher Lane Hinson wrote:
Something like this should work:
class (Path p, CompletePath (CompletedPath p)) => IncompletePath p where type CompletedPath p :: *
AIUI, this isn't implemented yet. You'll have to place the constraint on each involved function.
Friendly, --Lane
I would have sworn I tested this in 6.12.x, but I'm wrong. It works. Isn't there something left unimplemented that I am thinking of? Tell me I'm not crazy! Weird, --Lane