Check that stimes works right in corner cases.

tests/Tests/Properties.hs

@@ -17,6 +17,7 @@ import Tests.Properties.Read (testRead)
 import Tests.Properties.Text (testText)
 import Tests.Properties.Transcoding (testTranscoding)
 import Tests.Properties.Validate (testValidate)
+import Tests.Properties.CornerCases (testCornerCases)
 
 tests :: TestTree
 tests =
@@ -30,5 +31,6 @@ tests =
     testBuilder,
     testLowLevel,
     testRead,
+    testCornerCases,
     testValidate
   ]

tests/Tests/Properties/CornerCases.hs

@@ -0,0 +1,36 @@
+{-# LANGUAGE BlockArguments #-}
+{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeApplications #-}
+
+-- | Check that the definitions that are partial crash in the expected ways or
+-- return sensible defaults.
+module Tests.Properties.CornerCases (testCornerCases) where
+
+import Control.Exception
+import Data.Either
+import Data.Semigroup
+import Data.Text
+import Test.QuickCheck
+import Test.Tasty (TestTree, testGroup)
+import Test.Tasty.QuickCheck (testProperty)
+import Tests.QuickCheckUtils ()
+
+testCornerCases :: TestTree
+testCornerCases =
+  testGroup
+    "corner cases"
+    [ testGroup
+        "stimes"
+        let specimen = stimes :: Integer -> Text -> Text
+        in  [ testProperty
+                "given a negative number, return empty text"
+                \(Negative number) text -> do
+                  specimen number text == ""
+            , testProperty
+                "given a number that does not fit into Int, evaluate to error call"
+                \(NonNegative number) text -> (ioProperty . fmap isLeft . try @ErrorCall . evaluate) do
+                  specimen
+                    (fromIntegral (number :: Int) + fromIntegral (maxBound :: Int) + 1)
+                    text
+            ]
+    ]

text.cabal

@@ -275,6 +275,7 @@ test-suite tests
     Tests.Properties.Substrings
     Tests.Properties.Text
     Tests.Properties.Transcoding
+    Tests.Properties.CornerCases
     Tests.Properties.Validate
     Tests.QuickCheckUtils
     Tests.RebindableSyntaxTest