feat: improve gno linter with basic errors support

gnovm/cmd/gno/lint.go

@@ -6,7 +6,11 @@
 	"fmt"
 	"os"
 	"path/filepath"
+	"regexp"
+	"strings"
 
+	gno "github.com/gnolang/gno/gnovm/pkg/gnolang"
+	"github.com/gnolang/gno/gnovm/tests"
 	"github.com/gnolang/gno/tm2/pkg/commands"
 	osm "github.com/gnolang/gno/tm2/pkg/os"
 )
@@ -70,7 +74,7 @@
 			fmt.Fprintf(io.Err, "Linting %q...\n", pkgPath)
 		}
 
-		// 'gno.mod' exists?
+		// Check if 'gno.mod' exists
 		gnoModPath := filepath.Join(pkgPath, "gno.mod")
 		if !osm.FileExists(gnoModPath) {
 			addIssue(lintIssue{
@@ -81,12 +85,82 @@
 			})
 		}
 
-		// TODO: add more checkers
+		// Use `RunMemPackage` to detect basic package errors
+		var (
+			stdout = io.Out
+			stdin  = io.In
+			stderr = io.Err
+
+			testStore = tests.TestStore(
+				rootDir, "",
+				stdin, stdout, stderr,
+				tests.ImportModeStdlibsOnly,
+			)
+
+			reParseRecover = regexp.MustCompile(`^(.+):(\d+): ?(.*)$`)
+		)
+
+		handleError := func() {
+			// Errors here mostly come from: gnovm/pkg/gnolang/preprocess.go
+			if r := recover(); r != nil {
+				if recErr, ok := r.(error); ok {
+					parsedError := strings.TrimSpace(recErr.Error())
+					parsedError = strings.TrimPrefix(parsedError, pkgPath+"/")
+					matches := reParseRecover.FindStringSubmatch(parsedError)
+					if len(matches) > 0 {
+						addIssue(lintIssue{
+							Code:       lintGnoError,
+							Confidence: 1,
+							Location:   fmt.Sprintf("%s:%s", matches[1], matches[2]),
+							Msg:        strings.TrimSpace(matches[3]),
+						})
+					}
+				}
+			}
+		}
+
+		// Run the machine on the target package
+		func() {
+			defer handleError()
+
+			memPkg := gno.ReadMemPackage(filepath.Dir(pkgPath), pkgPath)
+			tm := tests.TestMachine(testStore, stdout, memPkg.Name)
+
+			// Check package
+			tm.RunMemPackage(memPkg, true)
+
+			// Check test files
+			testfiles := &gno.FileSet{}
+			for _, mfile := range memPkg.Files {
+				if !strings.HasSuffix(mfile.Name, ".gno") {
+					continue // Skip non-GNO files
+				}
+
+				n, _ := gno.ParseFile(mfile.Name, mfile.Body)
+				if n == nil {
+					continue // Skip empty files
+				}
+
+				if strings.HasSuffix(mfile.Name, "_test.gno") {
+					// Keep only test files
+					testfiles.AddFiles(n)
+				}
+			}
+
+			tm.RunFiles(testfiles.Files...)
+		}()
+
+		// TODO: Add more checkers
 	}
 
 	if hasError && cfg.setExitStatus != 0 {
 		os.Exit(cfg.setExitStatus)
 	}
+
+	if verbose {
+		fmt.Println("no lint errors")
+	}
+
 	return nil
 }
 
@@ -95,6 +169,8 @@
 const (
 	lintUnknown  lintCode = 0
 	lintNoGnoMod lintCode = iota
+	lintGnoError
+
 	// TODO: add new linter codes here.
 )
 

gnovm/cmd/gno/lint_test.go

@@ -11,15 +11,19 @@ func TestLintApp(t *testing.T) {
 			args:                []string{"lint", "--set_exit_status=0", "../../tests/integ/run-main/"},
 			stderrShouldContain: "./../../tests/integ/run-main: missing 'gno.mod' file (code=1).",
 		}, {
-			args:                []string{"lint", "--set_exit_status=0", "../../tests/integ/run-main/"},
-			stderrShouldContain: "./../../tests/integ/run-main: missing 'gno.mod' file (code=1).",
+			args:                []string{"lint", "--set_exit_status=0", "../../tests/integ/undefined-variable-test/undefined_variables_test.gno"},
+			stderrShouldContain: "undefined_variables_test.gno:6: name toto not declared (code=2)",
+		}, {
+			args:                []string{"lint", "--set_exit_status=0", "../../tests/integ/package-not-declared/main.gno"},
+			stderrShouldContain: "main.gno:4: name fmt not declared (code=2).",
 		}, {
 			args: []string{"lint", "--set_exit_status=0", "../../tests/integ/minimalist-gnomod/"},
 			// TODO: raise an error because there is a gno.mod, but no .gno files
 		}, {
 			args: []string{"lint", "--set_exit_status=0", "../../tests/integ/invalid-module-name/"},
 			// TODO: raise an error because gno.mod is invalid
 		},
