lambdacomp.cabal

cabal-version:   3.8
name:            lambdacomp

-- The package version.
-- See the Haskell package versioning policy (PVP) for standards
-- guiding when and how versions should be incremented.
-- https://pvp.haskell.org
-- PVP summary:     +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:         0.1.0.0
build-type:      Simple
license:         BSD-3-Clause
license-files:   LICENSE

-- A copyright notice.
-- copyright:

author:          Junyoung/"Clare" Jang
maintainer:      jjc9310@gmail.com
synopsis:        A primitive compiler for λ-calculus + α using CBPV
description:
  See [README.md](https://github.com/Ailrun/lambdacomp/blob/master/README.md)

category:
  Language
  , Compiler

tested-with:     GHC ==9.12.2
data-files:      runtime.h
data-dir:        data

-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:

extra-doc-files:
  CHANGELOG.md
  examples/**/*.lc
  README.md

common extensions
  -- simulate GHC2024 and more
  -- (e.g. OverloadedStrings and RecordWildCards)
  default-extensions:
    DataKinds
    DerivingStrategies
    DisambiguateRecordFields
    ExplicitNamespaces
    GADTs
    LambdaCase
    MonoLocalBinds
    OrPatterns
    OverloadedStrings
    RecordWildCards
    RoleAnnotations

common warnings
  ghc-options:
    -Wall -Wredundant-constraints -Widentities
    -Wincomplete-uni-patterns -Wmissing-deriving-strategies
    -Wmissing-export-lists -Wmissing-local-signatures
    -Wmissing-poly-kind-signatures
    -Wmissing-exported-pattern-synonym-signatures
    -Wunticked-promoted-constructors -Wunused-type-patterns
    -Wredundant-bang-patterns -Wredundant-strictness-flags
    -Wunused-packages -Winvalid-haddock -Woperator-whitespace
    -Wterm-variable-capture -Wmissing-role-annotations

library
  import:
    , extensions
    , warnings

  -- Modules exported by the library.
  exposed-modules:
    Control.Monad.FreshName
    Control.Monad.FreshName.Class
    Data.TaggedTree
    LambdaComp.AM.Eval
    LambdaComp.AM.Syntax
    LambdaComp.Binder
    LambdaComp.Const
    LambdaComp.CBPV.ArityAnalysis
    LambdaComp.CBPV.Optimization.BetaReduction
    LambdaComp.CBPV.Optimization.BindingConversion
    LambdaComp.CBPV.Optimization.DeadBindingElimination
    LambdaComp.CBPV.Optimization.EtaReduction
    LambdaComp.CBPV.Optimization.IfConversion
    LambdaComp.CBPV.Optimization.InlineBinding
    LambdaComp.CBPV.Optimization.Local
    LambdaComp.CBPV.Optimization.PrintConversion
    LambdaComp.CBPV.PrettyPrinter
    LambdaComp.CBPV.Syntax
    LambdaComp.CBPV.ToAM
    LambdaComp.CBPV.ToC
    LambdaComp.CBPV.TypeCheck
    LambdaComp.Driver
    LambdaComp.Driver.Argument
    LambdaComp.Elaborated.CBV.ToCBPV
    LambdaComp.Elaborated.Optimization.ConstantPropagation
    LambdaComp.Elaborated.Optimization.Local
    LambdaComp.Elaborated.Syntax
    LambdaComp.Elaborated.TypeCheck
    LambdaComp.External.Parser
    LambdaComp.External.Syntax
    LambdaComp.External.ToElaborated
    LambdaComp.Ident
    LambdaComp.Optimizations
    LambdaComp.PrimOp

  -- Other library packages from which modules are imported.
  build-depends:
    , base                  ^>=4.21.0.0
    , containers            ^>=0.7
    , directory             ^>=1.3.9.0
    , filepath              ^>=1.5.4.0
    , megaparsec            ^>=9.7.0
    , mtl                   ^>=2.3.1
    , optparse-applicative  ^>=0.19.0.0
    , parser-combinators    ^>=1.3.0
    , pretty-simple         ^>=4.1.3.0
    , prettyprinter         ^>=1.7.1
    , process               ^>=1.6.25.0
    , temporary             ^>=1.3
    , text                  ^>=2.1.2
    , transformers          ^>=0.6.2.0
    , vector                ^>=0.13.2.0

  -- Modules included in this library but not exported.
  other-modules:    Paths_lambdacomp

  -- Directories containing source files.
  hs-source-dirs:   src

  -- Base language which the package is written in.
  default-language: GHC2021
  autogen-modules:  Paths_lambdacomp

executable lamc
  import:
    , extensions
    , warnings

  -- .hs or .lhs file containing the Main module.
  main-is:          Main.hs

  -- Other library packages from which modules are imported.
  build-depends:
    , base
    , lambdacomp

  -- Modules included in this executable, other than Main.
  -- other-modules:

  -- Directories containing source files.
  hs-source-dirs:   exe

  -- Base language which the package is written in.
  default-language: GHC2021

test-suite lambdacomp-test
  import:
    , extensions
    , warnings

  -- The interface type and version of the test suite.
  type:             exitcode-stdio-1.0

  -- The entrypoint to the test suite.
  main-is:          Main.hs

  -- Test dependencies.
  build-depends:
    , base
    , bytestring
    , containers
    , directory
    , filepath
    , lambdacomp
    , tasty
    , tasty-golden
    , temporary

  -- Modules included in this executable, other than Main.
  -- other-modules:    Paths_lambdacomp

  -- Directories containing source files.
  hs-source-dirs:   test

  -- Base language which the package is written in.
  default-language: GHC2021

source-repository head
  type:     git
  location: https://github.com/Ailrun/lambdacomp.git
  branch:   master