On Thu, Jul 1, 2010 at 2:26 PM, Christopher Lane Hinson < l...@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
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe