Battle-plan for CTFE

[Stefan Koch via Digitalmars-d-announce]

On Tuesday, 9 August 2016 at 12:30:18 UTC, Kagamin wrote:
> 1. You said CTFE engine can be ctfeable itself? But it uses 
> unions in BCValue - it's not going to work in CTFE, is it? Just 
> wondering myself what's the way to have polymorphism at compile 
> time.
> 2. The byte code generator interface has no mean to declare 
> functions? In case of LLVM jit one would want to declare 
> functions so that jit can use registers to pass parameters for 
> a bit more extra speed, though it's probably not worth it.

1. unions work fine when you use them as discriminated unions.
2. The BCGen does not have to declare functions. Since every-time 
it is created it will implicitly define a function.
It will all make more sense once the function-call system works.