M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 97 Pull Requests 19 Releases Wiki Activity

core: Use Display output for locations #378

Merged
sb10q merged 1 commits from misc-fix into master 2024-02-06 18:15:43 +08:00
Conversation 0 Commits 1 Files Changed 1 +2 -2
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) { if !self.check_return_value_ty(ret_ty) {
return Err(HashSet::from([ return Err(HashSet::from([
format!( 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), self.unifier.stringify(ret_ty),
value.location, value.location,
), ),
@ -366,7 +366,7 @@ impl<'a> Inferencer<'a> {
let mut ret = false; let mut ret = false;
for stmt in block { for stmt in block {
if ret { 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)? { if self.check_stmt(stmt, defined_identifiers)? {
ret = true; ret = true;