unique-logic-tf 0.4 → 0.4.0.1

raw patch · 5 files changed

+6/−6 lines, 5 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

src/UniqueLogic/ST/TF/Example/Expression.hs +1/−1
src/UniqueLogic/ST/TF/Example/Label.hs +1/−1
src/UniqueLogic/ST/TF/Example/Rule.hs +1/−1
src/UniqueLogic/ST/TF/Example/Verify.hs +1/−1
unique-logic-tf.cabal +2/−2

src/UniqueLogic/ST/TF/Example/Expression.hs view

@@ -1,5 +1,5 @@ module UniqueLogic.ST.TF.Example.Expression-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}  where  import qualified UniqueLogic.ST.TF.Expression as Expr

src/UniqueLogic/ST/TF/Example/Label.hs view

@@ -1,5 +1,5 @@ module UniqueLogic.ST.TF.Example.Label-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}  where  import qualified UniqueLogic.ST.TF.Example.Term as Term

src/UniqueLogic/ST/TF/Example/Rule.hs view

@@ -1,5 +1,5 @@ module UniqueLogic.ST.TF.Example.Rule-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}  where  import qualified UniqueLogic.ST.TF.Rule as Rule

src/UniqueLogic/ST/TF/Example/Verify.hs view

@@ -2,7 +2,7 @@ {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE FlexibleInstances #-} module UniqueLogic.ST.TF.Example.Verify-{-# DEPRECATED "This module is intended for documentation purposes. Do not import it!" #-}+{-# WARNING "This module is intended for documentation purposes. Do not import it!" #-}  where  import qualified UniqueLogic.ST.TF.Example.Term as Term

unique-logic-tf.cabal view

@@ -1,5 +1,5 @@ Name:             unique-logic-tf-Version:          0.4+Version:          0.4.0.1 License:          BSD3 License-File:     LICENSE Author:           Henning Thielemann@@ -64,7 +64,7 @@ Build-Type:        Simple  Source-Repository this-  Tag:         0.4+  Tag:         0.4.0.1   Type:        darcs   Location:    http://code.haskell.org/~thielema/unique-logic-tf/