[Haskell-cafe] Re: Associated Type Synonyms question
mail at stefanwehr.de
Fri Feb 17 08:26:18 EST 2006
Martin Sulzmann <sulzmann at comp.nus.edu.sg> 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
More information about the Haskell-Cafe