GADTs and functional dependencies
igloo at earth.li
Wed Sep 24 09:11:47 EDT 2008
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?
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.
More information about the Glasgow-haskell-users