Skip to content
  • Simon Peyton Jones's avatar
    Push coercions in exprIsConApp_maybe · b4c3a668
    Simon Peyton Jones authored
    Trac #13025 showed up the fact that exprIsConApp_maybe isn't
    clever enough: it didn't push coercions through applicatins, and that
    meant we weren't getting as much superclass selection as we should.
    
    It's easy to fix, happily.
    
    See Note [Push coercions in exprIsConApp_maybe]
    b4c3a668