use bit vectors for tracking free vars (not used yet)

1 files changed, 3 insertions, 0 deletions

diff --git a/lambdacube-compiler.cabal b/lambdacube-compiler.cabal
index 9912743d..c97c2196 100644
--- a/lambdacube-compiler.cabal
+++ b/lambdacube-compiler.cabal
@@ -86,6 +86,7 @@ library
     mtl >=2.2 && <2.3,
     megaparsec >= 4.4.0 && <4.5,
     ansi-wl-pprint >=0.6 && <0.7,
+    bv >= 0.4 && <0.5,
     pretty-show >= 1.6.9,
     text >= 1.2 && <1.3,
     lambdacube-ir == 0.4.*,
@@ -139,6 +140,7 @@ executable lambdacube-compiler-test-suite
     optparse-applicative == 0.12.*,
     megaparsec >= 4.3.0 && <4.5,
     ansi-wl-pprint >=0.6 && <0.7,
+    bv >= 0.4 && <0.5,
     patience >= 0.1 && < 0.2,
     text >= 1.2 && <1.3,
     time >= 1.5 && <1.6,
@@ -247,6 +249,7 @@ executable lambdacube-compiler-coverage-test-suite
     optparse-applicative == 0.12.*,
     megaparsec >= 4.3.0 && <4.5,
     ansi-wl-pprint >=0.6 && <0.7,
+    bv >= 0.4 && <0.5,
     pretty-show >= 1.6.9,
     patience >= 0.1 && < 0.2,
     text >= 1.2 && <1.3,