1 Jul
2010
1 Jul
'10
3:47 p.m.
On Thu, Jul 1, 2010 at 2:26 PM, Christopher Lane Hinson < lane@downstairspeople.org> wrote:
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.
This much works. However equality constraints in the body still blow up at last check. -Edward Kmett