If what you say is true then I think I have some holes in my understanding of TH. Aren't AST splices, by definition, just generated Haskell source code? Isn't the whole idea that TH produces source code as if a programmer wrote it in the first place? How is this platform dependent?
My understanding of Template Haskell was that something like the following happened:
1. Code generating functions in a module (call it module M) are compiled to an object file.
2. A modules, call it P, that wishes generate code imports module M and runs this code at compile time.
But as far as I can tell this only generates *source code*. P then needs to be compiled to object code.
The problem in the cross compiler situation is that the dynamic linker can't load the code in M.o
since that has been compiled for the target machine, not the host.
Apart from that though, I don't see what is platform specific about the code *generated* in module P by the functions imported from module M. It's just source code isn't it? Not object code.
Sean