M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 5
Code Issues 89 Pull Requests 7 Releases Wiki Activity

core: update `shape` list literal error message

This commit is contained in:
lyken 2024-06-27 11:17:23 +08:00
parent ee5389f91b
commit 621ed6382c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
nac3core/src/typecheck/type_inferencer/mod.rs
View File

@ -917,7 +917,7 @@ impl<'a> Inferencer<'a> {
// rather than writing a List literal. We need to report an error.
return Err(HashSet::from([
format!(
"Expected List (must be a literal)/Tuple/int32 for argument {arg_num} of {id} at {shape_location}. \
"Expected List literal/Tuple/int32 for argument {arg_num} of {id} at {shape_location}. \
There, you are passing a value of type List as the argument. \
However, this argument is special - you must only supply this argument with a List literal. \
On the other hand, you may instead pass in a tuple, and there would be no such restriction.",