github.com/gnolang/gno@v0.0.0-20240520182011-228e9d0192ce/gnovm/cmd/gno/testdata/gno_test/lint_not_declared.txtar (about)

     1  # testing gno lint command: not declared error
     2  
     3  ! gno lint ./bad_file.gno
     4  
     5  cmp stdout stdout.golden
     6  cmp stderr stderr.golden
     7  
     8  -- bad_file.gno --
     9  package main
    10  
    11  import "fmt"
    12  
    13  func main() {
    14    hello.Foo()
    15  	fmt.Println("Hello", 42)
    16  }
    17  
    18  -- stdout.golden --
    19  -- stderr.golden --
    20  bad_file.gno:6: name hello not declared (code=2).