diff --git a/ChasingBottoms.cabal b/ChasingBottoms.cabal --- a/ChasingBottoms.cabal +++ b/ChasingBottoms.cabal @@ -1,8 +1,8 @@ name: ChasingBottoms -version: 1.3.1.11 +version: 1.3.1.12 license: MIT license-file: LICENCE -copyright: Copyright (c) Nils Anders Danielsson 2004-2021. +copyright: Copyright (c) Nils Anders Danielsson 2004-2022. author: Nils Anders Danielsson maintainer: http://www.cse.chalmers.se/~nad/ synopsis: For testing partial and infinite values. @@ -117,19 +117,15 @@ the rest requires @Data.Generics@; @isBottom@ only requires exceptions, though. category: Testing -tested-with: GHC == 7.0.4, - GHC == 7.4.2, - GHC == 7.6.3, - GHC == 7.8.4, - GHC == 7.10.3, - GHC == 8.0.2, +tested-with: GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.5, - GHC == 9.0.1, - GHC == 9.2.1 + GHC == 9.0.2, + GHC == 9.2.4, + GHC == 9.4.1 cabal-version: >= 1.10 build-type: Simple @@ -152,9 +148,12 @@ default-language: Haskell2010 + if impl(ghc >= 7.4.1) + ghc-options: -fpedantic-bottoms + build-depends: QuickCheck >= 2.10 && < 2.15, mtl >= 2 && < 2.3, - base >= 4.2 && < 4.17, + base >= 4.2 && < 4.18, containers >= 0.5 && < 0.7, random >= 1.0 && < 1.3, syb >= 0.1.0.2 && < 0.8 @@ -185,9 +184,12 @@ default-language: Haskell2010 + if impl(ghc >= 7.4.1) + ghc-options: -fpedantic-bottoms + build-depends: QuickCheck >= 2.10 && < 2.15, mtl >= 2 && < 2.3, - base >= 4.2 && < 4.17, + base >= 4.2 && < 4.18, containers >= 0.5 && < 0.7, random >= 1.0 && < 1.3, syb >= 0.1.0.2 && < 0.8, diff --git a/LICENCE b/LICENCE --- a/LICENCE +++ b/LICENCE @@ -1,7 +1,7 @@ I have chosen to distribute this library under the MIT/Expat licence: --------------------------------------------------------------------- -Copyright (c) 2004-2021 Nils Anders Danielsson +Copyright (c) 2004-2022 Nils Anders Danielsson Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the diff --git a/Test/ChasingBottoms.hs b/Test/ChasingBottoms.hs --- a/Test/ChasingBottoms.hs +++ b/Test/ChasingBottoms.hs @@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ diff --git a/Test/ChasingBottoms/Approx.hs b/Test/ChasingBottoms/Approx.hs --- a/Test/ChasingBottoms/Approx.hs +++ b/Test/ChasingBottoms/Approx.hs @@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.Approx --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ diff --git a/Test/ChasingBottoms/ApproxShow.hs b/Test/ChasingBottoms/ApproxShow.hs --- a/Test/ChasingBottoms/ApproxShow.hs +++ b/Test/ChasingBottoms/ApproxShow.hs @@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.ApproxShow --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ diff --git a/Test/ChasingBottoms/ContinuousFunctions.hs b/Test/ChasingBottoms/ContinuousFunctions.hs --- a/Test/ChasingBottoms/ContinuousFunctions.hs +++ b/Test/ChasingBottoms/ContinuousFunctions.hs @@ -12,7 +12,7 @@ -- | -- Module : Test.ChasingBottoms.ContinuousFunctions --- Copyright : (c) Nils Anders Danielsson 2005-2021 +-- Copyright : (c) Nils Anders Danielsson 2005-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ diff --git a/Test/ChasingBottoms/IsBottom.hs b/Test/ChasingBottoms/IsBottom.hs --- a/Test/ChasingBottoms/IsBottom.hs +++ b/Test/ChasingBottoms/IsBottom.hs @@ -5,7 +5,7 @@ -- | -- Module : Test.ChasingBottoms.IsBottom --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ diff --git a/Test/ChasingBottoms/IsType.hs b/Test/ChasingBottoms/IsType.hs --- a/Test/ChasingBottoms/IsType.hs +++ b/Test/ChasingBottoms/IsType.hs @@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms.IsType --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ diff --git a/Test/ChasingBottoms/Nat.hs b/Test/ChasingBottoms/Nat.hs --- a/Test/ChasingBottoms/Nat.hs +++ b/Test/ChasingBottoms/Nat.hs @@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.Nat --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ @@ -74,7 +74,7 @@ | otherwise = Nat i instance Real Nat where - toRational = (%1) . nat2int + toRational = (% 1) . nat2int steal2 :: (Integer -> Integer -> (Integer, Integer)) -> Nat -> Nat -> (Nat, Nat) diff --git a/Test/ChasingBottoms/SemanticOrd.hs b/Test/ChasingBottoms/SemanticOrd.hs --- a/Test/ChasingBottoms/SemanticOrd.hs +++ b/Test/ChasingBottoms/SemanticOrd.hs @@ -4,7 +4,7 @@ -- | -- Module : Test.ChasingBottoms.SemanticOrd --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/ diff --git a/Test/ChasingBottoms/TimeOut.hs b/Test/ChasingBottoms/TimeOut.hs --- a/Test/ChasingBottoms/TimeOut.hs +++ b/Test/ChasingBottoms/TimeOut.hs @@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.TimeOut --- Copyright : (c) Nils Anders Danielsson 2004-2021 +-- Copyright : (c) Nils Anders Danielsson 2004-2022 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/