HM type inference

[fp.git] / fp.cabal

diff --git a/fp.cabal b/fp.cabal
index e1636b0..31046b0 100644 (file)
--- a/fp.cabal
+++ b/fp.cabal
@@ -17,9 +17,13 @@ cabal-version:       >=1.10
 
 library 
   exposed-modules: Lambda
-  other-modules:   Lambda.Term
                    Lambda.Parser.Fancy
-  build-depends:       base >=4.7 && <4.8
+                   Lambda.Parser.Simple
+                   HM
+                   HM.Parser
+  other-modules:   Lambda.Term
+                   HM.Term
+  build-depends:       base >=4.7 && <5
                      , text >=1.2 && <1.3
                      , attoparsec >=0.12 && <0.13
                      , containers
@@ -29,7 +33,7 @@ library
 
 executable fp-interpret
   main-is:             Main.hs
-  build-depends:       base >=4.7 && <4.8
+  build-depends:       base >=4.7 && <5
                      , text >=1.2 && <1.3
                      , attoparsec >=0.12 && <0.13
                      , containers
@@ -41,9 +45,14 @@ executable fp-interpret
 test-suite doctests
   type:          exitcode-stdio-1.0
   hs-source-dirs:    tests
-  ghc-options:   -threaded
   main-is:       doctest.hs
+  ghc-options:   -threaded
   build-depends: base
+               , text >=1.2 && <1.3
+               , attoparsec >=0.12 && <0.13
+               , containers
+               , mtl
+               , fp
                , doctest >= 0.8
                , QuickCheck >= 2.7
   default-language:    Haskell2010