[Haskell-cafe] Associated types
Edward Kmett
ekmett at gmail.com
Thu Jul 1 15:47:25 EDT 2010
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
More information about the Haskell-Cafe
mailing list