On 6/19/12, Andrej Mitrovic <[email protected]> wrote: > On 6/19/12, Timon Gehr <[email protected]> wrote: >> Indeed. If you are interested, I'll make it work with qualified types as >> well. =) > > I thought it already does? >
Oh you meant to *keep* the qualifier, yeah.
