waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Show most type-checking error on a single line; reads better.

This commit is contained in:
KtorZ 2022-12-23 00:25:18 +01:00
parent ce0c6e0d0f
commit c47c50ffb8
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
crates/aiken-lang/src/tipo/error.rs
View File

@ -14,7 +14,7 @@ use super::Type;
#[derive(Debug, thiserror::Error, Diagnostic)] #[derive(Debug, thiserror::Error, Diagnostic)]
pub enum Error { pub enum Error {
#[error("Duplicate argument\n\n{label}\n")] #[error("Duplicate argument '{label}'\n")]
#[diagnostic(help("Try renaming it"))] #[diagnostic(help("Try renaming it"))]
DuplicateArgument { DuplicateArgument {
#[label] #[label]
@ -22,7 +22,7 @@ pub enum Error {
label: String, label: String,
}, },
#[error("Duplicate const\n\n{name}\n")] #[error("Duplicate const '{name}'\n")]
#[diagnostic(help("Try renaming it"))] #[diagnostic(help("Try renaming it"))]
DuplicateConstName { DuplicateConstName {
#[label] #[label]
@ -32,7 +32,7 @@ pub enum Error {
name: String, name: String,
}, },
#[error("Duplicate import\n\n{name}\n")] #[error("Duplicate import '{name}'\n")]
#[diagnostic(help("Try renaming it"))] #[diagnostic(help("Try renaming it"))]
DuplicateImport { DuplicateImport {
#[label] #[label]
@ -42,7 +42,7 @@ pub enum Error {
name: String, name: String,
}, },
#[error("Duplicate field\n\n{label}\n")] #[error("Duplicate field '{label}'\n")]
#[diagnostic(help("Try renaming it"))] #[diagnostic(help("Try renaming it"))]
DuplicateField { DuplicateField {
#[label] #[label]
@ -50,7 +50,7 @@ pub enum Error {
label: String, label: String,
}, },
#[error("Duplicate name\n\n{name}\n")] #[error("Duplicate name '{name}'\n")]
#[diagnostic(help("Try renaming it"))] #[diagnostic(help("Try renaming it"))]
DuplicateName { DuplicateName {
#[label] #[label]
@ -60,7 +60,7 @@ pub enum Error {
name: String, name: String,
}, },
#[error("Duplicate type name\n\n{name}\n")] #[error("Duplicate type name '{name}'\n")]
#[diagnostic(help("Try renaming it"))] #[diagnostic(help("Try renaming it"))]
DuplicateTypeName { DuplicateTypeName {
#[label] #[label]
@ -103,17 +103,17 @@ pub enum Error {
unmatched: Vec<String>, unmatched: Vec<String>,
}, },
#[error("Not a function")] #[error("Not a function\n")]
NotFn { NotFn {
#[label] #[label]
location: Span, location: Span,
tipo: Arc<Type>, tipo: Arc<Type>,
}, },
#[error("Module\n\n{name}\n\ncontains keyword\n\n{keyword}\n")] #[error("Module '{name}' contains the keyword '{keyword}', which is forbidden\n")]
KeywordInModuleName { name: String, keyword: String }, KeywordInModuleName { name: String, keyword: String },
#[error("Clause guard {name} is not local\n")] #[error("Clause guard '{name}' is not local\n")]
NonLocalClauseGuardVariable { NonLocalClauseGuardVariable {
#[label] #[label]
location: Span, location: Span,
@ -171,7 +171,7 @@ pub enum Error {
supplied: Vec<String>, supplied: Vec<String>,
}, },
#[error("Unknown module\n\n{name}\n")] #[error("Unknown module '{name}'\n")]
UnknownModule { UnknownModule {
#[label] #[label]
location: Span, location: Span,
@ -190,7 +190,7 @@ pub enum Error {
hint: Option<String>, hint: Option<String>,
}, },
#[error("Unknown module value\n\n{name}\n")] #[error("Unknown module value '{name}'\n")]
UnknownModuleValue { UnknownModuleValue {
#[label] #[label]
location: Span, location: Span,
@ -199,7 +199,7 @@ pub enum Error {
value_constructors: Vec<String>, value_constructors: Vec<String>,
}, },
#[error("Unknown type\n\n{name}\n\nin module\n\n{module_name}\n")] #[error("Unknown type '{name}' in module '{module_name}'\n")]
UnknownModuleType { UnknownModuleType {
#[label] #[label]
location: Span, location: Span,
@ -218,7 +218,7 @@ pub enum Error {
situation: Option<UnknownRecordFieldSituation>, situation: Option<UnknownRecordFieldSituation>,
}, },
#[error("Unknown type\n\n{name}\n")] #[error("Unknown type '{name}'\n")]
UnknownType { UnknownType {
#[label] #[label]
location: Span, location: Span,