ChasingBottoms 1.3.0.2 → 1.3.0.3
raw patch · 2 files changed
+6/−6 lines, 2 filesdep ~arraydep ~basePVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: array, base
API changes (from Hackage documentation)
- Test.ChasingBottoms.ApproxShow: class ApproxShow a
+ Test.ChasingBottoms.ApproxShow: class ApproxShow a where approxShows n a = approxShowsPrec n 0 a approxShow n a = approxShowsPrec n 0 a ""
- Test.ChasingBottoms.SemanticOrd: class SemanticEq a
+ Test.ChasingBottoms.SemanticOrd: class SemanticEq a where /=! = \ x y -> not (x ==! y) ==! = semanticEq noTweak
- Test.ChasingBottoms.SemanticOrd: class SemanticEq a => SemanticOrd a
+ Test.ChasingBottoms.SemanticOrd: class SemanticEq a => SemanticOrd a where >=! = flip (<=!) <! = \ x y -> x <=! y && x /=! y >! = \ x y -> x >=! y && x /=! y x <=! y = case semanticCompare noTweak x y of { Just LT -> True Just EQ -> True _ -> False } \/! = semanticJoin noTweak /\! = semanticMeet noTweak
Files
ChasingBottoms.cabal view
@@ -1,5 +1,5 @@ name: ChasingBottoms-version: 1.3.0.2+version: 1.3.0.3 license: OtherLicense license-file: LICENCE copyright: Copyright (c) Nils Anders Danielsson 2004-2011.@@ -100,7 +100,7 @@ the rest requires @Data.Generics@; @isBottom@ only requires exceptions, though. category: Testing-tested-with: GHC == 7.2.1+tested-with: GHC == 7.4.1 cabal-version: >= 1.8 build-type: Simple @@ -123,7 +123,7 @@ build-depends: QuickCheck >= 2.1 && < 2.5, mtl >= 1.1 && < 2.1,- base >= 4.0 && < 4.5,+ base >= 4.0 && < 4.6, containers >= 0.3 && < 0.5, random == 1.0.*, syb >= 0.1.0.2 && < 0.4@@ -152,8 +152,8 @@ build-depends: QuickCheck >= 2.1 && < 2.5, mtl >= 1.1 && < 2.1,- base >= 4.0 && < 4.5,+ base >= 4.0 && < 4.6, containers >= 0.3 && < 0.5, random == 1.0.*, syb >= 0.1.0.2 && < 0.4,- array == 0.3.*+ array >= 0.3 && < 0.5
Test/ChasingBottoms/IsType.hs view
@@ -32,7 +32,7 @@ -- for debugging purposes anyway. The unit type is not considered to -- be a tuple. isTuple :: Typeable a => a -> Bool-isTuple x = "(," `isPrefixOf` tyConString (con x)+isTuple x = "(," `isPrefixOf` show (con x) isString :: Typeable a => a -> Bool isString x = isList x && typeRepArgs (typeOf x) == typeRepArgs (typeOf "")