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.