1 author: Julien Moutinho <julm+symantic@autogeree.net>
2 -- bug-reports: http://doc.autogeree.net/symantic/bugs
9 Library for composing, typing, compiling and interpreting
10 a custom DSL (Domain-Specific Language)
11 expressing a subset of GHC's Haskell.
13 Your comments, problem reports, or questions are very welcome! :-)
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>.
19 NOTE: alternative libraries to do more or less the same things
20 include: <https://hackage.haskell.org/package/syntactic syntactic>.
23 -- homepage: http://pad.autogeree.net/informatique/symantic/
26 maintainer: Julien Moutinho <julm+symantic@autogeree.net>
28 stability: experimental
29 synopsis: Library for Typed Tagless-Final Higher-Order Extensible DSL
30 tested-with: GHC==7.10.3
33 Source-Repository head
34 location: git://git.autogeree.net/symantic
39 Description: Turn on development settings.
44 Description: Dump some intermediate files.
49 Description: Turn on profiling settings.
54 Description: Enable threads.
59 ghc-options: -Wall -fno-warn-tabs
61 cpp-options: -DDEVELOPMENT
64 -- -fno-warn-unused-do-bind -fno-warn-name-shadowing -fno-warn-missing-signatures
65 -- -fno-warn-type-defaults -fno-warn-orphans
67 ghc-options: -ddump-simpl -ddump-stg -ddump-to-file
69 cpp-options: -DPROFILING
70 ghc-options: -fprof-auto
71 default-language: Haskell2010
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
89 Test-Suite symantic-test
90 type: exitcode-stdio-1.0
93 default-language: Haskell2010
94 ghc-options: -Wall -fno-warn-tabs
96 hs-source-dirs: Language/Symantic
101 ghc-options: -threaded -rtsopts -with-rtsopts=-N
103 cpp-options: -DDEVELOPMENT
106 cpp-options: -DPROFILING
107 ghc-options: -fprof-auto
111 -- , mono-traversable