+
 		// TODO: 'gno mod' is valid?
 		// TODO: is gno source valid?
 		// TODO: are dependencies valid?

gnovm/cmd/gno/main_test.go

@@ -7,6 +7,7 @@ import (
 	"os"
 	"os/exec"
 	"path/filepath"
+	"strconv"
 	"strings"
 	"testing"
 
@@ -153,10 +154,13 @@ func setupTestScript(t *testing.T, txtarDir string) testscript.Params {
 	rootDir := filepath.Dir(string(goModPath))
 	// Build a fresh gno binary in a temp directory
 	gnoBin := filepath.Join(t.TempDir(), "gno")
+
 	err = exec.Command("go", "build", "-o", gnoBin, filepath.Join(rootDir, "gnovm", "cmd", "gno")).Run()
 	require.NoError(t, err)
 	// Define script params
+	updateSripts, _ := strconv.ParseBool(os.Getenv("UPDATE_SCRIPTS"))
 	return testscript.Params{
+		UpdateScripts: updateSripts,
 		Setup: func(env *testscript.Env) error {
 			env.Vars = append(env.Vars,
 				"GNOROOT="+rootDir, // thx PR 1014 :)

gnovm/cmd/gno/testdata/gno_test/lint_bad_import.txtar

@@ -0,0 +1,19 @@
+# testing gno lint command: bad import error
+
+! gno lint ./bad_file.gno
+
+cmp stdout stdout.golden
+cmp stderr stderr.golden
+
+-- bad_file.gno --
+package main
+
+import "python"
+
+func main() {
+	fmt.Println("Hello", 42)
+}
+
+-- stdout.golden --
+-- stderr.golden --
+bad_file.gno:1: unknown import path python (code=2).

gnovm/cmd/gno/testdata/gno_test/lint_file_error_txtar

@@ -0,0 +1,20 @@
+# gno lint: test file error
+
+! gno lint ./i_have_error_test.gno
+
+cmp stdout stdout.golden
+cmp stderr stderr.golden
+
+-- i_have_error_test.gno --
+package main
+
+import "fmt"
+
+func TestIHaveSomeError() {
+	i := undefined_variable
+	fmt.Println("Hello", 42)
+}
+
+-- stdout.golden --
+-- stderr.golden --
+i_have_error_test.gno:6: name undefined_variable not declared (code=2).

gnovm/cmd/gno/testdata/gno_test/lint_no_error.txtar

@@ -0,0 +1,18 @@
+# testing simple gno lint command with any error
+
+gno lint ./good_file.gno 
+
+cmp stdout stdout.golden
+cmp stdout stderr.golden
+
+-- good_file.gno --
+package main
+
+import "fmt"
+
+func main() {
+	fmt.Println("Hello", 42)
+}
+
+-- stdout.golden --
+-- stderr.golden --

gnovm/cmd/gno/testdata/gno_test/lint_no_gnomod.txtar

@@ -0,0 +1,19 @@
+# gno lint: no gnomod
+
+! gno lint .
+
+cmp stdout stdout.golden
+cmp stderr stderr.golden
+
+-- good_file.gno --
+package main
+
+import "fmt"
+
+func main() {
+	fmt.Println("Hello", 42)
+}
+
+-- stdout.golden --
+-- stderr.golden --
+./.: missing 'gno.mod' file (code=1).

gnovm/cmd/gno/testdata/gno_test/lint_not_declared.txtar

@@ -0,0 +1,20 @@
+# testing gno lint command: not declared error
+
+! gno lint ./bad_file.gno
+
+cmp stdout stdout.golden
+cmp stderr stderr.golden
+
+-- bad_file.gno --
+package main
+
+import "fmt"
+
+func main() {
+  hello.Foo()
+	fmt.Println("Hello", 42)
+}
+
+-- stdout.golden --
+-- stderr.golden --
+bad_file.gno:6: name hello not declared (code=2).

gnovm/pkg/gnolang/preprocess.go

@@ -154,12 +154,6 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 
 		defer func() {
 			if r := recover(); r != nil {
-				fmt.Println("--- preprocess stack ---")
-				for i := len(stack) - 1; i >= 0; i-- {
-					sbn := stack[i]
-					fmt.Printf("stack %d: %s\n", i, sbn.String())
-				}
-				fmt.Println("------------------------")
 				// before re-throwing the error, append location information to message.
 				loc := last.GetLocation()
 				if nline := n.GetLine(); nline > 0 {

gnovm/tests/integ/package-not-declared/gno.mod

@@ -0,0 +1 @@
+module gno.land/tests/nodeclared

gnovm/tests/integ/package-not-declared/main.gno

@@ -0,0 +1,5 @@
+package main
+
+func Main() {
+	fmt.Println("hello world")
+}

gnovm/tests/integ/undefined-variable-test/gno.mod

@@ -0,0 +1 @@
+module gno.land/tests/undefined-test

gnovm/tests/integ/undefined-variable-test/undefined_variables_test.gno

@@ -0,0 +1,7 @@
+package main
+
+import "testing"
+
+func TestUndefinedVariables(t *testing.T) {
+	println("hello world: " + toto)
+}