Martin Sulzmann <[EMAIL PROTECTED]> wrote:: > Stefan Wehr writes: > > [...] > > Manuel (Chakravarty) and I agree that it should be possible to > > constrain associated type synonyms in the context of class > > definitions. Your example shows that this feature is actually > > needed. I will integrate it into phrac within the next few days. > > > > By possible you mean this extension won't break any > of the existing ATS inference results?
Yes, although we didn't go through all the proofs. > You have to be very careful otherwise you'll loose decidability. Do you have something concrete in mind or is this a more general advice? Stefan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
