RE: FW: TH quasi-quoting bug - fails on quoting where clause inlet declcontext

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:[email protected]]
| 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