Integration with Argus.jl

[iuliadmtru]

This is a major change that removes the CSTParser.jl dependency in favour of Argus.jl.

The new approach uses Argus for writing and matching rules in a more expressive way than before. It is now possible to:

• write rules that were impossible to express before (e.g. containers with abstract types);
• separate internal rules from the main codebase;
• group rules together in RuleGroups;
• use custom rule disabling methods;
• use custom pattern-matching utils;
• and more (see the Argus documentation for all features).

Apart from new features and improvements, this PR also brings a major reorganisation and cleaning up. Still, there is still some work that can be done for even further improvement (e.g. more instructive logs, remove/replace some unnecessary functions such as run_lint_on_text).

I believe this PR is good to merge as-is.

[iuliadmtru]

@bergel @comnik Argus is not compatible (and will not be) with Julia v1.9, but it is with >=v1.10. Do you think we could remove the 1.9 tests?

[bergel]

I just pushed into your branch.

[bergel]

another push. I suspect that the getting coverage does not work, maybe because of the extensive macro expansions. The following code successfuly executes the tests:

import Pkg; Pkg.test(;julia_args=["--check-bounds=yes", "--compiled-modules=yes", "--depwarn=yes"], allow_reresolve=true, coverage=false, force_latest_compatible_version=false)

However, the one actually used by the workflow (before my last commit) was doing:

import Pkg; Pkg.test(;julia_args=["--check-bounds=yes", "--compiled-modules=yes", "--depwarn=yes"], allow_reresolve=true, coverage=true, force_latest_compatible_version=false)

Which breaks.

[bergel]

Also, I had to exclude x84, again, no idea why.

[iuliadmtru]

Let's wait for the latest Argus release to be merged. I'll add back coverage and x84 tests afterwards. I think they will pass this time.

[iuliadmtru]

@bergel All good now :).

[bergel]

Good to be merged!