RE: Obtaining the declaration of a variable name.

Simon Peyton-Jones <[email protected]> Mon, 5 Nov 2007 09:18:37 +0000
Newsgroups gmane.comp.lang.haskell.template
Message-ID <BBB84A691C2E064EAAFB9876BF452D16B2F7AD16@EA-EXMSG-C324.europe.corp.microsoft.com>
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: [email protected] [mailto:[email protected]] On Behalf Of Ian Lynagh
| Sent: 04 November 2007 01:03
| To: Alfonso Acosta
| Cc: [email protected]
| 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
| [email protected]
| http://www.haskell.org/mailman/listinfo/template-haskell