From 2a25dd9d7b74f5b6953e3833cec66cdc66954ee7 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Tue, 1 Oct 2024 18:31:44 -0700
Subject: [PATCH] fix annotations getting lost

---
 crates/fayalite/src/module.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/crates/fayalite/src/module.rs b/crates/fayalite/src/module.rs
index e88b37a..f93758a 100644
--- a/crates/fayalite/src/module.rs
+++ b/crates/fayalite/src/module.rs
@@ -2272,7 +2272,8 @@ pub fn annotate<T: Type>(target: Expr<T>, annotations: impl IntoAnnotations) {
             .body
             .annotations_map
             .entry(decl)
-            .or_default();
+            .or_default()
+            .extend(annotations);
     });
 }