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