2019-10-13 16:37:43 +03:00
|
|
|
module compiler
|
2019-09-29 20:37:39 +03:00
|
|
|
|
|
|
|
import (
|
|
|
|
os
|
|
|
|
term
|
|
|
|
)
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
// NB: The code in this file is organized in layers (between the ///// lines).
|
|
|
|
// This allows for easier keeping in sync of error/warn functions.
|
|
|
|
// The functions in each of the layers, call the functions from the layers *below*.
|
|
|
|
// The functions in each of the layers, also have more details about the warn/error situation,
|
|
|
|
// so they can display more informative message, so please call the lowest level variant you can.
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
// TLDR: If you have a token index, call:
|
|
|
|
// p.error_with_token_index(msg, token_index)
|
|
|
|
// ... not just :
|
|
|
|
// p.error(msg)
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
fn (p mut Parser) error(s string) {
|
|
|
|
// no positioning info, so just assume that the last token was the culprit:
|
|
|
|
p.error_with_token_index(s, p.token_idx-1 )
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (p mut Parser) warn(s string) {
|
|
|
|
p.warn_with_token_index(s, p.token_idx-1 )
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (p mut Parser) production_error_with_token_index(e string, tokenindex int) {
|
|
|
|
if p.pref.is_prod {
|
|
|
|
p.error_with_token_index( e, tokenindex )
|
|
|
|
}else {
|
|
|
|
p.warn_with_token_index( e, tokenindex )
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (p mut Parser) error_with_token_index(s string, tokenindex int) {
|
|
|
|
p.error_with_position(s, p.scanner.get_scanner_pos_of_token( p.tokens[ tokenindex ] ) )
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (p mut Parser) warn_with_token_index(s string, tokenindex int) {
|
|
|
|
p.warn_with_position(s, p.scanner.get_scanner_pos_of_token( p.tokens[ tokenindex ] ) )
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (p mut Parser) error_with_position(s string, sp ScannerPos) {
|
|
|
|
p.print_error_context()
|
|
|
|
e := normalized_error( s )
|
|
|
|
p.scanner.goto_scanner_position( sp )
|
|
|
|
p.scanner.error_with_col(e, sp.pos - sp.last_nl_pos)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (p mut Parser) warn_with_position(s string, sp ScannerPos) {
|
|
|
|
// on a warning, restore the scanner state after printing the warning:
|
|
|
|
cpos := p.scanner.get_scanner_pos()
|
|
|
|
e := normalized_error( s )
|
|
|
|
p.scanner.goto_scanner_position( sp )
|
|
|
|
p.scanner.warn_with_col(e, sp.pos - sp.last_nl_pos)
|
|
|
|
p.scanner.goto_scanner_position( cpos )
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (s &Scanner) error(msg string) {
|
|
|
|
s.error_with_col(msg, 0)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (s &Scanner) warn(msg string) {
|
|
|
|
s.warn_with_col(msg, 0)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (s &Scanner) warn_with_col(msg string, col int) {
|
2019-12-05 18:55:27 +03:00
|
|
|
fullpath := s.get_error_filepath()
|
2019-09-29 20:37:39 +03:00
|
|
|
color_on := s.is_color_output_on()
|
|
|
|
final_message := if color_on { term.bold(term.bright_blue( msg )) } else { msg }
|
|
|
|
eprintln('warning: ${fullpath}:${s.line_nr+1}:${col}: $final_message')
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (s &Scanner) error_with_col(msg string, col int) {
|
2019-12-05 18:55:27 +03:00
|
|
|
fullpath := s.get_error_filepath()
|
2019-09-29 20:37:39 +03:00
|
|
|
color_on := s.is_color_output_on()
|
|
|
|
final_message := if color_on { term.red( term.bold( msg ) ) } else { msg }
|
|
|
|
// The filepath:line:col: format is the default C compiler
|
|
|
|
// error output format. It allows editors and IDE's like
|
|
|
|
// emacs to quickly find the errors in the output
|
|
|
|
// and jump to their source with a keyboard shortcut.
|
2019-10-01 15:39:19 +03:00
|
|
|
// NB: using only the filename may lead to inability of IDE/editors
|
|
|
|
// to find the source file, when the IDE has a different working folder than v itself.
|
2019-09-29 20:37:39 +03:00
|
|
|
eprintln('${fullpath}:${s.line_nr + 1}:${col}: $final_message')
|
2019-12-05 18:55:27 +03:00
|
|
|
|
2019-10-22 18:38:17 +03:00
|
|
|
if s.should_print_line_on_error && s.nlines > 0 {
|
2019-10-30 12:15:33 +03:00
|
|
|
context_start_line := imax(0, (s.line_nr - error_context_before ))
|
|
|
|
context_end_line := imin(s.nlines-1, (s.line_nr + error_context_after + 1 ))
|
2019-09-29 20:37:39 +03:00
|
|
|
for cline := context_start_line; cline < context_end_line; cline++ {
|
2019-10-22 18:38:17 +03:00
|
|
|
line := '${(cline+1):5d}| ' + s.line( cline )
|
2019-09-29 20:37:39 +03:00
|
|
|
coloredline := if cline == s.line_nr && color_on { term.red(line) } else { line }
|
|
|
|
eprintln( coloredline )
|
|
|
|
if cline != s.line_nr { continue }
|
|
|
|
// The pointerline should have the same spaces/tabs as the offending
|
|
|
|
// line, so that it prints the ^ character exactly on the *same spot*
|
|
|
|
// where it is needed. That is the reason we can not just
|
|
|
|
// use strings.repeat(` `, col) to form it.
|
2019-12-05 18:55:27 +03:00
|
|
|
mut pointerline := []string
|
2019-09-29 20:37:39 +03:00
|
|
|
for i , c in line {
|
|
|
|
if i < col {
|
|
|
|
x := if c.is_space() { c } else { ` ` }
|
|
|
|
pointerline << x.str()
|
|
|
|
continue
|
|
|
|
}
|
|
|
|
pointerline << if color_on { term.bold( term.blue('^') ) } else { '^' }
|
|
|
|
break
|
|
|
|
}
|
|
|
|
eprintln( ' ' + pointerline.join('') )
|
|
|
|
}
|
|
|
|
}
|
|
|
|
exit(1)
|
|
|
|
}
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
/// Misc error helper functions, can be called by any of the functions above
|
|
|
|
|
|
|
|
[inline] fn (p &Parser) cur_tok_index() int { return p.token_idx - 1 }
|
|
|
|
[inline] fn imax(a,b int) int { return if a > b { a } else { b } }
|
|
|
|
[inline] fn imin(a,b int) int { return if a < b { a } else { b } }
|
|
|
|
|
2019-10-01 15:39:19 +03:00
|
|
|
fn (s &Scanner) get_error_filepath() string {
|
2019-10-30 12:15:33 +03:00
|
|
|
verror_paths_override := os.getenv('VERROR_PATHS')
|
|
|
|
use_relative_paths := match verror_paths_override {
|
|
|
|
'relative' { true }
|
|
|
|
'absolute' { false }
|
|
|
|
else { s.should_print_relative_paths_on_error }
|
|
|
|
}
|
|
|
|
if use_relative_paths {
|
2019-10-19 12:03:04 +03:00
|
|
|
workdir := os.getwd() + os.path_separator
|
|
|
|
if s.file_path.starts_with(workdir) {
|
2019-10-23 00:56:25 +03:00
|
|
|
return s.file_path.replace( workdir, '')
|
2019-10-19 12:03:04 +03:00
|
|
|
}
|
2019-10-01 15:39:19 +03:00
|
|
|
return s.file_path
|
|
|
|
}
|
|
|
|
return os.realpath( s.file_path )
|
|
|
|
}
|
|
|
|
|
2019-09-29 20:37:39 +03:00
|
|
|
fn (s &Scanner) is_color_output_on() bool {
|
2019-12-05 18:55:27 +03:00
|
|
|
return s.should_print_errors_in_color && term.can_show_color_on_stderr()
|
2019-09-29 20:37:39 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
fn (p mut Parser) print_error_context(){
|
|
|
|
// Dump all vars and types for debugging
|
|
|
|
if p.pref.is_debug {
|
|
|
|
// os.write_to_file('/var/tmp/lang.types', '')//pes(p.table.types))
|
|
|
|
os.write_file('fns.txt', p.table.debug_fns())
|
|
|
|
}
|
|
|
|
if p.pref.is_verbose || p.pref.is_debug {
|
|
|
|
println('pass=$p.pass fn=`$p.cur_fn.name`\n')
|
|
|
|
}
|
|
|
|
p.cgen.save()
|
|
|
|
// V up hint
|
|
|
|
cur_path := os.getwd()
|
2019-10-25 16:34:12 +03:00
|
|
|
if !p.pref.is_repl && !p.pref.is_test && ( p.file_path.contains('v/compiler') || cur_path.contains('v/compiler') ){
|
2019-09-29 20:37:39 +03:00
|
|
|
println('\n=========================')
|
|
|
|
println('It looks like you are building V. It is being frequently updated every day.')
|
|
|
|
println('If you didn\'t modify V\'s code, most likely there was a change that ')
|
|
|
|
println('lead to this error.')
|
|
|
|
println('\nRun `v up`, that will most likely fix it.')
|
|
|
|
//println('\nIf this doesn\'t help, re-install V from source or download a precompiled' + ' binary from\nhttps://vlang.io.')
|
|
|
|
println('\nIf this doesn\'t help, please create a GitHub issue.')
|
|
|
|
println('=========================\n')
|
|
|
|
}
|
|
|
|
if p.pref.is_debug {
|
|
|
|
print_backtrace()
|
|
|
|
}
|
|
|
|
// p.scanner.debug_tokens()
|
|
|
|
}
|
|
|
|
|
2019-12-05 18:55:27 +03:00
|
|
|
fn normalized_error(s string) string {
|
2019-09-29 20:37:39 +03:00
|
|
|
// Print `[]int` instead of `array_int` in errors
|
2019-12-05 18:55:27 +03:00
|
|
|
mut res := s.replace('array_', '[]')
|
2019-09-29 20:37:39 +03:00
|
|
|
.replace('__', '.')
|
|
|
|
.replace('Option_', '?')
|
|
|
|
.replace('main.', '')
|
2019-12-05 18:55:27 +03:00
|
|
|
if res.contains('_V_MulRet_') {
|
|
|
|
res = res.replace('_V_MulRet_', '(').replace('_V_', ', ')
|
|
|
|
res = res[..res.len-1] + ')"'
|
|
|
|
}
|
|
|
|
return res
|
2019-09-29 20:37:39 +03:00
|
|
|
}
|
|
|
|
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
|
|
|
|
// The goal of ScannerPos is to track the current scanning position,
|
|
|
|
// so that if there is an error found later, v could show a more accurate
|
|
|
|
// position about where the error initially was.
|
|
|
|
// NB: The fields of ScannerPos *should be kept synchronized* with the
|
|
|
|
// corresponding fields in Scanner.
|
|
|
|
|
|
|
|
struct ScannerPos {
|
|
|
|
mut:
|
|
|
|
pos int
|
|
|
|
line_nr int
|
|
|
|
last_nl_pos int
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (s ScannerPos) str() string {
|
|
|
|
return 'ScannerPos{ ${s.pos:5d} , ${s.line_nr:5d} , ${s.last_nl_pos:5d} }'
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (s &Scanner) get_scanner_pos() ScannerPos {
|
|
|
|
return ScannerPos{ pos: s.pos line_nr: s.line_nr last_nl_pos: s.last_nl_pos }
|
|
|
|
}
|
|
|
|
|
|
|
|
fn (s mut Scanner) goto_scanner_position(scp ScannerPos) {
|
|
|
|
s.pos = scp.pos
|
|
|
|
s.line_nr = scp.line_nr
|
|
|
|
s.last_nl_pos = scp.last_nl_pos
|
|
|
|
}
|
|
|
|
|
2019-12-06 15:24:53 +03:00
|
|
|
fn (s &Scanner) get_last_nl_from_pos(_pos int) int {
|
|
|
|
pos := if _pos >= s.text.len { s.text.len-1 } else { _pos }
|
2019-11-23 19:31:28 +03:00
|
|
|
for i := pos; i >= 0; i-- {
|
|
|
|
if s.text[i] == `\n` {
|
|
|
|
return i
|
2019-09-29 20:37:39 +03:00
|
|
|
}
|
|
|
|
}
|
2019-11-23 19:31:28 +03:00
|
|
|
return 0
|
2019-09-29 20:37:39 +03:00
|
|
|
}
|
|
|
|
|
2019-12-06 15:24:53 +03:00
|
|
|
fn (s &Scanner) get_scanner_pos_of_token(tok &Token) ScannerPos {
|
2019-11-23 19:31:28 +03:00
|
|
|
return ScannerPos{
|
|
|
|
pos: tok.pos
|
|
|
|
line_nr: tok.line_nr
|
|
|
|
last_nl_pos: s.get_last_nl_from_pos(tok.pos)
|
|
|
|
}
|
2019-09-29 20:37:39 +03:00
|
|
|
}
|
2019-10-23 00:56:25 +03:00
|
|
|
|
2019-10-24 19:19:03 +03:00
|
|
|
///////////////////////////////
|
|
|
|
|
2019-11-10 21:54:28 +03:00
|
|
|
fn (p mut Parser) mutable_arg_error(i int, arg Var, f Fn) {
|
|
|
|
mut dots_example := 'mut $p.lit'
|
|
|
|
if i > 0 {
|
|
|
|
dots_example = '.., ' + dots_example
|
|
|
|
}
|
|
|
|
if i < f.args.len - 1 {
|
|
|
|
dots_example = dots_example + ',..'
|
|
|
|
}
|
|
|
|
p.error('`$arg.name` is a mutable argument, you need to provide `mut`: ' +
|
2019-12-08 22:22:47 +03:00
|
|
|
'`$f.name ($dots_example)`')
|
2019-12-05 18:55:27 +03:00
|
|
|
}
|
2019-11-10 21:54:28 +03:00
|
|
|
|
2019-10-23 00:56:25 +03:00
|
|
|
const (
|
2019-11-04 14:35:10 +03:00
|
|
|
warn_match_arrow = '=> is no longer needed in match statements, use\n' +
|
2019-10-23 00:56:25 +03:00
|
|
|
'match foo {
|
|
|
|
1 { bar }
|
|
|
|
2 { baz }
|
|
|
|
else { ... }
|
|
|
|
}'
|
2019-10-24 19:19:03 +03:00
|
|
|
//make_receiver_mutable =
|
2019-11-04 14:35:10 +03:00
|
|
|
|
|
|
|
err_used_as_value = 'used as value'
|
2019-12-05 18:55:27 +03:00
|
|
|
|
2019-11-07 00:40:37 +03:00
|
|
|
and_or_error = 'use `()` to make the boolean expression clear\n' +
|
|
|
|
'for example: `(a && b) || c` instead of `a && b || c`'
|
2019-12-10 06:16:47 +03:00
|
|
|
|
|
|
|
err_modify_bitfield = 'to modify a bitfield flag use the methods: set, clear, toggle. and to check for flag use: has'
|
2019-10-23 00:56:25 +03:00
|
|
|
)
|