[Haskell-cafe] Template Haskell and Types

[Simon Peyton-Jones]

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: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?
| 
| --
| Gracjan