search

wrengr / logfloat

Log-domain floating point numbers
BSD 3-Clause "New" or "Revised" License
8 stars 1 forks source link

Fix rewrite rules warnings #10

Open wrengr opened 3 years ago

wrengr commented 3 years ago

On GHC 9.0.1, Cabal 3.4.0.0, we get the following warnings during build:

src/Data/Number/Transfinite.hs:198:1: warning: [-Winline-rule-shadowing]
    Rule "log/exp" may never fire
      because rule "Class op exp" for ‘exp’ might fire first
    Probable fix: add phase [n] or [~n] to the competing rule
    |
198 | "log/exp"  forall x. log (exp x) = x
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^