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

Fmt

Browse Source
This commit is contained in:
d0cd 2022-11-12 09:58:52 -08:00
parent a69c1b4dae
commit 1e2a7f222d
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -254,7 +254,9 @@ impl<'a> ProgramVisitor<'a> for TypeChecker<'a> {
// Check that the mode of the output is valid. // Check that the mode of the output is valid.
if output_type.mode() == Mode::Const || output_type.mode() == Mode::Private { if output_type.mode() == Mode::Const || output_type.mode() == Mode::Private {
self.emit_err(TypeCheckerError::finalize_output_mode_must_be_public(output_type.span())); self.emit_err(TypeCheckerError::finalize_output_mode_must_be_public(
output_type.span(),
));
} }
}); });