diff options
| author | Pierre-Marie Pédrot | 2017-08-25 18:03:54 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-25 18:04:50 +0200 |
| commit | 8e6338d862873d7e377f59664bbd89e16c0a7309 (patch) | |
| tree | a878a65efc51382fbbf6047aa862e4cbb1386854 /src/tac2core.ml | |
| parent | 029dd0fcfc5641b689356c467e2f0fb1d3fa178c (diff) | |
Introducing a distinct bindings scope.
Diffstat (limited to 'src/tac2core.ml')
| -rw-r--r-- | src/tac2core.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tac2core.ml b/src/tac2core.ml index 342e8f51e8..b67d70a5cb 100644 --- a/src/tac2core.ml +++ b/src/tac2core.ml @@ -912,6 +912,7 @@ let add_expr_scope name entry f = end let () = add_expr_scope "ident" q_ident (fun id -> Tac2quote.of_anti Tac2quote.of_ident id) +let () = add_expr_scope "bindings" q_bindings Tac2quote.of_bindings let () = add_expr_scope "with_bindings" q_with_bindings Tac2quote.of_bindings let () = add_expr_scope "intropattern" q_intropattern Tac2quote.of_intro_pattern let () = add_expr_scope "intropatterns" q_intropatterns Tac2quote.of_intro_patterns |