[Haskell-cafe] Associated types

[Edward Kmett]

On Thu, Jul 1, 2010 at 2:26 PM, Christopher Lane Hinson <
lane at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100701/028df7cb/attachment.html