Regarding my previous mail:
The problem is caused by the definition of catchall that uses the
operation catch of the IO monad rather than the more general class
operation trap of ErrorMonad.
The previous definition is:
catchall c1 c2 = catch c1 (\_ - c2)
which should be:
--
X-Sun-Data-Type: text
X-Sun-Data-Description: text
X-Sun-Data-Name: text
X-Sun-Charset: us-ascii
X-Sun-Content-Lines: 27
While experimenting with multiple parameter type classes, I
introduced an ErrorMonad. Compiling this with GHC 3.00, the
following happened:
Computation.hs:16:
While experimenting with multiple parameter type classes, I
introduced an ErrorMonad. Compiling this with GHC 3.00, the
following happened:
Computation.hs:16: Warning:
`ErrorMonad' mentioned twice in export list
I'll look into this.
panic! (the `impossible' happened):
