• mnislaih's avatar
    Removed unnecessary code · 704422eb
    mnislaih authored
    The breakpointJump functions never show up in the code that the typechecker sees, as they are inserted by the desugarer later.
    704422eb
TcRnMonad.lhs 30.6 KB