mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-25 11:12:48 +03:00
more errors
This commit is contained in:
parent
98f25b8ece
commit
4b01d41d05
@ -145,4 +145,11 @@ create_messages!(
|
||||
msg: format!("failed to convert symbol_table to a json value {error}"),
|
||||
help: None,
|
||||
}
|
||||
|
||||
@backtraced
|
||||
variable_not_found {
|
||||
args: (var: impl Display),
|
||||
msg: format!("variable `{var}` not found in symbol table"),
|
||||
help: None,
|
||||
}
|
||||
);
|
||||
|
@ -656,4 +656,19 @@ create_messages!(
|
||||
msg: format!("The loop bounds must be same type"),
|
||||
help: None,
|
||||
}
|
||||
|
||||
@formatted
|
||||
const_declaration_must_be_literal_or_tuple_of_literals {
|
||||
args: (),
|
||||
msg: format!("The value of a const declaration must be a literal"),
|
||||
help: None,
|
||||
}
|
||||
|
||||
@formatted
|
||||
loop_bound_must_be_literal_or_const {
|
||||
args: (),
|
||||
msg: format!("The loop bound must be a literal or a const"),
|
||||
help: None,
|
||||
}
|
||||
|
||||
);
|
||||
|
Loading…
Reference in New Issue
Block a user