diff options
author | Nicolas Chataing <nicolas.chataing@ens.fr> | 2021-06-24 13:55:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-24 13:55:27 +0200 |
commit | 650ba029a5c1c3e9f2edc8cacd30ff27d3184348 (patch) | |
tree | a9ec6488e060e39afd2d787615ac2bc0bfbde196 /typing/types.ml | |
parent | 47e5a7acb6abddaaf0653dcf357df70fa4984755 (diff) | |
download | ocaml-650ba029a5c1c3e9f2edc8cacd30ff27d3184348.tar.gz |
Remove unused cstr_normal field from the constructor_description type (#10470)
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/typing/types.ml b/typing/types.ml index 3ce4448784..8be5bebf24 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -406,7 +406,6 @@ type constructor_description = cstr_tag: constructor_tag; (* Tag for heap blocks *) cstr_consts: int; (* Number of constant constructors *) cstr_nonconsts: int; (* Number of non-const constructors *) - cstr_normal: int; (* Number of non generalized constrs *) cstr_generalized: bool; (* Constrained return type? *) cstr_private: private_flag; (* Read-only constructor? *) cstr_loc: Location.t; |