a64b3f0829
tricu now allows defining terms in any order and will resolve dependencies to ensure that they're evaluated in the right order. Undefined terms are detected and throw errors during dependency ordering. For now we can't define top-level mutually recursive terms.
70 lines
1.3 KiB
Plaintext
70 lines
1.3 KiB
Plaintext
cabal-version: 1.12
|
|
|
|
name: tricu
|
|
version: 0.10.0
|
|
description: A micro-language for exploring Tree Calculus
|
|
author: James Eversole
|
|
maintainer: james@eversole.co
|
|
copyright: James Eversole
|
|
license: ISC
|
|
license-file: LICENSE
|
|
build-type: Simple
|
|
extra-source-files:
|
|
README.md
|
|
|
|
executable tricu
|
|
main-is: Main.hs
|
|
hs-source-dirs:
|
|
src
|
|
default-extensions:
|
|
DeriveDataTypeable
|
|
LambdaCase
|
|
MultiWayIf
|
|
OverloadedStrings
|
|
ghc-options: -threaded -rtsopts -with-rtsopts=-N -optl-pthread -fPIC
|
|
build-depends:
|
|
base >=4.7
|
|
, cmdargs
|
|
, containers
|
|
, haskeline
|
|
, megaparsec
|
|
, mtl
|
|
, text
|
|
other-modules:
|
|
Eval
|
|
FileEval
|
|
Lexer
|
|
Parser
|
|
REPL
|
|
Research
|
|
default-language: Haskell2010
|
|
|
|
test-suite tricu-tests
|
|
type: exitcode-stdio-1.0
|
|
main-is: Spec.hs
|
|
hs-source-dirs: test, src
|
|
default-extensions:
|
|
DeriveDataTypeable
|
|
LambdaCase
|
|
MultiWayIf
|
|
OverloadedStrings
|
|
build-depends:
|
|
base
|
|
, cmdargs
|
|
, containers
|
|
, haskeline
|
|
, megaparsec
|
|
, mtl
|
|
, tasty
|
|
, tasty-hunit
|
|
, tasty-quickcheck
|
|
, text
|
|
default-language: Haskell2010
|
|
other-modules:
|
|
Eval
|
|
FileEval
|
|
Lexer
|
|
Parser
|
|
REPL
|
|
Research
|