Skip to content

Files

Latest commit

eddc0a2 · Jun 14, 2017

History

History

haskell_edsl

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Jun 14, 2017
Jun 5, 2017
Jun 10, 2017
May 12, 2017
Dec 13, 2016
Jun 14, 2017
Dec 13, 2016
Jun 5, 2017
Dec 13, 2016
Dec 13, 2016

Checktestdata Haskell EDSL

This is a Haskell implementation of the checktestdata tool. The language is build as a Haskell EDSL which can be used to check a specific format of the data, as well as checking semantic correctness of the data. There is also an executable providing backwards compatibility with existing CTD scripts.

For building, a recent Haskell compiler is needed, as well as a build tool such as Cabal or Stack. For installing both the compiler and a build tool, Haskell Platform is recommended.

Building with stack

For building with stack, run:

stack init
stack build

Then the executable can be run with:

stack exec checktestdata

The tests can be run with:

stack test

Building with cabal

For building with cabal, run:

cabal install --only-dependencies
cabal configure
cabal build

Then the executable can be run with:

dist/build/checktestdata/checktestdata

The tests can be run with:

cabal test

Building the examples and other checker programs

Install the library globally on your system with:

cabal install

Then a checker program can be build with:

ghc --make ProgramName.hs