@@ -1,6 +1,10 @@
11{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
22 ScopedTypeVariables, TypeSynonymInstances, CPP #-}
33{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
4+module Data.Text.Tests.Properties
5+ (
6+ tests
7+ ) where
48
59import Test.QuickCheck
610import Test.QuickCheck.Monadic
@@ -820,9 +824,6 @@ shorten n t@(S.Stream arr off len)
820824 | n > 0 = S.Stream arr off (smaller (exactSize n) len)
821825 | otherwise = t
822826
823−main :: IO ()
824−main = defaultMain tests
825−
826827tests :: [Test]
827828tests = [
828829 testGroup "creation/elimination" [