fix bug in unification

[fp.git] / fp.cabal

diff --git a/fp.cabal b/fp.cabal
index 789b94c..7a1dd3f 100644 (file)
--- a/fp.cabal
+++ b/fp.cabal
@@ -17,33 +17,42 @@ cabal-version:       >=1.10
 
 library 
   exposed-modules: Lambda
 
 library 
   exposed-modules: Lambda

-  build-depends:       base >=4.7 && <4.8
+                   Lambda.Parser.Fancy
+                   Lambda.Parser.Simple
+                   HM
+                   HM.Parser
+                   Lambda.Term
+                   HM.Term
+  build-depends:       base >=4.7 && <5

                      , text >=1.2 && <1.3
                      , attoparsec >=0.12 && <0.13
                      , containers
                      , text >=1.2 && <1.3
                      , attoparsec >=0.12 && <0.13
                      , containers

+                     , mtl

   hs-source-dirs:      src
   default-language:    Haskell2010
 
   hs-source-dirs:      src
   default-language:    Haskell2010
 

-executable fp
+executable fp-interpret

   main-is:             Main.hs
   main-is:             Main.hs

-  other-modules:       Lambda
-  -- other-extensions:    
-  build-depends:       base >=4.7 && <4.8
+  build-depends:       base >=4.7 && <5

                      , text >=1.2 && <1.3
                      , attoparsec >=0.12 && <0.13
                      , containers
                      , text >=1.2 && <1.3
                      , attoparsec >=0.12 && <0.13
                      , containers

+                     , mtl
+                     , fp

   hs-source-dirs:      src
   default-language:    Haskell2010
 
 test-suite doctests
   type:          exitcode-stdio-1.0
   hs-source-dirs:    tests
   hs-source-dirs:      src
   default-language:    Haskell2010
 
 test-suite doctests
   type:          exitcode-stdio-1.0
   hs-source-dirs:    tests

-  ghc-options:   -threaded

   main-is:       doctest.hs
   main-is:       doctest.hs

+  ghc-options:   -threaded

   build-depends: base
   build-depends: base

-               , doctest >= 0.8
-               , QuickCheck >= 2.7

                , text >=1.2 && <1.3
                , attoparsec >=0.12 && <0.13
                , containers
                , text >=1.2 && <1.3
                , attoparsec >=0.12 && <0.13
                , containers

+               , mtl
+               , fp
+               , doctest >= 0.8
+               , QuickCheck >= 2.7

   default-language:    Haskell2010
   default-language:    Haskell2010