reworked test harness for (partial) auto-detection

1 files changed, 4 insertions, 3 deletions

diff --git a/spec/src/Thermoprint/Printout.hs b/spec/src/Thermoprint/Printout.hs
index 7c6d5c0..32c403c 100644
--- a/spec/src/Thermoprint/Printout.hs
+++ b/spec/src/Thermoprint/Printout.hs
@@ -149,12 +149,13 @@ cotext (Line x) = cotext' x
     cotext' (HSpace n) = TL.pack . genericReplicate n $ ' '
     cotext' (SpaceSep xs) = TL.intercalate " " . map cotext' . toList $ xs
 
-prop_text :: Property
--- ^ prop> cotext . either id Line . `text` $ x = x
+prop_text :: Text -> Bool
+-- ^ prop> (`cotext` . either id Line . `text` $ x) == x
 --
 -- Where 'x' is restricted to those `TL.Text` which do not contain whitespace besides ' ' and '\n'.
-prop_text = forAll (TL.map normSpace <$> arbitrary) $ \x -> (cotext . either id Line . text $ x) == x
+prop_text x = (cotext . either id Line . text $ x') == x'
   where
+    x' = TL.map normSpace x
     normSpace c
       | isSpace c
       , c `elem` keep = c