[Haskell-cafe] Associated types
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
> involved function.
This much works. However equality constraints in the body still blow up at
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe