4 Nov
2007
4 Nov
'07
1:03 a.m.
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