I think this particular case can be solved by making configure
depend on configure.ac and aclocal.m4.
Peter
On 03.07.2014, at 18:28, Edward Z. Yang ezy...@mit.edu wrote:
I wonder if we should have some magic variable in the build system
that induces a full rebuild, so if you push a patch which
How would you do reification with that approach?
On Sat, Jul 5, 2014 at 9:59 PM, John Meacham j...@repetae.net wrote:
Actually, I was looking into it a little, and template haskell could
effectively be implemented by a pre-processor and a portable library
that is compiler independent. If one
The target compiler would have the TH libraries, which could be made
to be portable. The external program would just extract the TH bits
and turn them into a program that spits the TH expanded output to a
new file to compile, and repeat the process til no TH expansions exist
and finally that is
I'm not sure I correctly understand your approach, but to have the template
haskell reification work without any runtime communication with the
compiler you'd have to include the entire typechecker state, at least for
all names reachable from the splice (see