[Haskell-cafe] Template Haskell and Types
gracjan at acchsh.com
Mon Sep 26 04:36:54 EDT 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?
> | -----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
More information about the Haskell-Cafe