v.scanner: improve error diagnostic when scanner's file_path is not a file

pull/10922/head
Delyan Angelov 2021-07-24 11:08:14 +03:00
parent b9771ea120
commit 9ffbda3833
No known key found for this signature in database
GPG Key ID: 66886C0F12D595ED
1 changed files with 2 additions and 2 deletions

View File

@ -102,8 +102,8 @@ pub enum CommentsMode {
// new scanner from file. // new scanner from file.
pub fn new_scanner_file(file_path string, comments_mode CommentsMode, pref &pref.Preferences) &Scanner { pub fn new_scanner_file(file_path string, comments_mode CommentsMode, pref &pref.Preferences) &Scanner {
if !os.exists(file_path) { if !os.is_file(file_path) {
verror("$file_path doesn't exist") verror('$file_path is not a file')
} }
raw_text := util.read_file(file_path) or { raw_text := util.read_file(file_path) or {
verror(err.msg) verror(err.msg)