diff options
| -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; |