RE: [Haskell-cafe] Template Haskell and Types
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@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
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
On Mon, 2005-09-26 at 10:36 +0200, Gracjan Polak wrote:
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?
glasgow-haskell-bugs@haskell.org or if it's not clear if it's a bug or not you could ask for advice on: template-haskell@haskell.org or glasgow-haskell-users@haskell.org Duncan
participants (3)
-
Duncan Coutts -
Gracjan Polak -
Simon Peyton-Jones