diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 229b0994..7f660745 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -76,9 +76,11 @@ let mk_pat pat_aux = P_aux (pat_aux, no_annot) let unaux_pat (P_aux (pat_aux, _)) = pat_aux let mk_pexp pexp_aux = Pat_aux (pexp_aux, no_annot) - + let mk_lexp lexp_aux = LEXP_aux (lexp_aux, no_annot) +let mk_typ_pat tpat_aux = TP_aux (tpat_aux, Parse_ast.Unknown) + let mk_lit lit_aux = L_aux (lit_aux, Parse_ast.Unknown) let mk_lit_exp lit_aux = mk_exp (E_lit (mk_lit lit_aux)) |