Add lower version bounds to all dependencies.

diff --git a/symantic-document/symantic-document.cabal b/symantic-document/symantic-document.cabal
index faaccbed8575c45e9d392ac4e5e44b25f1afc13b..e3386e91d2ccd2783da3881e1e626afb7a1f8df6 100644 (file)
--- a/symantic-document/symantic-document.cabal
+++ b/symantic-document/symantic-document.cabal
@@ -42,7 +42,12 @@ Library
     TupleSections
     TypeFamilies
     TypeOperators
-  ghc-options: -Wall -fno-warn-tabs
+  ghc-options:
+    -Wall
+    -Wincomplete-uni-patterns
+    -Wincomplete-record-updates
+    -fno-warn-tabs
+    -fhide-source-paths
   exposed-modules:
     Language.Symantic.Document
     Language.Symantic.Document.ANSI
@@ -51,7 +56,6 @@ Library
     Language.Symantic.Document.Sym
     Language.Symantic.Document.Valid
   build-depends:
-    ansi-terminal
-    , base >= 4.6 && < 5
-    , text
-    -- , transformers >= 0.4 && < 0.5
+      ansi-terminal >= 0.7
+    , base          >= 4.6 && < 5
+    , text          >= 1.2

diff --git a/symantic-grammar/Language/Symantic/Grammar/EBNF.hs b/symantic-grammar/Language/Symantic/Grammar/EBNF.hs
index 63d040fe29988d99c3db29ed4b9daece9e847935..9c414fae930d26dd6f55789cbe99ca318ccef355 100644 (file)
--- a/symantic-grammar/Language/Symantic/Grammar/EBNF.hs
+++ b/symantic-grammar/Language/Symantic/Grammar/EBNF.hs
@@ -1,7 +1,6 @@
 module Language.Symantic.Grammar.EBNF where
 
 import Control.Applicative (Applicative(..))
-import Control.Monad
 import Data.Semigroup
 import Data.Text (Text)
 import qualified Data.Text as Text

diff --git a/symantic-grammar/symantic-grammar.cabal b/symantic-grammar/symantic-grammar.cabal
index 0159f03c344b96b14e692449df6983f64c7981e9..438ef7fb464d2711b7a3fba0d2d855159636cc2f 100644 (file)
--- a/symantic-grammar/symantic-grammar.cabal
+++ b/symantic-grammar/symantic-grammar.cabal
@@ -18,7 +18,7 @@ maintainer: Julien Moutinho <julm+symantic@autogeree.net>
 name: symantic-grammar
 stability: experimental
 synopsis: Library for symantic grammars.
-tested-with: GHC==8.0.2
+tested-with: GHC==8.2.2
 -- PVP:  +-+------- breaking API changes
 --       | | +----- non-breaking API additions
 --       | | | +--- code changes with no API change
@@ -40,10 +40,12 @@ Library
     OverloadedStrings
     ScopedTypeVariables
     StandaloneDeriving
-  ghc-options: -Wall
-               -fwarn-incomplete-patterns
-               -fno-warn-tabs
-               -fprint-explicit-kinds
+  ghc-options:
+    -Wall
+    -Wincomplete-uni-patterns
+    -Wincomplete-record-updates
+    -fno-warn-tabs
+    -fhide-source-paths
   default-language: Haskell2010
   exposed-modules:
     Language.Symantic.Grammar
@@ -58,8 +60,8 @@ Library
     Language.Symantic.Grammar.Source
     Language.Symantic.Grammar.Error
   build-depends:
-    base >= 4.6 && < 5
-    , text
+      base >= 4.6 && < 5
+    , text >= 1.2
 
 Test-Suite symantic-grammar-test
   type: exitcode-stdio-1.0
@@ -78,10 +80,10 @@ Test-Suite symantic-grammar-test
   main-is: Grammar/Test.hs
   other-modules:
   build-depends:
-    base >= 4.6 && < 5
-    , megaparsec
-    , symantic-grammar
-    , tasty >= 0.11
-    , tasty-hunit
-    , text
-    , transformers
+      symantic-grammar
+    , base         >= 4.6 && < 5
+    , megaparsec   >= 6.3
+    , tasty        >= 0.11
+    , tasty-hunit  >= 0.9
+    , text         >= 1.2
+    , transformers >= 0.5

diff --git a/symantic-lib/symantic-lib.cabal b/symantic-lib/symantic-lib.cabal
index 86563a622bac7174c6c63e789e66a4e27a3722f2..218bb36e044fccbe81c391deee2d6290c1ba0805 100644 (file)
--- a/symantic-lib/symantic-lib.cabal
+++ b/symantic-lib/symantic-lib.cabal
@@ -15,11 +15,11 @@ maintainer: Julien Moutinho <julm+symantic@autogeree.net>
 name: symantic-lib
 stability: experimental
 synopsis: Symantics for common types.
-tested-with: GHC==8.0.2
+tested-with: GHC==8.2.2
 -- PVP:  +-+------- breaking API changes
 --       | | +----- non-breaking API additions
 --       | | | +--- code changes with no API change
