[Template-haskell] RE: FW: TH quasi-quoting bug - fails on quoting
where clause inlet declcontext
Simon Peyton-Jones
simonpj at microsoft.com
Tue Jun 22 09:33:18 EDT 2004
Yes, same deal. Reifying a tycoon gives you a Dec, and that could
easily be decorated with (Maybe Kind) additions. The Maybe is so that
when you construct a Dec yourself by hand, you don't have to supply the
kind information.
Simon
| -----Original Message-----
| From: Duncan Coutts [mailto:duncan.coutts at worcester.oxford.ac.uk]
| Sent: 22 June 2004 13:38
| To: Simon Peyton-Jones
| Subject: Re: FW: TH quasi-quoting bug - fails on quoting where clause
inlet declcontext
|
| Cheers Simon.
|
| BTW, Ian and I were looking the other day at how easy/difficult it
would
| be to get kind information when we reify type names. Does ghc have
that
| information readily available, or is it not so easy?
|
| Duncan
|
| On Tue, 2004-06-22 at 10:50, Simon Peyton-Jones wrote:
| > I don't know if I ever mentioned, but I fixed this a while back
| >
| > SImon
| >
| > -----Original Message-----
| > From: Simon Marlow
| > Sent: 18 June 2004 09:43
| > To: Simon Peyton-Jones
| > Subject: FW: TH quasi-quoting bug - fails on quoting where clause in
let
| > declcontext
More information about the template-haskell
mailing list