Language.SequentCore.Simpl

A proof of concept to demonstrate that the Sequent Core syntax can be used for basic optimization in the style of GHC's simplifier. In some ways, it is easier to use Sequent Core for these, as the continuations are expressed directly in the program syntax rather than needing to be built up on the fly.

Documentation

plugin :: Plugin

Plugin data. The initializer replaces all instances of the original simplifier with the new one.