Skip to content
Blame Permalink
  • Richard Eisenberg's avatar
    dd99f2ec
    Fix #11797. · dd99f2ec
    Richard Eisenberg authored 
    DsMeta curiously omitted quantified tyvars in certain circumstances.
This patch means it doesn't.

Test case: th/T11797
    dd99f2ec
    Fix #11797.
    Richard Eisenberg authored 
    DsMeta curiously omitted quantified tyvars in certain circumstances.
This patch means it doesn't.

Test case: th/T11797