Andreas Rumpf

Results 860 comments of Andreas Rumpf

The typical CI log is overwhelming already... It's not a good feature for that either. Especially if you consider that the "context helps" argument equally applies to warnings, not just...

`--hint:Source:on` seems to exist already.

> by the way, I often use neovim without lsp. And finding line from message by line number not cool And how exactly does this context help you to navigate...

I just tested `--hint:Source:on`, it works well. Feel free to enable it in your config.

> searching for the required line number is much slower You are not supposed to search for it. Your editor should jump to it. Turbo Pascal in 1990 and earlier...

Most interesting. Can you give us more documentation please?

> I may be missing something, but that seems unrelated to the change in this PR Correct, don't worry.

How does Atlas perform?

> I really liked the Atlas model when it came out, but then all of a sudden then it got complicated and confusing? How so? It got even simpler...

Fair enough but the old Atlas was always confused about "deps of this package" vs "workspace", most switches had workspace vs project options. It wasn't simple for me after a...