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

Expand 'ExpectOnOpaqueType' error help and label.

This commit is contained in:
KtorZ 2024-03-14 11:20:34 +01:00
parent 0343aeca34
commit cdf564fc9d
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 8 additions and 2 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

@ -259,10 +259,16 @@ You can use '{discard}' and numbers to distinguish between similar names.
name: String,
},
#[error("I found an expect assignment involving an opaque type. This is not allowed.\n")]
#[error("I caught an opaque type possibly breaking its abstraction boundary.\n")]
#[diagnostic(code("illegal::expect_on_opaque"))]
#[diagnostic(url("https://aiken-lang.org/language-tour/modules#opaque-types"))]
#[diagnostic(help(
"This expression is trying to convert something unknown into an opaque type. An opaque type is a data-type which hides its internal details; usually because it enforces some specific invariant on its internal structure. For example, you might define a {Natural} type that holds an {Integer} but ensures that it never gets negative.\n\nA direct consequence means that it isn't generally possible, nor safe, to turn *any* value into an opaque type. Instead, use the constructors and methods provided for lifting values into that opaque type while ensuring that any structural invariant is checked for.",
Natural = "Natural".if_supports_color(Stdout, |s| s.cyan()),
Integer = "Integer".if_supports_color(Stdout, |s| s.cyan()),
))]
ExpectOnOpaqueType {
#[label]
#[label("reckless opaque cast")]
location: Span,
},