@@ -1,9 +1,8 @@
1−-- | General quicktest properties for the text library
1+-- | QuickCheck properties for the text library.
3{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
3{-# LANGUAGE BangPatterns, FlexibleInstances, OverloadedStrings,
4 ScopedTypeVariables, TypeSynonymInstances #-}
4 ScopedTypeVariables, TypeSynonymInstances #-}
5−{-# OPTIONS_GHC -fno-enable-rewrite-rules #-}
5+{-# OPTIONS_GHC -fno-enable-rewrite-rules -fno-warn-missing-signatures #-}
6−{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
7module Tests.Properties
6module Tests.Properties
@@ -784,7 +783,8 @@ showFloat TB.Exponent = showEFloat
784showFloat TB.Fixed = showFFloat
783showFloat TB.Fixed = showFFloat
785showFloat TB.Generic = showGFloat
784showFloat TB.Generic = showGFloat
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
788tb_formatRealFloat a fmt prec =
788tb_formatRealFloat a fmt prec =
789 TB.formatRealFloat fmt p a ===
789 TB.formatRealFloat fmt p a ===
790 TB.fromString (showFloat fmt p a "")
790 TB.fromString (showFloat fmt p a "")