package pa_ppx_hashcons

  1. Overview
  2. Docs
A PPX Rewriter for Hashconsing

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

  1. C
    Chet Murthy

Maintainers

  1. C
    Chet Murthy <chetsky@gmail.com>

Sources

0.10.tar.gz
sha512=a634d9a569923d5dcfd1a5f6195090d4a084e49d50be4774aa9ff3b2cf82afae8d631e019bb6776a54581b3af8bd49ac976adeb7ea681a0b40a781997e517f11

Description

This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.

Published: 06 Apr 2023

Dependencies (10)

  1. hashcons
  2. fmt
  3. bos >= "0.2.0"
  4. pcre >= "7.4.3"
  5. not-ocamlfind >= "0.10"
  6. pa_ppx >= "0.12"
  7. camlp5 >= "8.01.00"
  8. camlp5-buildscripts >= "0.02" & < "0.03"
  9. cppo >= "1.6.9"
  10. ocaml >= "4.10.0" & < "5.01.0"

Dev Dependencies (2)

  1. ounit >= "2.2.7" & with-test
  2. pa_ppx_migrate with-test & >= "0.10"

Conflicts

None