diff options
| author | Thomas Bauereiss | 2017-07-15 18:29:45 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-07-15 18:57:55 +0100 |
| commit | 0a3d703f8180cb0163a6e0d26f0bce198ae221db (patch) | |
| tree | 15b5900710945cf92ffbed073c52af954e6b3e12 /src/ast_util.mli | |
| parent | c63f9086a721c902c2b5c170758c7c63f02330f8 (diff) | |
Add version of rewriter for new typechecker
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index edce060d..9d6c5653 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -47,6 +47,7 @@ open Ast val map_exp_annot : ('a annot -> 'b annot) -> 'a exp -> 'b exp val map_pat_annot : ('a annot -> 'b annot) -> 'a pat -> 'b pat val map_lexp_annot : ('a annot -> 'b annot) -> 'a lexp -> 'b lexp +val map_letbind_annot : ('a annot -> 'b annot) -> 'a letbind -> 'b letbind (* Extract locations from identifiers *) val id_loc : id -> Parse_ast.l |