diff options
Diffstat (limited to 'parsing/ast_helper.ml')
-rw-r--r-- | parsing/ast_helper.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/parsing/ast_helper.ml b/parsing/ast_helper.ml index 2c28493395..f8fb81e9b0 100644 --- a/parsing/ast_helper.ml +++ b/parsing/ast_helper.ml @@ -515,6 +515,12 @@ module Te = struct ptyext_attributes = add_docs_attrs docs attrs; } + let mk_exception ?(attrs = []) ?(docs = empty_docs) constructor = + { + ptyexn_constructor = constructor; + ptyexn_attributes = add_docs_attrs docs attrs; + } + let constructor ?(loc = !default_loc) ?(attrs = []) ?(docs = empty_docs) ?(info = empty_info) name kind = { |