The hoopl package

[ Tags: bsd3, compilers-interpreters, library ] [ Propose Tags ]

Higher-order optimization library

See Norman Ramsey, Joao Dias, and Simon Peyton Jones. "Hoopl: A Modular, Reusable Library for Dataflow Analysis and Transformation" (2010) for more details.

[Skip to Readme]


Change log
Dependencies base (>=4.3 && <4.9), containers (>=0.4 && <0.6) [details]
License BSD3
Author Norman Ramsey, Joao Dias, Simon Marlow and Simon Peyton Jones
Category Compilers/Interpreters
Home page
Bug tracker
Source repo head: git clone
Uploaded Mon Aug 10 23:46:08 UTC 2015 by NingWang
Distributions Arch:, LTSHaskell:, NixOS:, Stackage:
Downloads 19593 total (195 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI





Enable test coverage report


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees

Readme for hoopl-

[back to package description]

The hoopl Package Hackage Build Status

Hoopl: A Higher-Order OPtimization Library

API documentation can be found on Hackage.

| Directory | Contents | -------------- | --------- | paper/ | A paper about Hoopl | prototypes/ | A sampling of prototypes and early designs | src/ | The current official sources to the Cabal package | testing/ | Tests, including a sample client. See testing/README

Development Notes

To build the library, change to the src directory and run

cabal configure --prefix=$HOME --user   # we have no idea what this means
cabal build
cabal install --enable-documentation

To run the tests in the folder testing/, change to the src directory and run

cabal configure --enable-tests
cabal test

To run the tests with the test coverage report, change to the src directory and run

cabal configure --enable-tests -f testcoverage
cabal test

You'll need a Haskell Platform, which should include appropriate versions of Cabal and GHC.

Checklist for Making Releases

In order to facilitate GHC development's workflow, the version in hoopl.cabal is to be bumped as soon as a change requires a respective version bump (according to the PVP) relative to the last released hoopl version.

  1. Make sure hoopl passes Travis for all GHC versions in the build-matrix
  2. Update Changelog (& git commit)
  3. Generate source tarball via cabal sdist and upload a candidate to Hackage (see note below), and inspect the result.
  4. If everything checks out, make an annotated and GPG-signed Git release tag: git tag -a -s v${VER} -m "hoopl ${VER}"
  5. Publish (there's a button for that on Hackage) the package candidate
  6. Work on next release

Note: To upload to Hackage,

cabal sdist
cabal upload dist/hoopl-*.tar.gz

However, it's recommended use the Hackage feature for uploading a candidate.