Marvin
Marvin
Very interesting indeed, I was not aware of this difference. I'm not attached to bruijn's bit BLC encoding, I never use it anyway. There doesn't seem to be an obvious...
What kind of output would you expect to be "raw"? In my opinion the only raw output is blc, where such decorators and echoing is already disabled. For the BLC...
I was able to fix the stack overflows after some amount of debugging. However, certain tests now take >10min or do not seem to finish at all (EDIT: before the...
This is correct, we should allow more configuration. Personally, I have a symlink `/usr/local/bin/scheme -> /usr/bin/chez` (which is of course not an acceptable solution to everyone) (I moved the issue...
Related to (or duplicate of) #573
> the REPL always runs with the JavaScript backend: For debugging I often use different backends in the REPL, e.g. via `effekt.sh --backend llvm` Am I misunderstanding this?
You may want to use `--debug` instead of `--detailed-ir`, as we do for more debug information in the LLVM IR.