ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-27 02:24:15 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update errors

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2023-10-13 16:10:56 -04:00 committed by Pranav Gaddamadugu
parent 49a0c7a469
commit 144ef44b8c
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
errors/src/errors/loop_unroller/loop_unroller_errors.rs
View File

@ -29,4 +29,11 @@ create_messages!(
msg: format!("The loop range must be increasing."), msg: format!("The loop range must be increasing."),
help: None, help: None,
} }
@formatted
variable_array_access {
args: (),
msg: format!("The array index must be constant."),
help: None,
}
); );

7
errors/src/errors/type_checker/type_checker_error.rs
View File

@ -705,4 +705,11 @@ create_messages!(
msg: format!("An array cannot have a tuple as an element type"), msg: format!("An array cannot have a tuple as an element type"),
help: None, help: None,
} }
@formatted
array_element_cannot_be_record {
args: (),
msg: format!("An array cannot have a record as an element type"),
help: None,
}
); );