Re: [Haskell-cafe] Template Haskell and Types

26 Sep 2005

      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@acchsh.com]
| 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