On Sun, Mar 30, 2008 at 3:54 AM, Manuel M T Chakravarty < [EMAIL PROTECTED]> wrote:
> Hugo Pacheco: > > Yes, but doesn't the confluence problem only occur for type synonyms > > that ignore one or more of the parameters? If so, this could be > > checked... > > You can't check this easily (for the general case). > I was most interested in knowing that this assumption was enough, and it looks like it does. > > Given > > type family G a b > type FList a x = G a x > type instance F [a] = FList a > > Does FList ignore its second argument? Depends on the type instances > of G. > > Manuel > I haven't thought of that, thanks for the example. hugo
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe