From 5841ef9ebc477d17a80d9456c3cd1a7f903d1859 Mon Sep 17 00:00:00 2001
From: Auke Booij <auke@tulcod.com>
Date: Wed, 14 Oct 2015 14:02:30 +0100
Subject: [PATCH] Complete cubicaltt.cabal: list all generated modules, improve
 syntax.

---
 cubicaltt.cabal | 34 +++++++++++++++++++++++++++++++---
 1 file changed, 31 insertions(+), 3 deletions(-)

diff --git a/cubicaltt.cabal b/cubicaltt.cabal
index 6ed8fb8..6efd558 100644
--- a/cubicaltt.cabal
+++ b/cubicaltt.cabal
@@ -17,9 +17,37 @@ cabal-version:       >=1.10
 
 executable cubical
   main-is:             Main.hs
-  other-modules:       Exp.Lex, Exp.Par
-  other-extensions:    TypeSynonymInstances, FlexibleInstances, GeneralizedNewtypeDeriving, TupleSections, CPP, MagicHash
-  build-depends:       base >=4.8 && <4.9, containers >=0.5 && <0.6, pretty >=1.1 && <1.2, QuickCheck >=2.8 && <2.9, mtl >=2.2 && <2.3, time >=1.5 && <1.6, directory >=1.2 && <1.3, filepath >=1.4 && <1.5, haskeline >=0.7 && <0.8, array >=0.5 && <0.6
+  other-modules:
+    Connections,
+    CTT,
+    Eval,
+    Resolver,
+    TypeChecker,
+    Exp.Abs,
+    Exp.ErrM,
+    Exp.Layout,
+    Exp.Lex,
+    Exp.Par,
+    Exp.Print,
+    Exp.Skel,
+    Exp.Test
+  other-extensions:
+    TypeSynonymInstances,
+    FlexibleInstances,
+    GeneralizedNewtypeDeriving,
+    TupleSections,
+    CPP,
+    MagicHash
+  build-depends:
+    base >=4.8 && <4.9,containers >=0.5 && <0.6,
+    pretty >=1.1 && <1.2,
+    QuickCheck >=2.8 && <2.9,
+    mtl >=2.2 && <2.3,
+    time >=1.5 && <1.6,
+    directory >=1.2 && <1.3,
+    filepath >=1.4 && <1.5,
+    haskeline >=0.7 && <0.8,
+    array >=0.5 && <0.6
   -- hs-source-dirs:
   build-tools:         alex, happy, bnfc
   default-language:    Haskell98
-- 
2.34.1