name: sequent-core version: 0.2.0.1 stability: experimental category: Development license: BSD3 license-file: LICENSE author: Luke Maurer, Paul Downen, Iavor S. Diatchki maintainer: maurerl@cs.uoregon.edu build-type: Simple cabal-version: >=1.10 synopsis: Alternative Core language for GHC plugins description: 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 using the Sequent Core language in place of the built-in Core language * Example plugins written using Sequent Core homepage: https://github.com/lukemaurer/sequent-core bug-reports: https://github.com/lukemaurer/sequent-core package-url: https://github.com/lukemaurer/sequent-core/archive/master.zip library hs-source-dirs: src exposed-modules: Language.SequentCore Language.SequentCore.Dump Language.SequentCore.Plugin Language.SequentCore.Pretty Language.SequentCore.Simpl Language.SequentCore.SpecConstr Language.SequentCore.Syntax Language.SequentCore.Translate other-modules: Language.SequentCore.Simpl.Env Language.SequentCore.Simpl.Monad Language.SequentCore.Util build-depends: base >= 4 && < 5, ghc>=7.6, containers, transformers default-language: Haskell2010 ghc-options: -Wall -fno-warn-name-shadowing executable DumpExpl hs-source-dirs: examples Main-is: Example.hs build-depends: base >= 4 && < 5, sequent-core default-language: Haskell2010 ghc-options: -fplugin=Language.SequentCore.Dump executable SpecConstrExpl hs-source-dirs: examples Main-is: SpecConstrExpl.hs build-depends: base >= 4 && < 5, sequent-core, containers default-language: Haskell2010 ghc-options: -fplugin=Language.SequentCore.SpecConstr -fspec-constr executable SimplExpl hs-source-dirs: examples Main-is: Compl.hs build-depends: base >= 4 && < 5, sequent-core default-language: Haskell2010 ghc-options: -fplugin=Language.SequentCore.Simpl source-repository head type: git location: git://github.com/lukemaurer/sequent-core.git