Ondřej Čertík

Yes, `x(i)` must be runtime, unless later our optimizer can take care of this in some cases. Good point. So yes, I think we need to include this module in...

Awesome, thanks for finding these bugs. We have to fix it.

This change fixes it: ```diff --- a/integration_tests/parameter_13.f90 +++ b/integration_tests/parameter_13.f90 @@ -13,5 +13,5 @@ logical, parameter :: l = S < 2 real(kind=merge(sp, dp, l)) :: y if (kind(y) /= sp)...

There are a couple issues here. * The standard indeed says there should be a space: https://fortran-lang.discourse.group/t/why-does-print-output-a-leading-space/5903/10 * Consequently `--print-leading-space` must be part of `--std=f23`. And it already is. *...

Awesome. @Pranavchiku or @gxyd do you mind please checking this on macOS and create some error message and add `--show-stacktrace` and time it? See how fast the previous approach was...

But is it faster / slower than the previous stacktrace in main?

And it works on linux, I checked that. So let's merge this as is, and then we can refine this as we go.

If we get this working on macOS also (see the failing CI on the other PR), then we can merge it. Otherwise we can make it configurable. I currently don't...

We should definitely add more test cases if they uncover bugs. All new test cases should be added to main as well, to keep the "diff" small.

Yes, any new test case put in both main and here. If it fails on main, simply comment it out there.