TFHOE.cabal

   1 author: Julien Moutinho <julm+tfhoe@autogeree.net>
   2 -- bug-reports: http://doc.autogeree.net/tfhoe/bugs
   3 build-type: Simple
   4 cabal-version: >= 1.10
   5 category: Language
   6 -- data-dir: data
   7 -- data-files:
   8 description:
   9  Demonstration gathering important ideas from
  10  <http://okmij.org/ftp/tagless-final/>
  11  and trying to push them further
  12  to get a nice approach to EDSL
  13  (Embedded Domain-Specific Language).
  14  .
  15  Main improvements are related to:
  16  * Reading symantics expressions
  17    from a raw AST (Abstract Syntax Tree);
  18    including lambda abstractions.
  19  * Keeping this reading extensible
  20    to new symantics expressions;
  21    reusing previous readers without changing them.
  22  * Using those read symantics expressions
  23    with multiple interpreters.
  24  .
  25  Your comments, problem reports, questions are very welcome!
  26 extra-source-files:
  27 extra-tmp-files:
  28 -- homepage: http://pad.autogeree.net/informatique/tfhoe/
  29 license: GPL-3
  30 license-file: COPYING
  31 maintainer: Julien Moutinho <julm+tfhoe@autogeree.net>
  32 name: tfhoe
  33 stability: experimental
  34 synopsis: Tutorial and experiments regarding Tagless-Final Higher-Order Extensible EDSL
  35 tested-with: GHC==7.10.3
  36 version: 1.20160916
  37
  38 -- Source-Repository head
  39 --  location: git://git.autogeree.net/tfhoe
  40 --  type:     git
  41
  42 Flag dev
  43   Default:     False
  44   Description: Turn on development settings.
  45   Manual:      True
  46
  47 Flag dump
  48   Default:     False
  49   Description: Dump some intermediate files.
  50   Manual:      True
  51
  52 Flag prof
  53   Default:     False
  54   Description: Turn on profiling settings.
  55   Manual:      True
  56
  57 Flag threaded
  58   Default:     False
  59   Description: Enable threads.
  60   Manual:      True
  61
  62 Library
  63   default-extensions:
  64   ghc-options: -Wall -fno-warn-tabs
  65   if flag(dev)
  66     cpp-options: -DDEVELOPMENT
  67     ghc-options:
  68     -- -ddump-splices
  69     -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
  70     -- -fno-warn-type-defaults -fno-warn-orphans
  71   if flag(dump)
  72     ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  73   if flag(prof)
  74     cpp-options: -DPROFILING
  75     ghc-options: -fprof-auto
  76   default-language: Haskell2010
  77   exposed-modules:
  78     TFHOE.Lib.Control.Monad
  79     TFHOE.Expr
  80     TFHOE.Expr.Bool
  81     TFHOE.Expr.Common
  82     TFHOE.Expr.Fun
  83     TFHOE.Expr.Int
  84     TFHOE.Raw
  85     TFHOE.Repr
  86     TFHOE.Repr.Dup
  87     TFHOE.Repr.Host
  88     TFHOE.Repr.String
  89     TFHOE.Type
  90     TFHOE.Type.Bool
  91     TFHOE.Type.Common
  92     TFHOE.Type.Fun
  93     TFHOE.Type.Int
  94   build-depends:
  95     base >= 4.6 && < 5
  96     , ghc-prim
  97     , monad-classes >= 0.3.1.1
  98     , transformers
  99
 100 Test-Suite tfhoe-test
 101   type: exitcode-stdio-1.0
 102   default-extensions:
 103   default-language: Haskell2010
 104   ghc-options: -Wall -fno-warn-tabs
 105                -main-is Test
 106   hs-source-dirs: TFHOE
 107   main-is: Test.hs
 108   other-modules:
 109     Expr.Bool.Test
 110     Expr.Fun.Test
 111     Expr.Test
 112     Raw.Test
 113     Repr.Host.Test
 114     Repr.String.Test
 115     Repr.Test
 116     Type.Test
 117   if flag(threaded)
 118     ghc-options: -threaded -rtsopts -with-rtsopts=-N
 119   if flag(dev)
 120     cpp-options: -DDEVELOPMENT
 121     ghc-options:
 122   if flag(prof)
 123     cpp-options: -DPROFILING
 124     ghc-options: -fprof-auto
 125   build-depends:
 126     base >= 4.6 && < 5
 127     , transformers
 128     , tasty >= 0.11
 129     , tasty-hunit
 130     , tfhoe