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.09.tar.gz
sha512=d215d7de789ff238d127f2798a13ee7d5020048bb241e42105f94c87760fbc5e1bcb48f2fabfef1fa427eee2e2595118ae18881a9934bd68fd10b5c3769ae7eb

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: 19 Jan 2023

Dependencies (10)

  1. hashcons
  2. bos >= "0.2.0"
  3. pcre >= "7.4.3"
  4. not-ocamlfind >= "0.01"
  5. pa_ppx >= "0.08" & < "0.12"
  6. camlp5 >= "8.00"
  7. conf-perl-string-shellquote
  8. conf-perl-ipc-system-simple
  9. conf-perl
  10. ocaml >= "4.10.0" & < "5.01.0"

Dev Dependencies (2)

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

Conflicts

None