liquidhaskell 0.8.0.2 → 0.8.0.3

raw patch · 2 files changed

+6/−6 lines, 2 filesdep ~liquid-fixpointPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: liquid-fixpoint

API changes (from Hackage documentation)

Files

• .liquidhaskell.cabal.swp binary
• liquidhaskell.cabal +6/−6

binary file changed (16384 → absent bytes)

@@ -1,5 +1,5 @@ Name:                liquidhaskell-Version:             0.8.0.2+Version:             0.8.0.3 Copyright:           2010-17 Ranjit Jhala & Niki Vazou, University of California, San Diego. build-type:          Simple Synopsis:            Liquid Types for Haskell@@ -73,7 +73,7 @@                , deepseq                , pretty                , process-               , liquid-fixpoint >= 0.7+               , liquid-fixpoint >= 0.7.0.3                , located-base                , liquidhaskell                , hpc >= 0.6@@ -119,7 +119,7 @@                 , vector >= 0.10                 , hashable >= 1.2                 , unordered-containers >= 0.2-                , liquid-fixpoint >= 0.7+                , liquid-fixpoint >= 0.7.0.3                 , located-base                 , aeson >= 0.10 && < 1.0                 , bytestring >= 0.10@@ -281,7 +281,7 @@                ,     tasty-rerun >= 1.1                ,     transformers >= 0.3                ,     syb-               ,     liquid-fixpoint >= 0.7+               ,     liquid-fixpoint >= 0.7.0.3                ,     hpc >= 0.6                ,     text @@ -303,7 +303,7 @@                ,     text                ,     transformers >= 0.3                ,     syb-               ,     liquid-fixpoint >= 0.7+               ,     liquid-fixpoint >= 0.7.0.3                ,     hpc >= 0.6    if flag(devel)@@ -322,7 +322,7 @@                 , ghc == 8.0.2                 , ghc-boot == 8.0.2                 , hashable >= 1.2-                , liquid-fixpoint >= 0.7+                , liquid-fixpoint >= 0.7.0.3                 , pretty                 , syb >= 0.4.4                 , time