fast-math

fast-math copied to clipboard

Fragile rewrite rules

4

GHC panics on the following program: ``` module Test where import Numeric.FastMath import GHC.Exts times4 :: Double -> Double times4 (D# x) = D# ((x *## x) *## (x *##...

thomie

At https://github.com/liyang/fast-math/blob/86573174151c4c683f2d1fb29dbfcb135ac9a2d6/Numeric/FastMath/Approximation.hs#L125 it says ``` -- NOTE: It is important that these rules should fire after the distributivity -- rules. This ensures that -- -- > x*x+x*y -- -- gets...

asmeurer