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 -fprint-explicit-kinds
  63
  64 -- -dshow-passes
  65 -- -ddump-to-file
  66 -- -ddump-simpl
  67 -- -dsuppress-coercions
  68 -- -dsuppress-module-prefixes
  69 -- -dsuppress-type-applications
  70 -- -O0
  71 -- -fmax-simplifier-iterations=0
  72
  73 common library-deps
  74   build-depends:
  75     , base           >=4.6 && <5
  76     , containers     >=0.5
  77     , ghc-prim
  78     , monad-classes
  79     , symantic-base  >=0.5
  80     , text
  81     , transformers
  82     , vector
  83
  84 library
  85   import:          boilerplate, library-deps
  86   hs-source-dirs:  src
  87   exposed-modules:
  88     Symantic
  89     Symantic.Compiler
  90     Symantic.Compiler.Term
  91     Symantic.Parser
  92     Symantic.Parser.Error
  93     Symantic.Parser.Source
  94     Symantic.Printer
  95     Symantic.Syntaxes
  96     Symantic.Typer
  97     Symantic.Typer.Eq
  98     Symantic.Typer.List
  99     Symantic.Typer.Type
 100     Symantic.Typer.Unify