GADTs and functional dependencies

Ian Lynagh igloo at
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?

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.


More information about the Glasgow-haskell-users mailing list