cabal-version: 3.0 name: symantic-reify version: 0.0.0 tested-with: GHC==9.0.1 executable symantic-preify type: exitcode-stdio-1.0 default-language: Haskell98 ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Wpartial-fields -Wno-type-defaults -Wno-missing-signatures -fprint-potential-instances main-is: Main.hs other-modules: Examples Reify SemanticAlp SemanticEval SemanticSplice Syntax Tests TestsSplice ghc-options: -- -O2 -fno-enable-th-splice-warnings build-depends: base >= 4.6 && < 5, template-haskell >= 2.16, transformers >= 0.5