symantic.cabal

   1 cabal-version:      3.0
   2 name:               symantic
   3 maintainer:         mailto:symantic@sourcephile.fr
   4 bug-reports:        https://mails.sourcephile.fr/inbox/symantic
   5 homepage:           https://git.sourcephile.fr/symantic.git
   6 author:             Julien Moutinho <julm+symantic@sourcephile.fr>
   7 copyright:          Julien Moutinho <julm+symantic@sourcephile.fr>
   8 license:            AGPL-3.0-or-later
   9 license-file:       LICENSES/AGPL-3.0-or-later.txt
  10
  11 --             PVP: +-+------- breaking API changes
  12 --                  | | +----- non-breaking API additions
  13 --                  | | | +--- code changes with no API change
  14 version:            0.0.0.20230723
  15 stability:          experimental
  16 category:           Language
  17 synopsis:           Haskell-website compiler
  18 description:
  19 build-type:         Simple
  20 tested-with:        GHC ==9.2.4
  21 extra-doc-files:    ChangeLog.md
  22 extra-source-files:
  23   .envrc
  24   flake.lock
  25   flake.nix
  26
  27 extra-tmp-files:
  28
  29 source-repository head
  30   type:     git
  31   location: git://git.sourcephile.fr/haskell/symantic.git
  32
  33 common boilerplate
  34   default-language:   Haskell2010
  35   default-extensions:
  36     NoImplicitPrelude
  37     BlockArguments
  38     DataKinds
  39     DefaultSignatures
  40     DeriveDataTypeable
  41     DeriveGeneric
  42     DerivingVia
  43     FlexibleContexts
  44     FlexibleInstances
  45     GADTs
  46     ImportQualifiedPost
  47     LambdaCase
  48     MultiParamTypeClasses
  49     NamedFieldPuns
  50     NumericUnderscores
  51     OverloadedStrings
  52     RecordWildCards
  53     ScopedTypeVariables
  54     TupleSections
  55     TypeApplications
  56     TypeFamilies
  57     TypeOperators
  58
  59   ghc-options:
  60     -Wall -Wincomplete-record-updates -Wincomplete-uni-patterns
  61     -Wmonomorphism-restriction -Wpartial-fields
  62     -fprint-potential-instances
  63
  64 -- -fprint-explicit-kinds
  65
  66 -- -dshow-passes
  67 -- -ddump-to-file
  68 -- -ddump-simpl
  69 -- -dsuppress-coercions
  70 -- -dsuppress-module-prefixes
  71 -- -dsuppress-type-applications
  72 -- -O0
  73 -- -fmax-simplifier-iterations=0
  74
  75 common library-deps
  76   build-depends:
  77     , base           >=4.6 && <5
  78     , containers     >=0.5
  79     , ghc-prim
  80     , monad-classes
  81     , symantic-base  >=0.5
  82     , text
  83     , transformers
  84     , vector
  85
  86 library
  87   import:          boilerplate, library-deps
  88   hs-source-dirs:  src
  89   exposed-modules:
  90     Symantic.Compiler
  91     Symantic.Compiler.Term
  92     Symantic.Parser
  93     Symantic.Parser.Error
  94     Symantic.Parser.Source
  95     Symantic.Printer
  96     Symantic.Syntaxes
  97     Symantic.Typer
  98     Symantic.Typer.Eq
  99     Symantic.Typer.List
 100     Symantic.Typer.Type
 101     Symantic.Typer.Unify