package pa_ppx_hashcons

  1. Overview
  2. No Docs
A PPX Rewriter for Hashconsing

Install 

dune-project
 Dependency

github.com Edit opam file Versions (3)

Authors

  1. C
    Chet Murthy

Maintainers

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

Sources

8.05.01.tar.gz
sha512=05a9dc1350d7a5d47b717797c1cdc3bb7981dc45cf16b474626a3b8e10bd248d87fce9db347a07683eaf3b2f313800be87f267f1336ce69144c71289c65b7e58

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: 23 May 2026

Dependencies (9)

  1. hashcons
  2. fmt
  3. bos >= "0.2.0"
  4. not-ocamlfind >= "0.10"
  5. pa_ppx >= "8.05.01"
  6. camlp5 >= "8.05.01"
  7. camlp5-buildscripts >= "0.02"
  8. cppo >= "1.6.9"
  9. ocaml >= "4.11.0"

Dev Dependencies (2)

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

Conflicts

None