package pa_ppx_hashcons

  1. Overview
  2. Docs
A PPX Rewriter for Hashconsing

Install

Dune Dependency

Authors

Maintainers

Sources

0.11.tar.gz
sha512=1698536ac6ad4bab43de3f033bbfcc06cb8d7ac8b3198a440111ecc3d71da0fc9679e04ae276d9cd2a8d31965a582cced6dc063787e0f1c507241bed72ba6b9f

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: 12 Sep 2023

Dependencies (9)

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

Dev Dependencies (2)

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

Conflicts

None

OCaml

Innovation. Community. Security.