cabal-version:      3.0
name:               symantic
maintainer:         mailto:symantic@sourcephile.fr
bug-reports:        https://mails.sourcephile.fr/inbox/symantic
homepage:           https://git.sourcephile.fr/symantic.git
author:             Julien Moutinho <julm+symantic@sourcephile.fr>
copyright:          Julien Moutinho <julm+symantic@sourcephile.fr>
license:            AGPL-3.0-or-later
license-file:       LICENSES/AGPL-3.0-or-later.txt

--             PVP: +-+------- breaking API changes
--                  | | +----- non-breaking API additions
--                  | | | +--- code changes with no API change
version:            0.0.0.20230723
stability:          experimental
category:           Language
synopsis:           Haskell-website compiler
description:
build-type:         Simple
tested-with:        GHC ==9.2.4
extra-doc-files:    ChangeLog.md
extra-source-files:
  .envrc
  flake.lock
  flake.nix

extra-tmp-files:

source-repository head
  type:     git
  location: git://git.sourcephile.fr/haskell/symantic.git

common boilerplate
  default-language:   Haskell2010
  default-extensions:
    NoImplicitPrelude
    BlockArguments
    DataKinds
    DefaultSignatures
    DeriveDataTypeable
    DeriveGeneric
    DerivingVia
    FlexibleContexts
    FlexibleInstances
    GADTs
    ImportQualifiedPost
    LambdaCase
    MultiParamTypeClasses
    NamedFieldPuns
    NumericUnderscores
    OverloadedStrings
    RecordWildCards
    ScopedTypeVariables
    TupleSections
    TypeApplications
    TypeFamilies
    TypeOperators

  ghc-options:
    -Wall -Wincomplete-record-updates -Wincomplete-uni-patterns
    -Wmonomorphism-restriction -Wpartial-fields
    -fprint-potential-instances -fprint-explicit-kinds

-- -dshow-passes
-- -ddump-to-file
-- -ddump-simpl
-- -dsuppress-coercions
-- -dsuppress-module-prefixes
-- -dsuppress-type-applications
-- -O0
-- -fmax-simplifier-iterations=0

common library-deps
  build-depends:
    , base           >=4.6 && <5
    , containers     >=0.5
    , ghc-prim
    , monad-classes
    , symantic-base  >=0.5
    , text
    , transformers
    , vector

library
  import:          boilerplate, library-deps
  hs-source-dirs:  src
  exposed-modules:
    Symantic
    Symantic.Compiler
    Symantic.Compiler.Term
    Symantic.Parser
    Symantic.Parser.Error
    Symantic.Parser.Source
    Symantic.Printer
    Symantic.Syntaxes
    Symantic.Typer
    Symantic.Typer.Eq
    Symantic.Typer.List
    Symantic.Typer.Type
    Symantic.Typer.Unify