composewell/streamly
1
1
Fork 0
mirror of https://github.com/composewell/streamly.git synced 2024-08-16 23:10:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update the Scientific tests in Unicode.Parser

Browse Source
This commit is contained in:
Adithya Kumar 2023-09-11 22:10:49 +05:30
parent c2d7a1fbf1
commit cc0ceac7d0
1 changed files with 6 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test/Streamly/Test/Unicode/Parser.hs
View File

@ -25,36 +25,26 @@ scientificExpFP :: Property
scientificExpFP =
forAll (chooseDouble (-99.99e-12, 1234.4567e+234)) $ \ls ->
case runIdentity $ Stream.parse parser (Stream.fromList (show ls)) of
Right val -> if val == show ls
then property (val == show ls)
else trace
("Expected = " ++ show ls ++ " Got = " ++ val)
property (val == show ls)
Left _ -> property False
Right val -> val `H.shouldBe` read (show ls)
Left _ -> error "Parsing failed."
where
formatter = Scientific.formatScientific Scientific.Exponent Nothing
toScientific (c, m) = Scientific.scientific c m
parser = formatter . toScientific <$> Parser.number
parser = toScientific <$> Parser.number
-- Standard decimal notation.
scientificFixFP :: Property
scientificFixFP =
forAll (chooseDouble (-0.00099, 123445.67998)) $ \ls ->
case runIdentity $ Stream.parse parser (Stream.fromList (show ls)) of
Right val -> if val == show ls
then property (val == show ls)
else trace
("Expected = " ++ show ls ++ " Got = " ++ val)
property (val == show ls)
Left _ -> property False
Right val -> val `H.shouldBe` read (show ls)
Left _ -> error "Parsing failed."
where
formatter = Scientific.formatScientific Scientific.Fixed Nothing
toScientific (c, m) = Scientific.scientific c m
parser = formatter . toScientific <$> Parser.number
parser = toScientific <$> Parser.number
doubleExpFP :: Property
doubleExpFP =