os: merge with filepath

This commit is contained in:
yuyi 2020-03-08 05:26:26 +08:00 committed by GitHub
parent 5e541e1f11
commit 783dee1f48
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
57 changed files with 249 additions and 361 deletions

View file

@ -2,7 +2,6 @@ module compiler
import (
os
filepath
term
)
// ////////////////////////////////////////////////////////////////////////////////////////////////
@ -157,7 +156,7 @@ fn (s &Scanner) get_error_filepath() string {
else {
s.print_rel_paths_on_error}}
if use_relative_paths {
workdir := os.getwd() + filepath.separator
workdir := os.getwd() + os.path_separator
if s.file_path.starts_with(workdir) {
return s.file_path.replace(workdir, '')
}