From 70314ca6f691ea1f547f09d3044a7f2b2a684289 Mon Sep 17 00:00:00 2001 From: Shagun Agrawal Date: Sun, 1 Dec 2024 22:27:54 +0530 Subject: Validate typechecker output with Malli --- src/cljcc/analyze/typecheck.clj | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/cljcc/analyze') diff --git a/src/cljcc/analyze/typecheck.clj b/src/cljcc/analyze/typecheck.clj index 9390f3d..001c618 100644 --- a/src/cljcc/analyze/typecheck.clj +++ b/src/cljcc/analyze/typecheck.clj @@ -532,9 +532,13 @@ A program is a list of declarations." [program] - (let [v (typecheck-program program)] - {:program (:program v) - :ident->symbol (dissoc (:ident->symbol v) :at-top-level)})) + (let [v (typecheck-program program) + program (:program v) + m (dissoc (:ident->symbol v) :at-top-level) + _ (m/coerce p/Program program) + _ (m/coerce SymbolMap m)] + {:program program + :ident->symbol m})) (comment -- cgit v1.2.3