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

fix grammar of some type error messages

Browse Source
This commit is contained in:
Sebastien Bourdeauducq 2022-01-14 16:56:23 +08:00
parent d7b14dd705
commit fd4bf12808
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
nac3artiq/src/lib.rs
View File

@ -188,7 +188,7 @@ impl Nac3 {
let base_ty = let base_ty =
match resolver.get_symbol_type(unifier, top_level_defs, primitives, "base".into()) { match resolver.get_symbol_type(unifier, top_level_defs, primitives, "base".into()) {
Ok(ty) => ty, Ok(ty) => ty,
Err(e) => return Some(format!("type error of object launching kernel: {}", e)) Err(e) => return Some(format!("type error inside object launching kernel: {}", e))
}; };
let fun_ty = if method_name.is_empty() { let fun_ty = if method_name.is_empty() {

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

@ -80,7 +80,7 @@ impl<'a> Inferencer<'a> {
} }
Err(e) => { Err(e) => {
return Err(format!( return Err(format!(
"type error of identifier `{}` ({}) at {}", "type error at identifier `{}` ({}) at {}",
id, e, expr.location id, e, expr.location
)); ));
} }

2
nac3core/src/typecheck/type_inferencer/mod.rs
View File

@ -371,7 +371,7 @@ impl<'a> fold::Fold<()> for Inferencer<'a> {
} }
Err(e) => { Err(e) => {
return report_error( return report_error(
&format!("type error of identifier `{}` ({})", id, e), &format!("type error at identifier `{}` ({})", id, e),
expr.location, expr.location,
); );
} }