[Haskell-cafe] Associated types

[Christopher Lane Hinson]

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