ChasingBottoms 1.3.1.12 → 1.3.1.13
raw patch · 10 files changed
+46/−24 lines, 10 filesdep ~QuickCheckdep ~basedep ~containersPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: QuickCheck, base, containers, mtl, random, syb
API changes (from Hackage documentation)
Files
- ChasingBottoms.cabal +12/−10
- LICENCE +1/−1
- Test/ChasingBottoms.hs +1/−1
- Test/ChasingBottoms/Approx.hs +1/−1
- Test/ChasingBottoms/ApproxShow.hs +1/−1
- Test/ChasingBottoms/IsBottom.hs +1/−1
- Test/ChasingBottoms/IsType.hs +26/−6
- Test/ChasingBottoms/Nat.hs +1/−1
- Test/ChasingBottoms/SemanticOrd.hs +1/−1
- Test/ChasingBottoms/TimeOut.hs +1/−1
ChasingBottoms.cabal view
@@ -1,8 +1,8 @@ name: ChasingBottoms-version: 1.3.1.12+version: 1.3.1.13 license: MIT license-file: LICENCE-copyright: Copyright (c) Nils Anders Danielsson 2004-2022.+copyright: Copyright (c) Nils Anders Danielsson 2004-2022, 2024. author: Nils Anders Danielsson maintainer: http://www.cse.chalmers.se/~nad/ synopsis: For testing partial and infinite values.@@ -124,8 +124,10 @@ GHC == 8.8.4, GHC == 8.10.5, GHC == 9.0.2,- GHC == 9.2.4,- GHC == 9.4.1+ GHC == 9.2.7,+ GHC == 9.4.8,+ GHC == 9.6.4,+ GHC == 9.8.1 cabal-version: >= 1.10 build-type: Simple @@ -152,9 +154,9 @@ ghc-options: -fpedantic-bottoms build-depends: QuickCheck >= 2.10 && < 2.15,- mtl >= 2 && < 2.3,- base >= 4.2 && < 4.18,- containers >= 0.5 && < 0.7,+ mtl >= 2 && < 2.4,+ base >= 4.2 && < 4.20,+ containers >= 0.5 && < 0.8, random >= 1.0 && < 1.3, syb >= 0.1.0.2 && < 0.8 @@ -188,9 +190,9 @@ ghc-options: -fpedantic-bottoms build-depends: QuickCheck >= 2.10 && < 2.15,- mtl >= 2 && < 2.3,- base >= 4.2 && < 4.18,- containers >= 0.5 && < 0.7,+ mtl >= 2 && < 2.4,+ base >= 4.2 && < 4.20,+ containers >= 0.5 && < 0.8, random >= 1.0 && < 1.3, syb >= 0.1.0.2 && < 0.8, array >= 0.3 && < 0.6
LICENCE view
@@ -1,7 +1,7 @@ I have chosen to distribute this library under the MIT/Expat licence: --------------------------------------------------------------------- -Copyright (c) 2004-2022 Nils Anders Danielsson+Copyright (c) 2004-2022, 2024 Nils Anders Danielsson Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the
Test/ChasingBottoms.hs view
@@ -1,6 +1,6 @@ -- | -- Module : Test.ChasingBottoms--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/Approx.hs view
@@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.Approx--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/ApproxShow.hs view
@@ -3,7 +3,7 @@ -- | -- Module : Test.ChasingBottoms.ApproxShow--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/IsBottom.hs view
@@ -5,7 +5,7 @@ -- | -- Module : Test.ChasingBottoms.IsBottom--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/IsType.hs view
@@ -1,6 +1,8 @@+{-# LANGUAGE CPP, ScopedTypeVariables #-}+ -- | -- Module : Test.ChasingBottoms.IsType--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/@@ -27,12 +29,30 @@ con :: Typeable a => a -> TyCon con = typeRepTyCon . typeOf --- | This function is rather fragile, but should be OK. It is only--- used by "Test.ChasingBottoms.ApproxShow", which should only be used--- for debugging purposes anyway. The unit type is not considered to--- be a tuple.+-- | This function is rather fragile. However, it is only used by+-- "Test.ChasingBottoms.ApproxShow", which should only be used for+-- debugging purposes anyway. The unit type is not considered to be a+-- tuple. isTuple :: Typeable a => a -> Bool-isTuple x = "(," `isPrefixOf` show (con x)+isTuple x =+#if MIN_VERSION_base(4,19,0)+ "Tuple" `isPrefixOf` c+ &&+ case reads (drop 5 c) of+ [(n :: Integer, "")] -> n >= 2+ _ -> False+ where+ c = tyConName (con x)+#else+ isTuple' (tyConName (con x))+ where+ isTuple' ('(' : ',' : rest) = isTuple'' rest+ isTuple' _ = False++ isTuple'' ")" = True+ isTuple'' (',' : rest) = isTuple'' rest+ isTuple'' _ = False+#endif isString :: Typeable a => a -> Bool isString x = isList x && typeRepArgs (typeOf x) == typeRepArgs (typeOf "")
Test/ChasingBottoms/Nat.hs view
@@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.Nat--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/SemanticOrd.hs view
@@ -4,7 +4,7 @@ -- | -- Module : Test.ChasingBottoms.SemanticOrd--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/
Test/ChasingBottoms/TimeOut.hs view
@@ -2,7 +2,7 @@ -- | -- Module : Test.ChasingBottoms.TimeOut--- Copyright : (c) Nils Anders Danielsson 2004-2022+-- Copyright : (c) Nils Anders Danielsson 2004-2022, 2024 -- License : See the file LICENCE. -- -- Maintainer : http://www.cse.chalmers.se/~nad/