diff options
Diffstat (limited to 'camlp4/examples/lambda_quot_expr.ml')
| -rw-r--r-- | camlp4/examples/lambda_quot_expr.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/camlp4/examples/lambda_quot_expr.ml b/camlp4/examples/lambda_quot_expr.ml index 3b51f47f5..98922123a 100644 --- a/camlp4/examples/lambda_quot_expr.ml +++ b/camlp4/examples/lambda_quot_expr.ml @@ -35,6 +35,7 @@ END;; let expand_lambda_quot_expr loc _loc_name_opt quotation_contents = LambdaGram.parse_string term_eoi loc quotation_contents;; +(* to have this syntax <:lam< fun k -> k >> *) Syntax.Quotation.add "lam" Syntax.Quotation.DynAst.expr_tag expand_lambda_quot_expr;; Syntax.Quotation.default := "lam";; |