André Videla
André Videla
Here are the benchmark results ## Methodology - bootstrap the compiler, the output binary has been compiled with the bootstrap compiler - compile the compiler with the bootstrapped compiler, the...
If nobody else objects in the meantime, I'll merge it in 2 days
There are two ways to take this from here: - Should it be possible to compile file from subobjects in `depends`? The error message seems to imply it's possible and...
I think those two things could be part of a`depends` overhaul. Maybe right now we should focus on improving the feedback when its content is malformed. I'm not sure I'll...
I just noticed the failing test but I'm not on The computer. I'll look into this later
Ah right the fix is already availabe on the LSP side cool let's do it
## Possibly related - #3417 - #3408 - #3279
> This allows us to fail elaborator scripts pointing at specific parts of hand-written code. Do you have an example of this? I wonder if this is something we could...
Thank you for all those links. It seems to me like there are essentially two kinds of error locations: - point to the original spot in the file where the...
so to recap, FC come from: - original place where the code was quoted - some subpart from the original quote - some fragment from `goal` or `type` Is that...