[Haskell-cafe] Associated types
Christopher Lane Hinson
lane at downstairspeople.org
Thu Jul 1 14:35:54 EDT 2010
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
> involved function.
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!
More information about the Haskell-Cafe