> You mean, can you use TH stuff in the GHC source code? Yes, of course
> you can. You just need to compile that source code with at least a
> stage-2 compiler.
>
> Aha. That means that we'd need to change the bootstrap
> process though.
> At the moment we
>
> 1 Compile STAGE-1 with existing GHC (call it EXISTING)
> 2 Compile STAGE-2 with STAGE-1
> 3 Compile STAGE-3 with STAGE-2
>
> But if you use TH in the GHC source code, step 2 won't work. Instead
> we'd have to
>
> 1 Compile STAGE-1 with EXISTING
> 2 Compile STAGE-2 with EXISTING
>
> ...aha... I see what you mean. This won't work either.
Interesting bootstrapping problem. There's no problem in principle with
using TH code in the compiler, as long as we compile it with a
TH-supporting compiler, but there would be no way to bootstrap one of
those.
If you wanted to do this, you'd have to include a non-TH version of the
TH code in the compiler, for bootstrapping purposes. Then the TH
version would finally be enabled in stage 3.
Cheers,
Simon
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
