@hackage sequent-core0.1.0.0

Alternative Core language for GHC plugins

Categories
- Development
License
BSD-3-Clause
Maintainer
maurerl@cs.uoregon.edu
Links
Versions
- 0.5.0.1 Fri, 3 Jul 2015
- 0.5 Mon, 29 Jun 2015
- 0.4 Mon, 29 Jun 2015
- 0.3 Mon, 29 Jun 2015
- 0.2.0.1 Mon, 29 Jun 2015
- 0.2.0.0 Mon, 29 Jun 2015

Installation
In your cabal file:
Dependencies (2)
- base >=4 && <5
- ghc >=7.6
Dependents (1)
@hackage/acme-everything

Sequent Core is a GHC plugin library based on a sequent calculus. It includes:

A set of datatypes for a language expressing function code as interactions between values and their contexts (continuations)
A library for writing GHC optimizer plugins that uses the Sequent Core language in place of the built-in Core language
An example plugin written using Sequent Core