Skip to content
  • Simon Peyton Jones's avatar
    Further improve error handling in TcRn monad · 2fdf21bf
    Simon Peyton Jones authored
    This patch builds on the one for Trac #12124, by dealing properly
    with out-of-scope "hole" errors.
    
    This fixes Trac #12529. The hard error coming from visible type application
    is still there, but the out-of-scope error is no longer suppressed.
    
    (Arguably the VTA message should be suppressed somehow, but that's a
    battle for another day.)
    2fdf21bf