[Haskell-cafe] Template Haskell and Types

[Gracjan Polak]

Simon Peyton-Jones wrote:
> 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.

So I think I have bug report :)

Haskell-cafe is probably wrong place for this, where do I go now with my 
failing test cases?

-- 
Gracjan

> 
> 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