-
Richard Eisenberg authored
DsMeta curiously omitted quantified tyvars in certain circumstances. This patch means it doesn't. Test case: th/T11797 (cherry picked from commit dd99f2ec)
3f7832bc
DsMeta curiously omitted quantified tyvars in certain circumstances. This patch means it doesn't. Test case: th/T11797 (cherry picked from commit dd99f2ec)