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

Fmt

Browse Source
This commit is contained in:
d0cd 2022-11-05 14:48:49 -07:00
parent 1ae833ba7c
commit a8a8086f18
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
compiler/passes/src/type_checking/check_program.rs
View File

@ -73,7 +73,10 @@ impl<'a> ProgramVisitor<'a> for TypeChecker<'a> {
// TODO: Use the snarkVM configurations to parameterize the check, need similar checks for structs (all in separate PR)
// Check that the number of transitions does not exceed the maximum.
if transition_count > 15 {
self.emit_err(TypeCheckerError::too_many_transitions(15, input.program_id.name.span + input.program_id.network.span));
self.emit_err(TypeCheckerError::too_many_transitions(
15,
input.program_id.name.span + input.program_id.network.span,
));
}
}