search

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Other
16 stars 9 forks source link

Reduce `*Log b (n * b^f)` to `*Log b n + f` #43

Open rowanG077 opened 2 years ago

rowanG077 commented 2 years ago

Fixes https://github.com/clash-lang/ghc-typelits-extra/issues/42

I added the same reduction for FLog and CLog. Code is not super pretty since there are quite a bit of conversions between different type representations.

rowanG077 commented 2 years ago

I fixed the requested change and also bumped the version to 0.4.4 in the cabal file.