[Haskell-cafe] Template Haskell and Types
simonpj at microsoft.com
Fri Sep 23 08:22:31 EDT 2005
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.
| -----Original Message-----
| From: Gracjan Polak [mailto:gracjan at acchsh.com]
| Sent: 20 September 2005 10:43
| To: Simon Peyton-Jones
| Cc: haskell-cafe at 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?
More information about the Haskell-Cafe