summaryrefslogtreecommitdiffstats
path: root/parsing/asttypes.mli
diff options
context:
space:
mode:
Diffstat (limited to 'parsing/asttypes.mli')
-rw-r--r--parsing/asttypes.mli3
1 files changed, 3 insertions, 0 deletions
diff --git a/parsing/asttypes.mli b/parsing/asttypes.mli
index 5aa9603a2..f9824d059 100644
--- a/parsing/asttypes.mli
+++ b/parsing/asttypes.mli
@@ -19,6 +19,9 @@ type constant =
| Const_char of char
| Const_string of string
| Const_float of string
+ | Const_int32 of int32
+ | Const_int64 of int64
+ | Const_nativeint of nativeint
type rec_flag = Nonrecursive | Recursive | Default