morte 1.7.1 → 1.7.2

raw patch · 2 files changed

+8/−8 lines, 2 filesdep ~Earleydep ~QuickCheckdep ~code-page

Dependency ranges changed: Earley, QuickCheck, code-page, containers, http-client, tasty

Files

• morte.cabal +7/−7
• test/ClosedWellTyped.hs +1/−1

@@ -1,5 +1,5 @@ Name: morte-Version: 1.7.1+Version: 1.7.2 Cabal-Version: >=1.8.0.2 Build-Type: Simple License: BSD3@@ -36,10 +36,10 @@         base                 >= 4        && < 5   ,         array                >= 0.4.0.0  && < 0.6 ,         binary               >= 0.7.0.0  && < 0.9 ,-        containers           >= 0.5.0.0  && < 0.6 ,+        containers           >= 0.5.0.0  && < 0.7 ,         deepseq              >= 1.3.0    && < 1.5 ,-        Earley               >= 0.10.1.0 && < 0.13,-        http-client          >= 0.5.0    && < 0.6 ,+        Earley               >= 0.10.1.0 && < 0.14,+        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 ,@@ -63,7 +63,7 @@     Main-Is: Main.hs     Build-Depends:         base                 >= 4     && < 5    ,-        code-page            >= 0.1.1 && < 0.2  ,+        code-page            >= 0.1.1 && < 0.3  ,         formatting                              ,         morte                                   ,         optparse-applicative             < 0.15 ,@@ -90,9 +90,9 @@     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 ,

@@ -151,7 +151,7 @@ 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 )