fix bug in unification

[fp.git] / fp.cabal

diff --git a/fp.cabal b/fp.cabal
index 9d650ec..7a1dd3f 100644 (file)
--- a/fp.cabal
+++ b/fp.cabal
@@ -21,9 +21,9 @@ library
                    Lambda.Parser.Simple
                    HM
                    HM.Parser
                    Lambda.Parser.Simple
                    HM
                    HM.Parser

-  other-modules:   Lambda.Term
+                   Lambda.Term

                    HM.Term
                    HM.Term

-  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


@@ -33,7 +33,7 @@ library
 
 executable fp-interpret
   main-is:             Main.hs
 
 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
                      , text >=1.2 && <1.3
                      , attoparsec >=0.12 && <0.13
                      , containers