HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-15 19:30:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix: fixed bug with no coverage showing twice

Browse Source
This commit is contained in:
felipegchi 2022-12-15 14:39:49 -03:00
parent 35f3f0000f
commit 917de25230
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
crates/kind-pass/src/desugar/destruct.rs
View File

@ -241,7 +241,8 @@ impl<'a> DesugarState<'a> {
}
if !unbound.is_empty() {
self.send_err(PassError::NoCoverage(range, unbound))
self.send_err(PassError::NoCoverage(range, unbound));
return desugared::Expr::err(range);
}
let motive = if let Some(res) = &match_.motive {