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

use infallible for cleaner type checking, clean up comments

Browse Source
This commit is contained in:
gluaxspeed 2021-01-25 15:19:44 -05:00
parent 29ff3c90b6
commit fe4a101d8d
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
ast/src/program.rs
View File

@ -57,7 +57,8 @@ impl<'ast> Program {
.definitions
.to_owned()
.into_iter()
.find_map::<Result<(), _>, _>(|definition| match definition {
// Use of Infallible to say we never expect an Some(Ok(...))
.find_map::<Result<std::convert::Infallible, _>, _>(|definition| match definition {
Definition::Import(import) => {
imports.push(ImportStatement::from(import));
None
@ -75,12 +76,6 @@ impl<'ast> Program {
None
}
Definition::Deprecated(deprecated) => {
// 1. convert pest span to ast span.
// ast source common span
// new from span -> don't call direcrtly
// create separate file for error warnings
// "\"test function\" is deprecated. Did you mean @test?"
Some(Err(DeprecatedError::from(deprecated)))
}
Definition::Annotated(annotated_definition) => {