Bump dependencies (#88)

Gabriella439 · Nov 3, 2019 · 71f899d · 71f899d
1 parent 3c61df8
commit 71f899d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/morte.cabal b/morte.cabal
@@ -39,7 +39,7 @@ Library
         containers           >= 0.5.0.0  && < 0.7 ,
         deepseq              >= 1.3.0    && < 1.5 ,
         Earley               >= 0.10.1.0 && < 0.14,
-        http-client          >= 0.5.0    && < 0.6 ,
+        http-client          >= 0.5.0    && < 0.7 ,
         http-client-tls      >= 0.2.0    && < 0.4 ,
         microlens            >= 0.2.0.0  && < 0.5 ,
         microlens-mtl        >= 0.1.3.1  && < 0.2 ,
@@ -90,9 +90,9 @@ Test-Suite test
     Build-Depends:
         base             >= 4        && < 5   ,
         mtl              >= 2.2      && < 2.3 ,
-        QuickCheck       >= 2.8.1    && < 2.13,
+        QuickCheck       >= 2.8.1    && < 2.14,
         system-filepath  >= 0.3.1    && < 0.5 ,
-        tasty            >= 0.11     && < 1.2 ,
+        tasty            >= 0.11     && < 1.3 ,
         tasty-hunit      >= 0.9      && < 0.11,
         tasty-quickcheck >= 0.8.4    && < 0.11,
         transformers     >= 0.2.0.0  && < 0.6 ,

diff --git a/test/ClosedWellTyped.hs b/test/ClosedWellTyped.hs
@@ -151,7 +151,7 @@ app :: M (Expr Void, Expr Void)
 app = do
     (_N, _A       ) <- scope termOrType
     let genA = return (_A, Const Star)
-    (f , Pi x _ _B) <- do
+    ~(f , Pi x _ _B) <- do
         scope
             (select
                 [ (40, lam genA termOrType  , moreThan 0              . uniques )