sequent-core-0.5.0.1: Alternative Core language for GHC plugins

Maintainermaurerl@cs.uoregon.edu
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Language.SequentCore.Simpl

Description

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.

Synopsis

Documentation

plugin :: Plugin Source

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