verifiable-expressions 0.6.0 → 0.6.1

raw patch · 4 files changed

+14/−5 lines, 4 filesdep ~vinylnew-uploader

Dependency ranges changed: vinyl

Files

CHANGELOG.md +3/−0
Language/Expression/GeneralOp.hs +1/−1
Language/Verification/Core.hs +4/−0
verifiable-expressions.cabal +6/−4

+ CHANGELOG.md view

@@ -0,0 +1,3 @@+## 0.6.1 (2021-03-03)+* Require at least Vinyl 0.9 (`RMap` etc. via type classes)+* Support at least GHC 8.6, 8.8, 8.10

Language/Expression/GeneralOp.hs view

@@ -21,7 +21,7 @@ import           Language.Expression.Pretty  data GeneralOp op t a where-  Op :: op as r -> Rec t as -> GeneralOp op t r+  Op :: RMap as => op as r -> Rec t as -> GeneralOp op t r  class EvalOpAt k op where   evalMany :: op as r -> Rec k as -> k r

Language/Verification/Core.hs view

@@ -16,6 +16,7 @@ {-# LANGUAGE TypeOperators              #-} {-# LANGUAGE TypeSynonymInstances       #-} {-# LANGUAGE UndecidableInstances       #-}+{-# LANGUAGE CPP                        #-}  module Language.Verification.Core where @@ -115,6 +116,9 @@            , Applicative            , Monad            , MonadIO+#if MIN_VERSION_base(4,13,0)+           , MonadFail      -- required since GHC 8.8+#endif            )  query :: (VerifiableVar v) => Query v SBool -> VarEnv v -> Verifier v Bool

verifiable-expressions.cabal view

@@ -1,13 +1,13 @@ cabal-version: 1.12 --- This file has been generated from package.yaml by hpack version 0.31.2.+-- This file has been generated from package.yaml by hpack version 0.33.0. -- -- see: https://github.com/sol/hpack ----- hash: ad72557a78859a1f81baf264e6f52253074bef4077f8206609ea198177c25595+-- hash: b61cc1fb115270326d22ec5fbcdd0a38b0aed4c1489d119b344cf4e41c987188  name:           verifiable-expressions-version:        0.6.0+version:        0.6.1 synopsis:       An intermediate language for Hoare logic style verification. description:    A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it. category:       Language@@ -18,6 +18,8 @@ license:        Apache-2.0 license-file:   LICENSE build-type:     Simple+extra-source-files:+    CHANGELOG.md  source-repository head   type: git@@ -52,5 +54,5 @@     , sbv >=8.0 && <9     , transformers >=0.5 && <0.6     , union >=0.1.1 && <0.2-    , vinyl >=0.8.1 && <0.9+    , vinyl >=0.9 && <0.14   default-language: Haskell2010