symantic.cabal

   1 author: Julien Moutinho <julm+symantic@autogeree.net>
   2 -- bug-reports: http://doc.autogeree.net/symantic/bugs
   3 build-type: Simple
   4 cabal-version: >= 1.10
   5 category: Language
   6 -- data-dir: data
   7 -- data-files:
   8 description:
   9  Library for composing, typing, compiling and interpreting
  10  a custom DSL (Domain-Specific Language)
  11  expressing a subset of GHC's Haskell.
  12  .
  13  Your comments, problem reports, or questions are very welcome! :-)
  14  .
  15  NOTE: the symantic approach was developped for embedded DSL
  16  by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
  17  see: <http://okmij.org/ftp/tagless-final/ Tagless-Final>.
  18  .
  19  NOTE: alternative libraries to do more or less the same things
  20  include: <https://hackage.haskell.org/package/syntactic syntactic>.
  21 extra-source-files:
  22 extra-tmp-files:
  23 -- homepage: http://pad.autogeree.net/informatique/symantic/
  24 license: GPL-3
  25 license-file: COPYING
  26 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
  27 name: symantic
  28 stability: experimental
  29 synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
  30 tested-with: GHC==7.10.3
  31 version: 2.20161124
  32
  33 Source-Repository head
  34  location: git://git.autogeree.net/symantic
  35  type:     git
  36
  37 Flag dev
  38   Default:     False
  39   Description: Turn on development settings.
  40   Manual:      True
  41
  42 Flag dump
  43   Default:     False
  44   Description: Dump some intermediate files.
  45   Manual:      True
  46
  47 Flag prof
  48   Default:     False
  49   Description: Turn on profiling settings.
  50   Manual:      True
  51
  52 Flag threaded
  53   Default:     False
  54   Description: Enable threads.
  55   Manual:      True
  56
  57 Library
  58   default-extensions:
  59   ghc-options: -Wall -fno-warn-tabs
  60   if flag(dev)
  61     cpp-options: -DDEVELOPMENT
  62     ghc-options:
  63     -- -ddump-splices
  64     -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
  65     -- -fno-warn-type-defaults -fno-warn-orphans
  66   if flag(dump)
  67     ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  68   if flag(prof)
  69     cpp-options: -DPROFILING
  70     ghc-options: -fprof-auto
  71   default-language: Haskell2010
  72   exposed-modules:
  73     Language.Symantic
  74     Language.Symantic.Lib.Data.Peano
  75     Language.Symantic.Typing
  76     Language.Symantic.Typing.Kind
  77     Language.Symantic.Typing.Constant
  78     Language.Symantic.Typing.Type
  79     Language.Symantic.Typing.Constraint
  80     Language.Symantic.Typing.Syntax
  81   build-depends:
  82     base >= 4.6 && < 5
  83     , containers
  84     , ghc-prim
  85     -- , mono-traversable
  86     , transformers
  87     , text
  88
  89 Test-Suite symantic-test
  90   type: exitcode-stdio-1.0
  91   default-extensions:
  92     OverloadedStrings
  93   default-language: Haskell2010
  94   ghc-options: -Wall -fno-warn-tabs
  95                -main-is Test
  96   hs-source-dirs: Language/Symantic
  97   main-is: Test.hs
  98   other-modules:
  99     Typing.Test
 100   if flag(threaded)
 101     ghc-options: -threaded -rtsopts -with-rtsopts=-N
 102   if flag(dev)
 103     cpp-options: -DDEVELOPMENT
 104     ghc-options:
 105   if flag(prof)
 106     cpp-options: -DPROFILING
 107     ghc-options: -fprof-auto
 108   build-depends:
 109     base >= 4.6 && < 5
 110     , containers
 111     -- , mono-traversable
 112     , transformers
 113     , tasty >= 0.11
 114     , tasty-hunit
 115     , text
 116     , symantic