summaryrefslogtreecommitdiff
path: root/parsing/parsetree.mli
diff options
context:
space:
mode:
authorDrup <drupyog@zoho.com>2015-12-02 15:20:26 +0100
committerDrup <drupyog@zoho.com>2015-12-09 14:26:06 +0100
commit4f6e4144ffb339eb785d475fa342c47aa8682daf (patch)
treeb930dcc911a7310347f55f16af5a2185485bfd18 /parsing/parsetree.mli
parentf8f68bd329375fd61e33781f61deeaeec2733f4b (diff)
downloadocaml-4f6e4144ffb339eb785d475fa342c47aa8682daf.tar.gz
Add signature payloads for extension and attributes.
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r--parsing/parsetree.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli
index 8f9083dd5d..5e6edbf140 100644
--- a/parsing/parsetree.mli
+++ b/parsing/parsetree.mli
@@ -41,6 +41,7 @@ and attributes = attribute list
and payload =
| PStr of structure
+ | PSig of signature (* : SIG *)
| PTyp of core_type (* : T *)
| PPat of pattern * expression option (* ? P or ? P when E *)