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

Tweak error output for failed data reification.

This commit is contained in:
KtorZ 2024-09-19 20:10:28 +02:00
parent 43182721f5
commit 91843b2c0e
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
crates/aiken-lang/src/expr.rs
View File

@ -1211,7 +1211,8 @@ impl UntypedExpr {
}
Err(format!(
"invalid type annotation {tipo:?} for constructor: {tag:?} with {fields:?}"
"invalid type annotation {tipo:?} for {ix}{} constructor with fields: {fields:?}",
ordinal::Ordinal::<usize>(ix + 1).suffix(),
))
}