waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore: explain a weird if condition

This commit is contained in:
rvcas 2023-10-12 17:24:11 -04:00
parent c764a6f99c
commit 52dfc13f8f
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
crates/aiken-lang/src/tipo/expr.rs
View File

@ -118,6 +118,9 @@ impl<'a, 'b> ExprTyper<'a, 'b> {
let value = self.infer_call_argument(value, tipo.clone()); let value = self.infer_call_argument(value, tipo.clone());
// This is so that we can annotate the error properly
// with the pipe type mismatch situation when this is called from
// `infer_pipeline`
let value = if index == 0 { let value = if index == 0 {
value.map_err(map_err)? value.map_err(map_err)?
} else { } else {