feat(cmd/gno): `fix` subcommand

[thehowl]

This is a re-implementation of #4100, which uses the same framework it introduces and adapts the current transpiler (for gno 0.9) to it.

This is an alternative approach, that instead of being based on the Gno AST, it works with the Go AST and thus is able to reach similar objectives with less code.

This gist shows the difference between the state of examples in 62a16f038, and what is generated by gno fix -fix interrealm instead.

The transpiler leaves code in a state where it likely still need fixes; mostly because crossing functions change signatures, but their usage is not updated if the caller did not use cross(), which can happen for calls within the same package. All of the errors printed by gno lint afterwards are about too many or too few arguments passed to functions.

Why we should go with an AST analysis instead of the transpiler on master:

• The AST type checker is faster, and simpler to write more fixes for.
• It doesn't require types to make sense, and thus doesn't require a complete understanding of how Gno used to work in a previous version (unless the syntax of the language changes)

I decided to rewrite the 0.9 transpiler because most of what needed to be transpiled had to be transpiled anyway, and I believe the approach in this PR is cleaner over the long term.

[Gno2D2]

🛠 PR Checks Summary

All Automated Checks passed. ✅

Manual Checks (for Reviewers):

• [ ] IGNORE the bot requirements for this PR (force green CI check)

Read More

🤖 This bot helps streamline PR reviews by verifying automated checks and providing guidance for contributors and reviewers.

✅ Automated Checks (for Contributors):

🟢 Maintainers must be able to edit this pull request (more info)

☑️ Contributor Actions:

1. Fix any issues flagged by automated checks.
2. Follow the Contributor Checklist to ensure your PR is ready for review.
   • Add new tests, or document why they are unnecessary.
   • Provide clear examples/screenshots, if necessary.
   • Update documentation, if required.
   • Ensure no breaking changes, or include BREAKING CHANGE notes.
   • Link related issues/PRs, where applicable.

☑️ Reviewer Actions:

1. Complete manual checks for the PR, including the guidelines and additional checks if applicable.

📚 Resources:

• Report a bug with the bot.
• View the bot’s configuration file.

Debug

Automated Checks

Maintainers must be able to edit this pull request (more info)

If

🟢 Condition met
└── 🟢 And
    ├── 🟢 The base branch matches this pattern: ^master$
    └── 🟢 The pull request was created from a fork (head branch repo: thehowl/gno)

Then

🟢 Requirement satisfied
└── 🟢 Maintainer can modify this pull request

Manual Checks

**IGNORE** the bot requirements for this PR (force green CI check)

If

🟢 Condition met
└── 🟢 On every pull request

Can be checked by

• Any user with comment edit permission

[codecov[bot]]

Codecov Report

:x: Patch coverage is 74.64607% with 197 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
gnovm/cmd/gno/fix.go	39.88%	86 Missing and 15 partials :warning:
gnovm/cmd/gno/internal/fix/fix.go	88.17%	28 Missing and 5 partials :warning:
gnovm/cmd/gno/internal/cmdutil/cmdutil.go	25.80%	22 Missing and 1 partial :warning:
gnovm/pkg/gnolang/gnomod.go	0.00%	21 Missing :warning:
gnovm/cmd/gno/internal/fix/interrealm.go	85.10%	11 Missing and 3 partials :warning:
gnovm/cmd/gno/internal/fix/stdsplit.go	97.76%	2 Missing and 2 partials :warning:
gnovm/pkg/test/imports.go	0.00%	1 Missing :warning:

:loudspeaker: Thoughts on this report? Let us know!

[jaekwon]

This is fine, but how about we keep the old transpile_gno0p9 code (and the old cmd/tool_fix) and mark it as deprecated? The reason is because a lot of work went into making transpiling work w/ Preprocess type-checking, and if we ever need it, we will sorely want the transpile_gno0p9 logic as a template.

[thehowl]

This is fine, but how about we keep the old transpile_gno0p9 code (and the old cmd/tool_fix) and mark it as deprecated? The reason is because a lot of work went into making transpiling work w/ Preprocess type-checking, and if we ever need it, we will sorely want the transpile_gno0p9 logic as a template.

Done; I merged in master and kept the old transpile_gno0p09.

[thehowl]

@ltzmaxwell if you can take a last look at this we can merge :)

[thehowl]

Thanks @ltzmaxwell @Villaquiranm, all reviewed, we're ready to merge :)