pa_ppx_hashconsversion
A PPX Rewriter for Hashconsing
This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.
Author | Chet Murthy |
---|---|
License | BSD-3-Clause |
Published | |
Homepage | https://github.com/camlp5/pa_ppx_hashcons |
Issue Tracker | https://github.com/camlp5/pa_ppx_hashcons/issues |
Maintainer | Chet Murthy <chetsky@gmail.com> |
Dependencies |
|
Source [http] | https://github.com/camlp5/pa_ppx_hashcons/archive/0.07.02.tar.gz sha512=c742da1be4406918289eabeb08100e89a150602a4ec24e8736e6167e064839d18754db5f424817b0227671b9805f235182add2090f8cd4cb9b03594f559c8123 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pa_ppx_hashcons/pa_ppx_hashcons.0.07.02/opam |
Required by
- pa_ppx_ag<0.08
- pa_ppx_q_ast<0.08