name: sequent-core version: 0.5 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 flag examples description: Build example executables. default: False manual: True library hs-source-dirs: src exposed-modules: Language.SequentCore Language.SequentCore.Dump Language.SequentCore.Inspect Language.SequentCore.Lint Language.SequentCore.Plugin Language.SequentCore.Pretty Language.SequentCore.Simpl Language.SequentCore.SpecConstr Language.SequentCore.Subst Language.SequentCore.Syntax Language.SequentCore.Translate other-modules: Language.SequentCore.Simpl.Env Language.SequentCore.Simpl.ExprSize Language.SequentCore.Simpl.Monad Language.SequentCore.Util Language.SequentCore.WiredIn build-depends: base >= 4 && < 5, ghc>=7.6, containers, transformers, bytestring 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 if !flag(examples) buildable: False 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 if !flag(examples) buildable: False executable SimplExpl hs-source-dirs: examples Main-is: Compl.hs build-depends: base >= 4 && < 5, sequent-core, bytestring default-language: Haskell2010 ghc-options: -fplugin=Language.SequentCore.Simpl if !flag(examples) buildable: False executable CasesExpl hs-source-dirs: examples Main-is: Cases.hs build-depends: base >= 4 && < 5, sequent-core default-language: Haskell2010 ghc-options: -fplugin=Language.SequentCore.Simpl if !flag(examples) buildable: False executable SizesExpl hs-source-dirs: examples Main-is: Sizes.hs build-depends: base >= 4 && < 5, sequent-core default-language: Haskell2010 ghc-options: -fplugin=Language.SequentCore.Inspect -fplugin-opt=Language.SequentCore.Inspect:size if !flag(examples) buildable: False source-repository head type: git location: git://github.com/lukemaurer/sequent-core.git