On 02 May 2003 19:06:09 +0200
François-Régis Sinot
Sure, there is a solution, thanks. However it is not really convenient. In particular, suppose you want to write a library that performs that kind of things (reify a declaration, and generate another one), then your line above has to be written by the user ! This is clearly too much to ask. You'll tell me I just have to write a preprocessor, sure, but again this is not really satisfactory. If TH is intended to be widely distributed and used at middle-term, I still think my "request" makes sense. Now, I understand this represents some work, and that there are other priorities.
I'm sure the TH implementors won't mind if you want to try to implement this (or something similar) yourself ;), such is the bounty of open-source.