name:                sequent-core
version:             0.1.0.0
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 that uses the Sequent Core
                         language in place of the built-in Core language
                     *   An example plugin 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.Syntax
  build-depends:       base >= 4 && < 5, ghc>=7.6
  default-language:    Haskell2010
  ghc-options:         -Wall

executable Example
  hs-source-dirs:      examples
  Main-is:             Example.hs
  build-depends:       base >= 4 && < 5, sequent-core
  default-language:    Haskell2010
  ghc-options:         -Wall -fplugin=Language.SequentCore.Dump

source-repository head
  type:                git
  location:            git://github.com/lukemaurer/sequent-core.git