use provided type in Emil:is

politza · Feb 9, 2025 · b4fc2a7 · b4fc2a7
1 parent 00c30f7
commit b4fc2a7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/packages/Emil/src/Emil/Transformer.el b/packages/Emil/src/Emil/Transformer.el
@@ -75,7 +75,9 @@
     (-let ((type (Emil:Type:read (nth 1 arguments))))
       (pcase-exhaustive macro
         ('Emil:is
-            (Emil:Analyzer:check self (nth 0 arguments) type context environment))
+            (-let (((context . typed-form)
+                    (Emil:Analyzer:check self (nth 0 arguments) type context environment)))
+              (cons context (Emil:Form:with-type typed-form type))))
         ('Emil:as
             (-let (((context . typed-form)
                     (Emil:Analyzer:infer self (nth 0 arguments) context environment)))