typos.cabal

cabal-version:       2.2

name:                typos
version:             0.1.0.0
author:              Conor McBride,
                     Fredrik Nordvall Forsberg,
                     Guillaume Allais,
                     Georgi Nakov,
                     Craig Roy

build-type:          Simple
extra-source-files:  README.md

common haskell
  default-extensions:  DataKinds,
                       DeriveTraversable,
                       FlexibleContexts,
                       FlexibleInstances,
                       GeneralizedNewtypeDeriving,
                       LambdaCase,
                       MultiParamTypeClasses,
                       NamedFieldPuns,
                       RankNTypes,
                       RecordWildCards,
                       ScopedTypeVariables,
                       StandaloneDeriving,
                       TupleSections,
                       TypeFamilies,
                       TypeSynonymInstances

library
  import:              haskell
  exposed-modules:     Actor,
                       Actor.Display,
                       Alarm,
                       ANSI,
                       Bwd,
                       Command,
                       Concrete.Base,
                       Concrete.Parse,
                       Concrete.Pretty,
                       Display,
                       Doc.Annotations,
                       Elaboration,
                       Elaboration.Monad,
                       Elaboration.Pretty,
                       Forget,
                       Format,
                       Hide,
                       Info,
                       LaTeX,
                       Location,
                       Machine,
                       Machine.Base,
                       Machine.Display,
                       Machine.Exec,
                       Machine.Matching,
                       Machine.Steps,
                       Machine.Trace,
                       Main,
                       Operator,
                       Operator.Eval,
                       Options,
                       Parse,
                       Pattern,
                       Pattern.Coverage,
                       Pretty,
                       Scope,
                       Semantics,
                       Syntax,
                       Syntax.Debug,
                       Term,
                       Term.Base,
                       Term.Display,
                       Term.Mangler,
                       Term.Substitution,
                       Thin,
                       Unelaboration.Monad,
                       Unelaboration,
                       Utils,
                       Vector

  build-depends:       base <5
                     , containers
                     , filepath
                     , mtl
                     , optparse-applicative
                     , pretty-compact
                     , terminal-size
                     , these
  hs-source-dirs:      Src
  default-language:    Haskell2010
  ghc-options:         -Wunused-imports
--                       -fwarn-incomplete-patterns

executable typos
  import:              haskell
  main-is:             Src/Main.hs
  build-depends:       base <5
                     , mtl
                     , filepath
                     , containers
                     , optparse-applicative
                     , pretty-compact
                     , terminal-size
                     , typos
  default-language:    Haskell2010

test-suite typos-tests
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test/
  main-is:             Test/Main.hs
  build-depends:       base <5
                     , directory
                     , filepath
                     , tasty
                     , tasty-silver
  build-tool-depends:  typos:typos
  default-extensions:  RecordWildCards, OverloadedStrings
  default-language:    Haskell2010
  ghc-options:         -Wunused-imports