From a99c400a46d2465aaaf8dc8e1d38f5dbf496f621 Mon Sep 17 00:00:00 2001 From: Andrew Martin <andrew.thaddeus@gmail.com> Date: Thu, 23 Mar 2023 14:18:48 -0400 Subject: [PATCH] Small tweaks --- Data/Primitive/Types.hs | 2 +- test/main.hs | 18 +----------------- 2 files changed, 2 insertions(+), 18 deletions(-) diff --git a/Data/Primitive/Types.hs b/Data/Primitive/Types.hs index 26910d7..0f518a0 100644 --- a/Data/Primitive/Types.hs +++ b/Data/Primitive/Types.hs @@ -134,7 +134,7 @@ sizeOf x = I# (sizeOf# x) alignment :: Prim a => a -> Int alignment x = I# (alignment# x) --- | @since 0.6.5.0 +-- | @since 0.9.0.0 instance Prim a => Prim (Complex a) where sizeOf# _ = 2# *# sizeOf# (undefined :: a) alignment# _ = alignment# (undefined :: a) diff --git a/test/main.hs b/test/main.hs index 71cff68..47f7d3d 100644 --- a/test/main.hs +++ b/test/main.hs @@ -153,9 +153,6 @@ main = do , testGroup "DefaultSetMethod" [ lawsToTest (primLaws (Proxy :: Proxy DefaultSetMethod)) ] - , testGroup "Complex" - [ lawsToTest (primLaws (Proxy :: Proxy (Complex Double))) - ] #if __GLASGOW_HASKELL__ >= 805 , testGroup "PrimStorable" [ lawsToTest (QCC.storableLaws (Proxy :: Proxy Derived)) @@ -182,30 +179,17 @@ main = do , renameLawsToTest "Last" (primLaws (Proxy :: Proxy (Semigroup.Last Int16))) , renameLawsToTest "Min" (primLaws (Proxy :: Proxy (Semigroup.Min Int16))) , renameLawsToTest "Max" (primLaws (Proxy :: Proxy (Semigroup.Max Int16))) - ] - , testGroup "Newtypes" - [ lawsToTest (primLaws (Proxy :: Proxy (Const Int16 Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Down Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Identity Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Monoid.Dual Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Monoid.Sum Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Monoid.Product Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Semigroup.First Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Semigroup.Last Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Semigroup.Min Int16))) - , lawsToTest (primLaws (Proxy :: Proxy (Semigroup.Max Int16))) + , renameLawsToTest "Complex" (primLaws (Proxy :: Proxy (Complex Double))) ] ] deriving instance Arbitrary a => Arbitrary (Down a) -- Const, Dual, Sum, Product: all have Arbitrary instances defined -- in QuickCheck itself -#if MIN_VERSION_base(4,9,0) deriving instance Arbitrary a => Arbitrary (Semigroup.First a) deriving instance Arbitrary a => Arbitrary (Semigroup.Last a) deriving instance Arbitrary a => Arbitrary (Semigroup.Min a) deriving instance Arbitrary a => Arbitrary (Semigroup.Max a) -#endif word8 :: Proxy Word8 word8 = Proxy -- GitLab