canonical-lf.cabal

name:            canonical-lf
version:         0.1
synopsis:        Implementation of canonical LF
license:         BSD3
license-file:    LICENSE
author:          Rob Dockins
maintainer:      robdockins AT fastmail DOT fm
copyright:       2015
build-type:      Simple
cabal-version:   >= 1.18

library
  hs-source-dirs: src
  exposed-modules:
    Lang.LF
    Lang.LF.ChangeT
    Lang.LF.DAG
    Lang.LF.Tree
  other-modules:
    Lang.LF.Internal.Basics
    Lang.LF.Internal.Build
    Lang.LF.Internal.Hyps
    Lang.LF.Internal.Model
    Lang.LF.Internal.Print
    Lang.LF.Internal.Solve
    Lang.LF.Internal.Subst
    Lang.LF.Internal.Typecheck
    Lang.LF.Internal.View
    Lang.LF.Internal.Weak

  build-depends:
    base >= 4.8 && < 5,
    ansi-wl-pprint,
    bound >= 1.0.6,
    containers,
    hashable,
    mtl,
    text,
    transformers
  default-language:
    Haskell2010
  default-extensions:
    BangPatterns
    ConstraintKinds
    DataKinds
    GADTs
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    ImplicitParams
    LambdaCase
    MultiParamTypeClasses
    PatternGuards
    PolyKinds
    RankNTypes
    ScopedTypeVariables
    StandaloneDeriving
    TypeFamilies
    TypeOperators
    ViewPatterns
  ghc-options: -Werror -W

executable toyml
  hs-source-dirs: toyml
  main-is: Main.hs
  other-modules:
    CPS,
    Lexer,
    Grammar,
    Scope,
    Simplify,
    Terms,
    ToyTC
  Build-tools:
    happy, alex >= 3.0.5
  build-depends:
    array,
    base >= 4.8 && < 5,
    ansi-wl-pprint,
    bound >= 1.0.6,
    canonical-lf,
    containers,
    mtl,
    text,
    transformers
  default-language:
    Haskell2010
  default-extensions:
    BangPatterns
    ConstraintKinds
    DataKinds
    GADTs
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    ImplicitParams
    LambdaCase
    MultiParamTypeClasses
    OverloadedStrings
    PatternGuards
    PolyKinds
    RankNTypes
    ScopedTypeVariables
    StandaloneDeriving
    TypeFamilies
    TypeOperators
    ViewPatterns
  ghc-options: -Werror -W

executable testlf
  hs-source-dirs: .
  --main-is: Main.hs
  main-is: Extrinsic.hs
  build-depends:
    base >= 4.8 && < 5,
    ansi-wl-pprint,
    bound >= 1.0.6,
    canonical-lf,
    containers,
    mtl,
    text,
    transformers
  default-language:
    Haskell2010
  default-extensions:
    BangPatterns
    ConstraintKinds
    DataKinds
    GADTs
    FlexibleContexts
    FlexibleInstances
    FunctionalDependencies
    ImplicitParams
    LambdaCase
    MultiParamTypeClasses
    PatternGuards
    PolyKinds
    RankNTypes
    ScopedTypeVariables
    StandaloneDeriving
    TypeFamilies
    TypeOperators
    ViewPatterns
  ghc-options: -Werror -W