author: Julien Moutinho <julm+symantic@autogeree.net>
-- bug-reports: http://doc.autogeree.net/symantic/bugs
build-type: Simple
cabal-version: >= 1.24
category: Language
-- data-dir: data
-- data-files: 
description:
 Library for composing, typing, compiling, transforming and interpreting
 a custom DSL (Domain-Specific Language)
 expressing a subset of GHC's Haskell.
 .
 Your comments, problem reports, or questions are very welcome! :-)
 .
 NOTE: the symantic approach was developped for embedded DSL
 by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
 see: <http://okmij.org/ftp/tagless-final/ Tagless-Final>.
 .
 NOTE: alternative libraries to do more or less the same things
 include: <https://hackage.haskell.org/package/syntactic syntactic>.
extra-source-files:
extra-tmp-files:
-- homepage: http://pad.autogeree.net/informatique/symantic/
license: GPL-3
license-file: COPYING
maintainer: Julien Moutinho <julm+symantic@autogeree.net>
name: symantic
stability: experimental
synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
tested-with: GHC==8.0.1
version: 3.20161205

Source-Repository head
 location: git://git.autogeree.net/symantic
 type:     git

Flag dev
  Default:     False
  Description: Turn on development settings.
  Manual:      True

Flag dump
  Default:     False
  Description: Dump some intermediate files.
  Manual:      True

Flag prof
  Default:     False
  Description: Turn on profiling settings.
  Manual:      True

Flag threaded
  Default:     False
  Description: Enable threads.
  Manual:      True

Library
  default-extensions:
  ghc-options: -Wall -fno-warn-tabs -fprint-explicit-kinds
  if flag(dev)
    cpp-options: -DDEVELOPMENT
    ghc-options:
    -- -ddump-splices
    -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
    -- -fno-warn-type-defaults -fno-warn-orphans
  if flag(dump)
    ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  if flag(prof)
    cpp-options: -DPROFILING
    ghc-options: -fprof-auto
  default-language: Haskell2010
  exposed-modules:
    Language.Symantic
    Language.Symantic.Lib.Data.Type.List
    Language.Symantic.Lib.Data.Type.Peano
    Language.Symantic.Typing
    Language.Symantic.Typing.Kind
    Language.Symantic.Typing.Constant
    Language.Symantic.Typing.Type
    Language.Symantic.Typing.Constraint
    Language.Symantic.Typing.Syntax
    Language.Symantic.Compiling
    Language.Symantic.Compiling.Applicative
    Language.Symantic.Compiling.Bool
    Language.Symantic.Compiling.Char
    Language.Symantic.Compiling.Either
    Language.Symantic.Compiling.Eq
    Language.Symantic.Compiling.Foldable
    Language.Symantic.Compiling.Functor
    Language.Symantic.Compiling.If
    Language.Symantic.Compiling.Int
    Language.Symantic.Compiling.Integer
    Language.Symantic.Compiling.Integral
    Language.Symantic.Compiling.IO
    Language.Symantic.Compiling.List
    Language.Symantic.Compiling.Map
    Language.Symantic.Compiling.Maybe
    Language.Symantic.Compiling.Monad
    Language.Symantic.Compiling.Monoid
    Language.Symantic.Compiling.Num
    Language.Symantic.Compiling.Ord
    Language.Symantic.Compiling.Term
    Language.Symantic.Compiling.Text
    Language.Symantic.Compiling.Traversable
    Language.Symantic.Compiling.Tuple2
    Language.Symantic.Interpreting
    Language.Symantic.Interpreting.Host
    Language.Symantic.Interpreting.Text
    Language.Symantic.Interpreting.Dup
    Language.Symantic.Transforming
    Language.Symantic.Transforming.Trans
  build-depends:
    base >= 4.6 && < 5
    , containers
    , ghc-prim
    -- , mono-traversable
    , transformers
    , text

Test-Suite symantic-test
  type: exitcode-stdio-1.0
  default-extensions:
    OverloadedStrings
  default-language: Haskell2010
  ghc-options: -Wall -fno-warn-tabs -fprint-explicit-kinds
               -main-is Test
  hs-source-dirs: Language/Symantic
  main-is: Test.hs
  other-modules:
    Typing.Test
    Compiling.Test
    Compiling.Bool.Test
    Compiling.Functor.Test
    Compiling.Applicative.Test
  if flag(threaded)
    ghc-options: -threaded -rtsopts -with-rtsopts=-N
  if flag(dev)
    cpp-options: -DDEVELOPMENT
    ghc-options:
  if flag(prof)
    cpp-options: -DPROFILING
    ghc-options: -fprof-auto
  build-depends:
    base >= 4.6 && < 5
    , containers
    -- , mono-traversable
    , transformers
    , tasty >= 0.11
    , tasty-hunit
    , text
    , symantic