Skip to content
  • Simon Peyton Jones's avatar
    Fix defer-out-of-scope-variables · a211dca8
    Simon Peyton Jones authored
    In the hacky code in TcUnify.buildImplication we'd failed to account
    for -fdefer-out-of-scope-variables.  See the new function
    TcUnify.implicationNeeded.
    
    Fixes Trac #14149
    a211dca8