author: Julien Moutinho <julm+symantic@autogeree.net>
-- bug-reports: http://doc.autogeree.net/symantic/bugs
build-type: Simple
cabal-version: >= 1.10
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==7.10.3
version: 2.20161201

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
  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.Term
    Language.Symantic.Compiling.Bool
    Language.Symantic.Compiling.Eq
    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
               -main-is Test
  hs-source-dirs: Language/Symantic
  main-is: Test.hs
  other-modules:
    Typing.Test
    Compiling.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