-version: 0.0.2.20170818
+version: 0.0.3.20180213
 
 Source-Repository head
   location: git://git.autogeree.net/symantic
@@ -42,9 +42,13 @@ Library
     TypeApplications
     TypeFamilies
     TypeOperators
-  ghc-options: -Wall
-               -fno-warn-tabs
-               -fprint-explicit-kinds
+  ghc-options:
+    -Wall
+    -Wincomplete-uni-patterns
+    -Wincomplete-record-updates
+    -fno-warn-tabs
+    -fhide-source-paths
+    -fprint-explicit-kinds
   default-language: Haskell2010
   exposed-modules:
     Language.Symantic.Lib
@@ -84,15 +88,15 @@ Library
     Language.Symantic.Lib.Tuple2
     Language.Symantic.Lib.Unit
   build-depends:
-    base >= 4.6 && < 5
-    , containers
-    , ghc-prim
-    , monad-classes
-    , mono-traversable
-    , symantic >= 6.0
+      symantic
     , symantic-grammar
-    , transformers
-    , text
+    , base             >= 4.6 && < 5
+    , containers       >= 0.5
+    , ghc-prim         >= 0.5
+    , monad-classes    >= 0.3.2
+    , mono-traversable >= 1.0
+    , transformers     >= 0.5
+    , text             >= 1.2
 
 Test-Suite symantic-test
   type: exitcode-stdio-1.0
@@ -109,12 +113,17 @@ Test-Suite symantic-test
     TypeFamilies
     TypeOperators
   default-language: Haskell2010
-  ghc-options: -main-is Test
-               -Wall
-               -fno-warn-tabs
-               -- -O0
-               -- -fmax-simplifier-iterations=0
-               -- -dshow-passes
+  ghc-options:
+    -main-is Test
+    -Wall
+    -Wincomplete-uni-patterns
+    -Wincomplete-record-updates
+    -fno-warn-tabs
+    -fhide-source-paths
+    -fprint-explicit-kinds
+    -- -O0
+    -- -fmax-simplifier-iterations=0
+    -- -dshow-passes
   hs-source-dirs: Language/Symantic
   main-is: Test.hs
   other-modules:
@@ -131,18 +140,18 @@ Test-Suite symantic-test
     Lib.Tuple2.Test
     Typing.Test
   build-depends:
-    base >= 4.6 && < 5
-    , containers
-    , megaparsec
-    , monad-classes
-    , mono-traversable
+      symantic
     , symantic-grammar
-    , symantic
     , symantic-lib
-    , tasty >= 0.11
-    , tasty-hunit
-    , text
-    , transformers
+    , base             >= 4.6 && < 5
+    , containers       >= 0.5
+    , megaparsec       >= 6.3
+    , monad-classes    >= 0.3.2
+    , mono-traversable >= 1.0
+    , tasty            >= 0.11
+    , tasty-hunit      >= 0.9
+    , text             >= 1.2
+    , transformers     >= 0.5
 
 Test-Suite ebnf
   type: exitcode-stdio-1.0
@@ -164,21 +173,26 @@ Test-Suite ebnf
     TypeFamilies
     TypeApplications
     TypeOperators
-  ghc-options: -main-is Grammar.EBNF
-               -Wall
-               -fno-warn-tabs
-               -fprint-potential-instances
+  ghc-options:
+    -main-is Grammar.EBNF
+    -Wall
+    -Wincomplete-uni-patterns
+    -Wincomplete-record-updates
+    -fno-warn-tabs
+    -fhide-source-paths
+    -fprint-explicit-kinds
+    -fprint-potential-instances
   main-is: Grammar/EBNF.hs
   default-language: Haskell2010
   hs-source-dirs: Language/Symantic
   build-depends:
-    base >= 4.6 && < 5
-    , containers
-    , megaparsec
+      symantic
     , symantic-grammar
-    , symantic
     , symantic-lib
-    , transformers
-    , tasty >= 0.11
-    , tasty-hunit
-    , text
+    , base         >= 4.6 && < 5
+    , containers   >= 0.5
+    , megaparsec   >= 6.3
+    , transformers >= 0.5
+    , tasty        >= 0.11
+    , tasty-hunit  >= 0.9
+    , text         >= 1.2

diff --git a/symantic/symantic.cabal b/symantic/symantic.cabal
index 8f30af1a014a59ef49eba88e18742aeca2cb3978..faa16c875b55dd945414eeee994d4d8403e492aa 100644 (file)
--- a/symantic/symantic.cabal
+++ b/symantic/symantic.cabal
@@ -79,10 +79,10 @@ Library
     Language.Symantic.Typing.Unify
     Language.Symantic.Typing.Variable
   build-depends:
-    base >= 4.6 && < 5
-    , containers
-    , mono-traversable
-    , symantic-grammar
+      symantic-grammar
     , symantic-document
-    , transformers
-    , text
+    , base             >= 4.6 && < 5
+    , containers       >= 0.5
+    , mono-traversable >= 1.0
+    , transformers     >= 0.5
+    , text             >= 1.2