From ef29c0a927728d9cf4a45bc3c26d2393d753184e Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Fri, 22 Jun 2018 12:24:58 +0200 Subject: Introduce a Pcoq.Entry module for functions that ought to be exported. We deprecate the corresponding functions in Pcoq.Gram. The motivation is that the Gram module is used as an argument to Camlp5 functors, so that it is not stable by extension. Enforcing that its type is literally the one Camlp5 expects ensures robustness to extension statically. Some really internal functions have been bluntly removed. It is unlikely that they are used by external plugins. --- dev/doc/changes.md | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'dev') diff --git a/dev/doc/changes.md b/dev/doc/changes.md index 6d5023405..1eea2443f 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -88,6 +88,11 @@ Primitive number parsers have been split over three files (plugins/syntax/positive_syntax.ml, plugins/syntax/n_syntax.ml, plugins/syntax/z_syntax.ml). +Parsing + +- Manual uses of the Pcoq.Gram module have been deprecated. Wrapper modules + Pcoq.Entry and Pcoq.Parsable were introduced to replace it. + ### Unit testing The test suite now allows writing unit tests against OCaml code in the Coq -- cgit v1.2.3 From a9728d5a43e5c82fed9cac25e841107c4c95fc35 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sat, 7 Jul 2018 17:00:22 +0200 Subject: Add an overlay. --- dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh (limited to 'dev') diff --git a/dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh b/dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh new file mode 100644 index 000000000..9c4c905fa --- /dev/null +++ b/dev/ci/user-overlays/07898-ppedrot-rm-campl4-remains.sh @@ -0,0 +1,8 @@ +_OVERLAY_BRANCH=rm-campl4-remains + +if [ "$CI_PULL_REQUEST" = "7898" ] || [ "$CI_BRANCH" = "$_OVERLAY_BRANCH" ]; then + + pidetop_CI_BRANCH="$_OVERLAY_BRANCH" + pidetop_CI_GITURL=https://github.com/ppedrot/pidetop + +fi -- cgit v1.2.3