@@ -1,9 +1,8 @@
1−-- | General quicktest properties for the text library
2−--
1+-- | QuickCheck properties for the text library.
2+
33{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
44 ScopedTypeVariables, TypeSynonymInstances #-}
5−{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
6−{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
5+{-# OPTIONS_GHC -fno-enable-rewrite-rules -fno-warn-missing-signatures #-}
76module Tests.Properties
87 (
98 tests
@@ -784,7 +783,8 @@ showFloat TB.Exponent = showEFloat
784783showFloat TB.Fixed = showFFloat
785784showFloat TB.Generic = showGFloat
786785
787−tb_formatRealFloat :: (RealFloat a, Show a) => a -> TB.FPFormat -> Precision a -> Property
786+tb_formatRealFloat :: (RealFloat a, Show a) =>
787+ a -> TB.FPFormat -> Precision a -> Property
788788tb_formatRealFloat a fmt prec =
789789 TB.formatRealFloat fmt p a ===
790790 TB.fromString (showFloat fmt p a "")