[project @ 2000-07-09 16:00:55 by panne]
authorpanne <unknown>
Sun, 9 Jul 2000 16:00:55 +0000 (16:00 +0000)
committerpanne <unknown>
Sun, 9 Jul 2000 16:00:55 +0000 (16:00 +0000)
commitde972178542ba92993942f74de43408d10860252
tree527e2e854bf0e667c8b01ba0b00bdacea31eca7b
parent1682eab7cf9d0dcc2ee0076432e65c8e44c2441a
[project @ 2000-07-09 16:00:55 by panne]
By definition (sec. 7.3 in the H98 report), userError raises an
IOError, so Prelude.catch should catch UserError exceptions, too.
Apart from not conforming to the report, without this patch GHC's
typechecker falls straight on its face.
ghc/lib/std/PrelException.lhs