• Simon Peyton Jones's avatar
    Keep the bindings local during defaultCallStacks · f352e5cd
    Simon Peyton Jones authored
    defaultCallStacks generates evidence bindings for call stacks,
    but wasn't setting the binding site correctly.  As a result
    they were simply discarded in the case of pattern synonyms,
    giving rise to Trac #12489.
    
    The fix is easy; and I added an ASSERT to catch the error earlier.
    f352e5cd
TcPatSyn.hs 35.3 KB