language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 20:34:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Remove Location::RangePair

Browse source
This commit is contained in:
Shunsuke Shibayama 2022-11-14 11:13:30 +09:00
parent c562b72c4b
commit 308ab1c9f7
3 changed files with 8 additions and 129 deletions
Download patch file Download diff file Expand all files Collapse all files

18
compiler/erg_compiler/error.rs
View file

@ -1862,24 +1862,6 @@ if True:
);
print!("{}", err);
let loc = Location::RangePair {
ln_first: (1, 2),
col_first: (0, 1),
ln_second: (4, 4),
col_second: (9, 10),
};
let input = Input::Pipe(
"\
a: Nat = 1
a.ownership_is_moved()
function(a)
"
.to_string(),
);
let err = TyCheckError::checker_bug(input, 0, loc, "file_name", 0);
print!("{}", err);
let loc = Location::Range {
ln_begin: 1,
col_begin: 0,