package pa_ppx_hashcons
A PPX Rewriter for Hashconsing
Install
Dune Dependency
Authors
Maintainers
Sources
0.08.tar.gz
sha512=2f6306a7794bcad347aed6915c44349681463102426e3f741564ec439eee6eb6b12d7f65219d63d35a578a7fb374f6298f98a7730b7e290a6af11cc9b111b320
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: 08 Aug 2021
Dependencies (10)
- hashcons
-
bos
>= "0.2.0"
-
pcre
>= "7.4.3"
-
not-ocamlfind
>= "0.01"
-
pa_ppx
= "0.08"
-
camlp5
>= "8.00"
- conf-perl-string-shellquote
- conf-perl-ipc-system-simple
- conf-perl
-
ocaml
>= "4.10.0" & < "4.14.0"
Dev Dependencies (2)
-
ounit
with-test
-
pa_ppx_migrate
with-test & >= "0.08"
Used by (2)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page