
#14377: some results not expected with the addition -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by vanto): It has nothing to do with what you say otherwise why other languages give correct results and not GHC? Maybe there is something in common between OCaml and GHC. And that produces this error. We need to find.\\ This problem, you says, began to manifest itself from the 1950s, and we still talk about it. In the past we managed to get results as we wanted.\\ So two things: - the way followed by GHC (in computation) is not the right one.\\ or\\ - there is a breakdown somewhere. and as you can see, the other systems stand out from GHC. if it is the fault of the base on which GHC is built then it is necessary to change the base.\\ look again at this result, do you think it is reasonable? while the other languages write a good result that is consistent with our expectations? These results are repetitive, so why always the same poorly written results?\\ {{{ Prelude> 16.0/0.2 80.0 Prelude> 16.0/0.02 800.0 Prelude> 16.0/0.002 8000.0 Prelude> 16.0/0.0002 80000.0 Prelude> 16.0/0.00002 799999.9999999999 Prelude> 16.0/0.000002 8000000.0 Prelude> 16.0/0.0000002 8.0e7 Prelude> 16.0/0.00000002 8.0e8 Prelude> 16.0/0.000000002 7.999999999999999e9 Prelude> 16.0/0.0000000002 8.0e10 Prelude> 16.0/0.00000000002 8.0e11 Prelude> 16.0/0.000000000002 8.0e12 Prelude> 16.0/0.0000000000002 8.0e13 Prelude> 16.0/0.00000000000002 8.0e14 Prelude> 16.0/0.000000000000002 7.999999999999999e15 Prelude> 16.0/0.0000000000000002 8.0e16 Prelude> 16.0/0.00000000000000002 8.0e17 Prelude> 16.0/0.000000000000000002 7.999999999999999e18 Prelude> 16.0/0.0000000000000000002 8.0e19 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14377#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler