diff options
author | Nicolas Pouillard <np@nicolaspouillard.fr> | 2006-10-04 16:23:53 +0000 |
---|---|---|
committer | Nicolas Pouillard <np@nicolaspouillard.fr> | 2006-10-04 16:23:53 +0000 |
commit | c9d10f8b23d1d1e18ab548e4b145723f76cc2004 (patch) | |
tree | 526bbd228fa5c1944e2ca0dc57dc72cd5eac6f5d | |
parent | 4e7ea77948d2fec2cd80c57288e513c8c778d165 (diff) |
[camlp4] bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7684 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-x | camlp4/boot/camlp4boot | bin | 1085277 -> 1080971 bytes | |||
-rw-r--r-- | camlp4/test/fixtures/meta_multi_term.ml | 16 |
2 files changed, 16 insertions, 0 deletions
diff --git a/camlp4/boot/camlp4boot b/camlp4/boot/camlp4boot Binary files differindex a0c61247d..965f80a89 100755 --- a/camlp4/boot/camlp4boot +++ b/camlp4/boot/camlp4boot diff --git a/camlp4/test/fixtures/meta_multi_term.ml b/camlp4/test/fixtures/meta_multi_term.ml new file mode 100644 index 000000000..35e96b2a9 --- /dev/null +++ b/camlp4/test/fixtures/meta_multi_term.ml @@ -0,0 +1,16 @@ +open Camlp4.PreCast; +value _loc = Loc.ghost; + +module Term = struct + type patt = + [ PApp of patt and patt + | PAny + | PVar of string + | POlb of string and expr ] + and expr = + [ EApp of expr and expr + | EVar of string + | ELam of patt and expr ]; +end; + +module MetaTerm = MetaGenerator Term; |