Ahh... I see now (thanks). This advice (in the documentation for System.IO.Error.ioError) threw me:
"The ioError variant should be used in preference to throw to raise an exception within the IO monad because it guarantees ordering with respect to other IO operations, whereas throw does not." After reading this I assumed that I should also use the exceptions in System.IO.Error i.e. the IOError type. But of course this is not the case; ioError has type Exception -> IO a. -----Original Message----- From: Hal Daume III [mailto:[EMAIL PROTECTED] Sent: 04 June 2003 16:32 To: Bayley, Alistair Cc: [EMAIL PROTECTED] Subject: Re: How do I create an IOError exception? In Control.Exception, there's: > data Exception = ... > | DynException Dynamic > | ... and > throwIO :: Exception -> IO a so, what you want is probably something like: > if rc < 0 > then throwIO (DynException (toDyn ("Err", rc))) > else ... and then when you catch, use fromDyn(amic) to get the value out if you can predict its type... HTH. - Hal -- Hal Daume III | [EMAIL PROTECTED] "Arrest this man, he talks in maths." | www.isi.edu/~hdaume On Wed, 4 Jun 2003, Bayley, Alistair wrote: > (I know I'm asking some noddy questions, but hey, that's what this list is > for...) > > How do I create IOError exceptions? System.IO.Error has two functions that > create IOErrors: userError and mkIOError. However, both of them take a > String (I assume containing a description of the problem), and mkIOError > takes optional Handle and FilePath args. > > http://www.haskell.org/ghc/docs/latest/html/base/System.IO.Error.html > > What I'd like to do is stuff some more information into the exception (a bit > like Java exceptions), along the lines of: > > > mkIOError :: a -> IOError > > where I could choose to use it like this (ociHandleAlloc is a foreign C > function): > > > handleAlloc2 handleType env ptr = do > > rc <- ociHandleAlloc env ptr handleType 0 0 > > if rc < 0 > > then ioError (mkIOError ("Couldn't allocate handle", rc)) > > else peek ptr > > > When I catch the exception (currently in main) I would like to interrogate > it to get the values I stuffed in it (in this case a (String, Int) tuple), > and then do some error reporting by calling another function which decodes > the error number. > > Is this the wrong way to go about error handling? Or is it relatively simple > to create your own IOErrors? Have I missed something in the docs? > ***************************************************************** The information in this email and in any attachments is confidential and intended solely for the attention and use of the named addressee(s). This information may be subject to legal professional or other privilege or may otherwise be protected by work product immunity or other legal rules. It must not be disclosed to any person without our authority. If you are not the intended recipient, or a person responsible for delivering it to the intended recipient, you are not authorised to and must not disclose, copy, distribute, or retain this message or any part of it. ***************************************************************** _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
