[Template-haskell] Obtaining the declaration of a variable name.

[Simon Peyton-Jones]

Ian, Fons,

I'll let the two of you agree the details.

As to whether the Lift library should be in the GHC distribution, well I don't feel strongly.  We are generally moving in the direction of putting less in the distribution, and making it easier to download and install supporting packages; but the TH package isn't big and I wouldn't object.

Simon

| -----Original Message-----
| From: template-haskell-bounces at haskell.org [mailto:template-haskell-bounces at haskell.org] On Behalf Of Ian Lynagh
| Sent: 04 November 2007 01:03
| To: Alfonso Acosta
| Cc: template-haskell at haskell.org
| Subject: Re: [Template-haskell] Obtaining the declaration of a variable name.
|
|
| Hi Fons,
|
| On Fri, Nov 02, 2007 at 11:36:47PM +0100, Alfonso Acosta wrote:
| >
| > However, the typechecker (TcSplice module) always returns Nothing. So
| > I guess it's simply not implemented.
| >
| > Am I missing something or should I add a feature request ticket?
|
| If you are missing it then so am I. File away!
|
| I think the idea was that if it is in the same module then we should
| give you the Dec, but if it is in another module then we don't (we only
| have the interface file so we don't know what the source code was).
|
| We could also have a flag which means the source /is/ put in the
| interface file. I'm not sure how useful that would be, as the bootlibs
| would presumably not be compiled with it.
|
|
| Thanks
| Ian
|
| _______________________________________________
| template-haskell mailing list
| template-haskell at haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell