diff options
author | Armaël Guéneau <armael.gueneau@ens-lyon.fr> | 2018-04-11 19:45:21 +0200 |
---|---|---|
committer | Armael <armael.gueneau@ens-lyon.fr> | 2018-05-06 10:08:09 +0200 |
commit | 41d5658983d87dba453bba4cd623185866e02c30 (patch) | |
tree | 398b551b83f1d5f9e7548bc486b94d07e4d86557 /typing/types.ml | |
parent | 145bedc2ae341fc36a8877f01de4ec6665ab0c04 (diff) | |
download | ocaml-41d5658983d87dba453bba4cd623185866e02c30.tar.gz |
Re-implement the hint indicating missing "rec" keywords
This reverts commit 90fbe53ee5399301f3bd0bef9d35dda7a7af4294 except for the
Changes entry.
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/typing/types.ml b/typing/types.ml index 3003fc9839..490186bbdc 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -105,7 +105,11 @@ and value_kind = (* Self *) | Val_anc of (string * Ident.t) list * string (* Ancestor *) - | Val_unbound (* Unbound variable *) + | Val_unbound of value_unbound_reason (* Unbound variable *) + +and value_unbound_reason = + | Val_unbound_instance_variable + | Val_unbound_ghost_recursive (* Variance *) |