Mark *Laws functions NOINLINE (#105)

haskellari / lattices

Fine-grained lattice primitives for Haskell

BSD 3-Clause "New" or "Revised" License

35 stars 15 forks source link

Mark *Laws functions NOINLINE (#105) #106

Closed sgraf812 closed 3 years ago

sgraf812 commented 3 years ago

GHC 8.10 takes 90s on my machine to compile with optimisations, with most of the time spent in the Simplifier. With the added NOINLINE pragmas, it "only" takes 8s, vs. 0.8s without optimisations.

I also added some files for development with nix. Feel free to drop that commit if you don't want it.

Fixes #105.

phadej commented 3 years ago

If you insist on adding nix files, can you add a comment saying something like

# this configurtion is contrib, if it doesn't work anymore, please fix it and submit a PR

phadej commented 3 years ago

Let me move this repository to GHA to make CI run.

phadej commented 3 years ago

Rebased and merged in https://github.com/haskellari/lattices/pull/108, thanks!