From 68aaa3c80775b9cc2a5c538d33042b21695ff903 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gabrielle=20Guimar=C3=A3es=20de=20Oliveira?= Date: Wed, 29 May 2024 20:30:20 -0300 Subject: [PATCH] feat(sol-thir-lowering): implement unify catch --- sol-thir-lowering/src/elaboration.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/sol-thir-lowering/src/elaboration.rs b/sol-thir-lowering/src/elaboration.rs index 0c2c418..f058530 100644 --- a/sol-thir-lowering/src/elaboration.rs +++ b/sol-thir-lowering/src/elaboration.rs @@ -1,10 +1,13 @@ +use sol_diagnostic::Diagnostics; use sol_thir::ElaboratedTerm; use super::*; #[salsa::tracked] pub fn unify_catch(db: &dyn ThirLoweringDb, ctx: Context, lhs: Value, rhs: Value) { - todo!() + if let Err(diagnostic) = lhs.unify(db, ctx, rhs) { + Diagnostics::push(db, diagnostic); + } } /// Insert fresh implicit applications to a term which is not