On Wed, Sep 24, 2008 at 12:55:29PM +0200, Wolfgang Jeltsch wrote:
>
> I thought, someone said that with the new typing machinery in GHC 6.10, more
> functional dependency programs are accepted because functional dependencies
> are handled similarly to type families (or something like that). Is this
> true? Since the type family version is okay, why shouldn’t the functional
> dependency version be okay?
In
http://hackage.haskell.org/trac/ghc/ticket/345
Simon says:
Ultimately, I think we can implement fundeps using type families,
and then the fundep version will work too. Until then, it'll only
work in type-family form.
Thanks
Ian
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
