search

compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
431 stars 49 forks source link

support GHC 9 #98

Closed sellout closed 10 months ago

sellout commented 2 years ago

I started implementing this, and was progressing nicely with fairly minor changes (the GHC API module names have changed, a few functions now take an extra arg, ...), but I ran into an issue that might be more significant.

In https://gitlab.haskell.org/ghc/ghc/-/commit/0de03cd78729dc58a846c64b645e71057ec5d24e, RuleFun was changed from taking DynFlags to a more restricted RuleOpts, so ConCat.Satisfy.Plugin.satisfy no longer has access to the full DynFlags structure.

I think the only place that concat seriously uses the DynFlags is in ConCat.Simplify, but I'm not sure how to work around the lack of it there.

mikesperber commented 10 months ago

This was all done in February 2023.