Benchmarks of Elgot algebras in ATS and Haskell

root

elgot-bench

This repo contains Haskell and ATS implementations of an Elgot algebra.

Building

Haskell

You can build the Haskell benchmarks using cabal-install, viz.

cabal new-bench

To run the benchmarks with the LLVM backend:

cabal new-bench --constraint='elgot-bench +llvm'

Make sure that cabal has not cached things incorrectly!

ATS

You can run the benchmarks using atspkg, viz.

cd ats
atspkg test

You can try a different C compiler by editing atspkg.dhall and running

atspkg test --rebuild
atspkg test --rebuild