lol-symantic.cabal

   1 author: Julien Moutinho <julm+lol@autogeree.net>
   2 -- bug-reports: http://doc.autogeree.net/lol/bugs
   3 build-type: Simple
   4 cabal-version: >= 1.10
   5 category: Language
   6 -- data-dir: data
   7 -- data-files:
   8 description:
   9  Demonstration code gathering important ideas from the
  10  <http://okmij.org/ftp/tagless-final/ Tagless-Final>
  11  approach to Embedded DSL (Domain-Specific Language)
  12  developed by Jacques Carette, Oleg Kiselyov and Chung-chieh Shan,
  13  and pursuing this work to use it as a non-Embedded DSL.
  14  .
  15  For a few example types (function, 'Bool', 'Int', 'Maybe')
  16  a so-called /symantic/ type class defines a /syntax/
  17  and each of its instances defines a new /semantic/
  18  (computing a Haskell term, serializing, optimizing, …).
  19  .
  20  Combining the methods of those /symantic/ type classes
  21  gives rise to a DSL within which one can
  22  write /symantic/ expressions at developing time;
  23  but in order to handle such expression when entered by an end-user,
  24  one has to be able to construct it at runtime.
  25  .
  26  This code (including its Test.hs files) demonstrates this by:
  27  .
  28  * Parsing a /symantic/ expression
  29    from an AST (Abstract Syntax Tree).
  30  .
  31  * Removing or adding /symantic/ parsers
  32    by fully reusing old parsers
  33    (i.e. without copying or alterating them).
  34  .
  35  * Interpreting a /symantic/ expression
  36    multiple times and with different interpreters
  37    without reparsing the expression.
  38  .
  39  Your comments, problem reports, or questions are very welcome! :-)
  40 extra-source-files:
  41 extra-tmp-files:
  42 -- homepage: http://pad.autogeree.net/informatique/lol/symantic/
  43 license: GPL-3
  44 license-file: COPYING
  45 maintainer: Julien Moutinho <julm+lol@autogeree.net>
  46 name: lol-symantic
  47 stability: experimental
  48 synopsis: Demo of Typed Tagless-Final Higher-Order Extensible DSL
  49 tested-with: GHC==7.10.3
  50 version: 1.20161002
  51
  52 Source-Repository head
  53  location: git://git.autogeree.net/lol
  54  type:     git
  55
  56 Flag dev
  57   Default:     False
  58   Description: Turn on development settings.
  59   Manual:      True
  60
  61 Flag dump
  62   Default:     False
  63   Description: Dump some intermediate files.
  64   Manual:      True
  65
  66 Flag prof
  67   Default:     False
  68   Description: Turn on profiling settings.
  69   Manual:      True
  70
  71 Flag threaded
  72   Default:     False
  73   Description: Enable threads.
  74   Manual:      True
  75
  76 Library
  77   default-extensions:
  78   ghc-options: -Wall -fno-warn-tabs
  79   if flag(dev)
  80     cpp-options: -DDEVELOPMENT
  81     ghc-options:
  82     -- -ddump-splices
  83     -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
  84     -- -fno-warn-type-defaults -fno-warn-orphans
  85   if flag(dump)
  86     ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
  87   if flag(prof)
  88     cpp-options: -DPROFILING
  89     ghc-options: -fprof-auto
  90   default-language: Haskell2010
  91   exposed-modules:
  92     Language.LOL.Symantic
  93     Language.LOL.Symantic.AST
  94     Language.LOL.Symantic.Expr
  95     Language.LOL.Symantic.Expr.Bool
  96     Language.LOL.Symantic.Expr.Common
  97     Language.LOL.Symantic.Expr.Int
  98     Language.LOL.Symantic.Expr.Lambda
  99     Language.LOL.Symantic.Expr.Maybe
 100     Language.LOL.Symantic.Lib.Control.Monad
 101     Language.LOL.Symantic.Lib.Data.Peano
 102     Language.LOL.Symantic.Repr
 103     Language.LOL.Symantic.Repr.Dup
 104     Language.LOL.Symantic.Repr.Host
 105     Language.LOL.Symantic.Repr.String
 106     Language.LOL.Symantic.Trans
 107     Language.LOL.Symantic.Trans.Bool
 108     Language.LOL.Symantic.Trans.Bool.Const
 109     Language.LOL.Symantic.Trans.Common
 110     Language.LOL.Symantic.Type
 111     Language.LOL.Symantic.Type.Bool
 112     Language.LOL.Symantic.Type.Common
 113     Language.LOL.Symantic.Type.Fun
 114     Language.LOL.Symantic.Type.Int
 115     Language.LOL.Symantic.Type.Maybe
 116     Language.LOL.Symantic.Type.Var
 117   build-depends:
 118     base >= 4.6 && < 5
 119     , ghc-prim
 120     , monad-classes >= 0.3.1.1
 121     , transformers
 122     , text
 123
 124 Test-Suite lol-symantic-test
 125   type: exitcode-stdio-1.0
 126   default-extensions:
 127     OverloadedStrings
 128   default-language: Haskell2010
 129   ghc-options: -Wall -fno-warn-tabs
 130                -main-is Test
 131   hs-source-dirs: Language/LOL/Symantic
 132   main-is: Test.hs
 133   other-modules:
 134     AST.Test
 135     Expr.Bool.Test
 136     Expr.Int.Test
 137     Expr.Lambda.Test
 138     Expr.Maybe.Test
 139     Expr.Test
 140     Repr.Host.Test
 141     Repr.String.Test
 142     Repr.Test
 143     Trans.Bool.Const.Test
 144     Trans.Bool.Test
 145     Trans.Test
 146     Type.Test
 147   if flag(threaded)
 148     ghc-options: -threaded -rtsopts -with-rtsopts=-N
 149   if flag(dev)
 150     cpp-options: -DDEVELOPMENT
 151     ghc-options:
 152   if flag(prof)
 153     cpp-options: -DPROFILING
 154     ghc-options: -fprof-auto
 155   build-depends:
 156     base >= 4.6 && < 5
 157     , transformers
 158     , tasty >= 0.11
 159     , tasty-hunit
 160     , lol-symantic