Skip to content
  • Simon Peyton Jones's avatar
    Buglet in reporting out of scope errors in rules · cad5d0b6
    Simon Peyton Jones authored
    Most out of scope errors get reported by the type checker these
    days, but not all.  Example, the function on the LHS of a RULE.
    
    Trace #15659 pointed out that this less-heavily-used code path
    produce a "wacky" error message.  Indeed so.  Easily fixed.
    cad5d0b6