From 0bdc36d221703e5a2347d3d136d676a86bdb1b6a Mon Sep 17 00:00:00 2001
From: Tom Smeding <t.j.smeding@uu.nl>
Date: Mon, 20 Jan 2025 16:51:22 +0100
Subject: WIP identity analysis
---
chad-fast.cabal | 2 ++
1 file changed, 2 insertions(+)
(limited to 'chad-fast.cabal')
diff --git a/chad-fast.cabal b/chad-fast.cabal
index 6635f6c..63479bb 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -10,6 +10,7 @@ build-type: Simple
library
exposed-modules:
+ Analysis.Identity
Array
AST
AST.Bindings
@@ -43,6 +44,7 @@ library
Lemmas
-- PreludeCu
Simplify
+ Util.IdGen
other-modules:
build-depends:
base >= 4.19 && < 4.21,
--
cgit v1.2.3-70-g09d2