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

Fix few error messages.

This commit is contained in:
KtorZ 2024-06-13 14:54:30 +02:00
parent 3ddd088780
commit 0ebffa2b9e
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -537,7 +537,7 @@ If you really meant to return that last expression, try to replace it with the f
}, },
#[error("{}\n", if *is_let { #[error("{}\n", if *is_let {
"I noticed a let assignment matching a value with more than one pattern.".to_string() "I noticed an incomplete single-pattern matching a value with more than one pattern.".to_string()
} else { } else {
format!( format!(
"I realized that a given '{keyword_when}/{keyword_is}' expression is non-exhaustive.", "I realized that a given '{keyword_when}/{keyword_is}' expression is non-exhaustive.",
@ -1696,15 +1696,15 @@ pub enum Warning {
#[error( #[error(
"I came across a validator in a {} {}", "I came across a validator in a {} {}",
"lib/".if_supports_color(Stderr, |s| s.purple()), "lib/".if_supports_color(Stderr, |s| s.purple()),
"module which means\nI'm going to ignore it.\n".if_supports_color(Stderr, |s| s.yellow()), "module which means I'm going to ignore it.".if_supports_color(Stderr, |s| s.yellow()),
)] )]
#[diagnostic(help( #[diagnostic(help(
"No big deal, but you might want to move it to a {} module\nor remove it to get rid of that warning.", "No big deal, but you might want to move it to the {} folder or remove it to get rid of that warning.",
"validators/".if_supports_color(Stderr, |s| s.purple()) "validators".if_supports_color(Stderr, |s| s.purple()),
))] ))]
#[diagnostic(code("unused::validator"))] #[diagnostic(code("unused::validator"))]
ValidatorInLibraryModule { ValidatorInLibraryModule {
#[label("unused validator")] #[label("ignored")]
location: Span, location: Span,
}, },