search

polysemy-research / loopbreaker

[deprecated] inlining of self-recursive definitions
Other
10 stars 2 forks source link

WIP status of the project #5

Open symbiont-joseph-kachmar opened 5 years ago

symbiont-joseph-kachmar commented 5 years ago

Currently the project description is:

[WIP] inlining of self-recursive definitions ...but it looks like the package is up on Hackage and is being used by polysemy for GHC > 8.7.

Does it make sense to remove the WIP label?

TheMatten commented 5 years ago

I would rather keep WIP status for now - there's bug with compiler crashing on uses without type signatures and I'm planning to reimplement it, possibly as a core pass plugin, to hopefully fix this problem and to avoid depending on quirk in optimization - I would like to inline function bodies directly instead.

typetetris commented 4 years ago

@TheMatten : Maybe you could describe, what you wanted to do, so others could try it, if you are missing the time at the moment?

TheMatten commented 4 years ago

After some discussion with other maintainers we've ended up deciding to ditch loopbreaker altogether and instead think about best way of making use of https://github.com/ghc-proposals/ghc-proposals/pull/313, which should solve multiple existing problems at once.

typetetris commented 4 years ago

Care to mention that in the README.md ?

TheMatten commented 4 years ago

Ok, will do. (edit: https://github.com/polysemy-research/loopbreaker/commit/04e3b2ef918a0f7ee0de8f1748400f185328db4d)