sequent-core.cabal

name:                sequent-core
version:             0.5.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

flag examples
  description:       Build example executables.
  default:           False
  manual:            True

library
  hs-source-dirs:      src
  exposed-modules:     Language.SequentCore
                       Language.SequentCore.Annot
                       Language.SequentCore.Arity
                       Language.SequentCore.Contify
                       Language.SequentCore.Dump
                       Language.SequentCore.FloatOut
                       Language.SequentCore.FVs
                       Language.SequentCore.Inspect
                       Language.SequentCore.LiftLambdas
                       Language.SequentCore.Lint
                       Language.SequentCore.OccurAnal
                       Language.SequentCore.Plugin
                       Language.SequentCore.PrePrep
                       Language.SequentCore.Pretty
                       Language.SequentCore.Simpl
                       Language.SequentCore.SpecConstr
                       Language.SequentCore.Syntax
                       Language.SequentCore.Syntax.Util
                       Language.SequentCore.Translate
                       SequentCore
  other-modules:       Language.SequentCore.Simpl.Env
                       Language.SequentCore.Driver
                       Language.SequentCore.Driver.Flags
                       Language.SequentCore.FloatOut.SetLevels
                       Language.SequentCore.FloatOut.Summary
                       Language.SequentCore.Simpl.ExprSize
                       Language.SequentCore.Simpl.Monad
                       Language.SequentCore.Simpl.Util
                       Language.SequentCore.Util
                       Language.SequentCore.WiredIn
  build-depends:       base >= 4 && < 5, ghc >= 7.8 && < 7.10, 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=SequentCore
                       -fplugin-opt=SequentCore:-fseq-spec-constr
                       -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=SequentCore
                       -fplugin-opt=SequentCore:-fseq-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=SequentCore
                       -fplugin-opt=SequentCore:-fseq-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

executable ContExpl
  hs-source-dirs:      examples
  Main-is:             Contification.hs
  build-depends:       base >= 4 && < 5, sequent-core
  default-language:    Haskell2010
  ghc-options:         -O0 -fplugin=Language.SequentCore.Dump
                       -fplugin-opt=Language.SequentCore.Dump:-ddump-cfy-stats
  if !flag(examples)
    buildable:         False

executable FullContExpl
  hs-source-dirs:      examples
  Main-is:             FullContification.hs
  build-depends:       base >= 4 && < 5, sequent-core
  default-language:    Haskell2010
  ghc-options:         -O0
                       -fplugin=SequentCore
                       -fplugin-opt=SequentCore:-fseq-contification
                       -fplugin-opt=SequentCore:-ddump-cfy-stats
                       -fplugin=Language.SequentCore.Dump
                       -fplugin-opt=Language.SequentCore.Dump:end
  if !flag(examples)
    buildable:         False

executable StrictnessExpl
  hs-source-dirs:      examples
  Main-is:             Strictness.hs
  build-depends:       base >= 4 && < 5, sequent-core
  default-language:    Haskell2010
  ghc-options:         -O -fplugin=SequentCore
                       -fplugin-opt=SequentCore:-fseq-simpl
                       -fplugin=Language.SequentCore.Dump
                       -fplugin-opt=Language.SequentCore.Dump:end
  if !flag(examples)
    buildable:         False

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