@@ -1,6 +1,10 @@
1{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
1{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
2 ScopedTypeVariables, TypeSynonymInstances, CPP #-}
2 ScopedTypeVariables, TypeSynonymInstances, CPP #-}
3{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
3{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
4+module Data.Text.Tests.Properties
5import Test.QuickCheck
9import Test.QuickCheck
6import Test.QuickCheck.Monadic
10import Test.QuickCheck.Monadic
@@ -820,9 +824,6 @@ shorten n t@(S.Stream arr off len)
820 | n > 0 = S.Stream arr off (smaller (exactSize n) len)
824 | n > 0 = S.Stream arr off (smaller (exactSize n) len)
821 | otherwise = t
825 | otherwise = t
824−main = defaultMain tests
826tests :: [Test]
827tests :: [Test]
828 testGroup "creation/elimination" [
829 testGroup "creation/elimination" [