Hmm. Q is a monad, so I think
fail :: Monad m => String -> m a
will do the job.
'recover' should catch the exception, and let you try something else.
Simon
| -----Original Message-----
| From: Gracjan Polak [mailto:[EMAIL PROTECTED]
| Sent: 20 September 2005 10:43
| To: Simon Peyton-Jones
| Cc: haskell-cafe@haskell.org
| Subject: Re: [Haskell-cafe] Template Haskell and Types
|
| Simon Peyton-Jones wrote:
| > design note http://research.microsoft.com/~simonpj/tmp/notes2.ps
|
|
| In the above paper there is something about 'giveUp'. Seems to quite
| useful, but there is no such thing in ghc 6.4.
|
| Where did my giveUp go? And why?
|
| --
| Gracjan
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
