structural-induction 0.1.2 → 0.2

raw patch · 3 files changed

+10/−6 lines, 3 filesdep ~QuickCheck

Dependency ranges changed: QuickCheck

Files

• Induction/Structural/Types.hs +1/−1
• changelog +3/−0
• structural-induction.cabal +6/−5

@@ -1,4 +1,4 @@-{-# LANGUAGE TemplateHaskell #-}+{-# LANGUAGE TemplateHaskell, FlexibleContexts #-} -- | Types module Induction.Structural.Types     (

@@ -0,0 +1,3 @@+structural-induction 0.2 (released 2015-04-10)+	* Support GHC 7.10+

@@ -1,6 +1,6 @@ name:               structural-induction category:           Theorem Provers, Logic-version:            0.1.2+version:            0.2 license:            LGPL-3 license-file:       LICENSE author:             Dan Rosén@@ -9,9 +9,10 @@ bug-reports:        http://www.github.com/danr/structural-induction/issues build-type:         Simple cabal-version:      >= 1.8-tested-with:        GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.3+tested-with:        GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.3, GHC == 7.10.1 synopsis:           Instantiate structural induction schemas for algebraic data types description:        See documentation for Induction.Structural+extra-source-files: changelog  source-repository head   type: git@@ -22,7 +23,7 @@   manual: True  library-  ghc-options:    -Wall+  ghc-options:    -Wall -fno-warn-unused-imports   if flag(Werror)     ghc-options: -Werror @@ -48,7 +49,7 @@   type:           exitcode-stdio-1.0   main-is:        Main.hs   hs-source-dirs: test-  ghc-options:    -Wall+  ghc-options:    -Wall -fno-warn-unused-imports   if flag(Werror)     ghc-options: -Werror @@ -56,7 +57,7 @@     structural-induction,     base,     pretty,-    QuickCheck                >= 2.4,+    QuickCheck                >= 2.8,     mtl                       >= 2.1.2,     language-haskell-extract,     testing-feat              >= 0.4,