package pa_ppx_hashcons

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.07.02.tar.gz
sha512=c742da1be4406918289eabeb08100e89a150602a4ec24e8736e6167e064839d18754db5f424817b0227671b9805f235182add2090f8cd4cb9b03594f559c8123

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: 18 Jan 2021

Dependencies (10)

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

Dev Dependencies (2)

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

Used by (2)

  1. pa_ppx_ag < "0.08"
  2. pa_ppx_q_ast < "0.08"

Conflicts

None

OCaml

Innovation. Community. Security.