M-Labs/nac3
M-Labs/nac3
8
1
Fork 12
Code Issues 98 Pull Requests 19 Releases Wiki Activity

core: Use Display output for locations

Browse Source
This commit is contained in:
David Mak 2024-02-06 18:11:51 +08:00
parent 27011f385b
commit 1963c30744
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
nac3core/src/typecheck/function_check.rs
View File

@ -337,7 +337,7 @@ impl<'a> Inferencer<'a> {
if !self.check_return_value_ty(ret_ty) {
return Err(HashSet::from([
format!(
"return value of type {} must be a primitive of a tuple of primitives at {:?}",
"return value of type {} must be a primitive of a tuple of primitives at {}",
self.unifier.stringify(ret_ty),
value.location,
),
@ -366,7 +366,7 @@ impl<'a> Inferencer<'a> {
let mut ret = false;
for stmt in block {
if ret {
eprintln!("warning: dead code at {:?}\n", stmt.location);
eprintln!("warning: dead code at {}\n", stmt.location);
}
if self.check_stmt(stmt, defined_identifiers)? {
ret = true;