summaryrefslogtreecommitdiff
path: root/typing/types.ml
diff options
context:
space:
mode:
authorThomas Refis <thomas.refis@gmail.com>2018-02-12 16:37:34 +0000
committerThomas Refis <thomas.refis@gmail.com>2018-02-27 14:52:23 +0000
commit3edeed67d418def802fc53d341d438ed7f75bc84 (patch)
tree5d161b0664104e1de2eed56471813d28146001a9 /typing/types.ml
parent9f2133786e15f9e19849834eeabe65e70dc8791c (diff)
downloadocaml-3edeed67d418def802fc53d341d438ed7f75bc84.tar.gz
add a scope field to type_expr
Diffstat (limited to 'typing/types.ml')
-rw-r--r--typing/types.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/types.ml b/typing/types.ml
index d491ae8d6a..8366eaf53b 100644
--- a/typing/types.ml
+++ b/typing/types.ml
@@ -22,6 +22,7 @@ open Asttypes
type type_expr =
{ mutable desc: type_desc;
mutable level: int;
+ mutable scope: int option;
id: int }
and type_desc =