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

fix: acceptance test 031

Browse Source 
Co-authored-by: rvcas <x@rvcas.dev>
This commit is contained in:
Kasey White
2022-12-27 21:01:54 -05:00
committed by Lucas
parent 083b7fcb5f
commit 010024fb95
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1505,7 +1505,7 @@ impl<'a, 'b> ExprTyper<'a, 'b> {
self.unify(bool(), condition.tipo(), condition.type_defining_location())?;
let body = self.infer(first.body.clone())?;
let body = self.infer(branch.body.clone())?;
self.unify(tipo.clone(), body.tipo(), body.type_defining_location())?;