aboutsummaryrefslogtreecommitdiff
path: root/chad-fast.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'chad-fast.cabal')
-rw-r--r--chad-fast.cabal7
1 files changed, 6 insertions, 1 deletions
diff --git a/chad-fast.cabal b/chad-fast.cabal
index e201683..b7270e4 100644
--- a/chad-fast.cabal
+++ b/chad-fast.cabal
@@ -18,6 +18,9 @@ library
AST.Count
AST.Env
AST.Pretty
+ AST.Sparse
+ AST.Sparse.Types
+ AST.SplitLets
AST.Types
AST.UnMonoid
AST.Weaken
@@ -31,6 +34,7 @@ library
Compile
Compile.Exec
Data
+ Data.VarMap
Example
Example.GMM
Example.Types
@@ -44,6 +48,7 @@ library
Language.AST
Lemmas
Simplify
+ Simplify.TH
Util.IdGen
other-modules:
build-depends:
@@ -51,10 +56,10 @@ library
containers,
deepseq,
directory,
- -- template-haskell,
prettyprinter,
process,
some,
+ template-haskell,
transformers,
unix,
vector,