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

Maintainermaurerl@cs.uoregon.edu
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Language.SequentCore.SpecConstr

Description

A simple reimplementation of the SpecConstr pass using Sequent Core.

Based on Call-pattern specialization for Haskell programs, Simon Peyton Jones, submitted to ICFP 2007.

Synopsis

Documentation

plugin :: Plugin Source

Plugin data. The initialization code replaces the built-in SpecConstr pass in the Core-to-Core pipeline.