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

nac3core: improve some type annotation error messages (#87)

This commit is contained in:
ychenfo 2021-12-27 23:21:42 +08:00
parent 6162d21a5b
commit cf490dd1c6
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
nac3core/src/toplevel/type_annotation.rs
View File

@ -93,12 +93,13 @@ pub fn parse_ast_to_type_annotation_kinds<T>(
Ok(TypeAnnotation::TypeVar(ty)) Ok(TypeAnnotation::TypeVar(ty))
} else { } else {
Err(format!( Err(format!(
"not a type variable identifier at {}", "`{}` is not a valid type annotation (at {})",
id,
expr.location expr.location
)) ))
} }
} else { } else {
Err(format!("name cannot be parsed as a type annotation at {}", expr.location)) Err(format!("`{}` is not a valid type annotation (at {})", id, expr.location))
} }
}; };
@ -244,11 +245,11 @@ pub fn parse_ast_to_type_annotation_kinds<T>(
if let ast::ExprKind::Name { id, .. } = &value.node { if let ast::ExprKind::Name { id, .. } = &value.node {
class_name_handle(id, slice, unifier, locked) class_name_handle(id, slice, unifier, locked)
} else { } else {
Err(format!("unsupported expression type for class name at {}", value.location)) Err(format!("unsupported expression type for class name (at {})", value.location))
} }
} }
_ => Err(format!("unsupported expression for type annotation at {}", expr.location)), _ => Err(format!("unsupported expression for type annotation (at {})", expr.location)),
} }
} }