summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNicolas Pouillard <np@nicolaspouillard.fr>2006-10-04 16:23:53 +0000
committerNicolas Pouillard <np@nicolaspouillard.fr>2006-10-04 16:23:53 +0000
commitc9d10f8b23d1d1e18ab548e4b145723f76cc2004 (patch)
tree526bbd228fa5c1944e2ca0dc57dc72cd5eac6f5d
parent4e7ea77948d2fec2cd80c57288e513c8c778d165 (diff)
[camlp4] bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7684 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-xcamlp4/boot/camlp4bootbin1085277 -> 1080971 bytes
-rw-r--r--camlp4/test/fixtures/meta_multi_term.ml16
2 files changed, 16 insertions, 0 deletions
diff --git a/camlp4/boot/camlp4boot b/camlp4/boot/camlp4boot
index a0c61247d..965f80a89 100755
--- a/camlp4/boot/camlp4boot
+++ b/camlp4/boot/camlp4boot
Binary files differ
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;