• Simon Peyton Jones's avatar
    Turn infinite loop into a panic · db6f1d9c
    Simon Peyton Jones authored
    In these two functions
      * TcIface.toIfaceAppTyArgsX
      * Type.piResultTys
    we take a type application (f t1 .. tn) and try to find
    its kind. It turned out that, if (f t1 .. tn) was ill-kinded
    the function would go into an infinite loop.
    That's not good: it caused the loop in Trac #15473.
    This patch doesn't fix the bug in #15473, but it does turn the
    loop into a decent panic, which is a step forward.
Type.hs 107 KB