Skip to content

Commit

Permalink
checker: update error messages (#21097)
Browse files Browse the repository at this point in the history
  • Loading branch information
ttytm authored Mar 25, 2024
1 parent 556f9f1 commit 3e37643
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 5 deletions.
8 changes: 5 additions & 3 deletions vlib/v/checker/checker.v
Original file line number Diff line number Diff line change
Expand Up @@ -3477,7 +3477,7 @@ fn (mut c Checker) at_expr(mut node ast.AtExpr) ast.Type {
mut mcache := vmod.get_cache()
vmod_file_location := mcache.get_by_file(c.file.path)
if vmod_file_location.vmod_file.len == 0 {
c.error('@VMOD_FILE can be used only in projects, that have v.mod file',
c.error('@VMOD_FILE can only be used in projects that have a v.mod file',
node.pos)
}
vmod_content := os.read_file(vmod_file_location.vmod_file) or { '' }
Expand Down Expand Up @@ -3591,7 +3591,8 @@ fn (mut c Checker) ident(mut node ast.Ident) ast.Type {
} else if node.kind == .unresolved {
// first use
if node.tok_kind == .assign && node.is_mut {
c.error('`mut` not allowed with `=` (use `:=` to declare a variable)', node.pos)
c.error('`mut` is not allowed with `=` (use `:=` to declare a variable)',
node.pos)
}
if mut obj := node.scope.find(node.name) {
match mut obj {
Expand Down Expand Up @@ -3834,7 +3835,8 @@ fn (mut c Checker) ident(mut node ast.Ident) ast.Type {
// Lambdas don't support capturing variables yet, so that's the only hint.
c.error('undefined variable `${node.name}`', node.pos)
} else {
c.error('`${node.name}` must be added to the capture list for the closure to be used inside',
c.add_error_detail('use `fn [${node.name}] () {` instead of `fn () {`')
c.error('`${node.name}` must be explictly listed as inherited variable to be used inside a closure',
node.pos)
}
return ast.void_type
Expand Down
3 changes: 2 additions & 1 deletion vlib/v/checker/tests/anon_fn_arg_type_err.out
Original file line number Diff line number Diff line change
Expand Up @@ -5,13 +5,14 @@ vlib/v/checker/tests/anon_fn_arg_type_err.vv:6:14: error: use `_` to name an unu
| ^
7 | return i
8 | }
vlib/v/checker/tests/anon_fn_arg_type_err.vv:7:10: error: `i` must be added to the capture list for the closure to be used inside
vlib/v/checker/tests/anon_fn_arg_type_err.vv:7:10: error: `i` must be explictly listed as inherited variable to be used inside a closure
5 |
6 | func := fn (i) int {
7 | return i
| ^
8 | }
9 |
Details: use `fn [i] () {` instead of `fn () {`
vlib/v/checker/tests/anon_fn_arg_type_err.vv:7:3: error: `i` used as value
5 |
6 | func := fn (i) int {
Expand Down
3 changes: 2 additions & 1 deletion vlib/v/parser/tests/closure_not_declared.out
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
vlib/v/parser/tests/closure_not_declared.vv:4:9: error: `a` must be added to the capture list for the closure to be used inside
vlib/v/parser/tests/closure_not_declared.vv:4:9: error: `a` must be explictly listed as inherited variable to be used inside a closure
2 | a := 1
3 | f := fn () {
4 | print(a)
| ^
5 | }
6 | f()
Details: use `fn [a] () {` instead of `fn () {`
vlib/v/parser/tests/closure_not_declared.vv:4:3: error: `print` can not print void expressions
2 | a := 1
3 | f := fn () {
Expand Down

0 comments on commit 3e37643

Please sign in to comment.