diff --git a/morte.cabal b/morte.cabal index 780ff54..c8a6647 100644 --- 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 index b3680e0..b067aef 100644 --- 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 )