From: Auke Booij Date: Wed, 14 Oct 2015 13:02:30 +0000 (+0100) Subject: Complete cubicaltt.cabal: list all generated modules, improve syntax. X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=5841ef9ebc477d17a80d9456c3cd1a7f903d1859;p=cubicaltt.git Complete cubicaltt.cabal: list all generated modules, improve syntax. --- 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