teascade/reid-llvm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

update errors

Browse Source
This commit is contained in:
Sofia 2025-07-13 13:58:12 +03:00
parent e79a0fe458
commit 29e78cf1aa
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
reid/src/mir/typecheck.rs
View File

@ -18,8 +18,6 @@ pub enum ErrorKind {
Null, Null,
#[error("Type is vague: {0}")] #[error("Type is vague: {0}")]
TypeIsVague(VagueType), TypeIsVague(VagueType),
#[error("Can not coerce {0} to vague type {1}")]
HintIsVague(TypeKind, VagueType),
#[error("Literal {0} can not be coerced to type {1}")] #[error("Literal {0} can not be coerced to type {1}")]
LiteralIncompatible(Literal, TypeKind), LiteralIncompatible(Literal, TypeKind),
#[error("Types {0} and {1} are incompatible")] #[error("Types {0} and {1} are incompatible")]
@ -28,7 +26,7 @@ pub enum ErrorKind {
VariableNotDefined(String), VariableNotDefined(String),
#[error("Function not defined: {0}")] #[error("Function not defined: {0}")]
FunctionNotDefined(String), FunctionNotDefined(String),
#[error("Type is vague: {0}")] #[error("Expected a return type of {0}, got {1} instead")]
ReturnTypeMismatch(TypeKind, TypeKind), ReturnTypeMismatch(TypeKind, TypeKind),
#[error("Function not defined: {0}")] #[error("Function not defined: {0}")]
FunctionAlreadyDefined(String), FunctionAlreadyDefined(String),