diff options
author | Takafumi Saikawa <tscompor@gmail.com> | 2021-02-01 14:11:00 +0900 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-01 14:11:00 +0900 |
commit | 13fb9573a6e67236bfa21ee8c65902644cd14a6d (patch) | |
tree | 9cf74743bf57a17b6ea7fd2220f5e5ae21909cd0 /typing/types.ml | |
parent | 3dfaeec7f98361cf17d8c9ae6d7563ba6c973252 (diff) | |
download | ocaml-13fb9573a6e67236bfa21ee8c65902644cd14a6d.tar.gz |
Make Tsubst directly retain two arguments, instead of nesting a Ttuple (#10174)
Diffstat (limited to 'typing/types.ml')
-rw-r--r-- | typing/types.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/types.ml b/typing/types.ml index ededbf7139..33bee8f595 100644 --- a/typing/types.ml +++ b/typing/types.ml @@ -34,7 +34,7 @@ and type_desc = | Tfield of string * field_kind * type_expr * type_expr | Tnil | Tlink of type_expr - | Tsubst of type_expr (* for copying *) + | Tsubst of type_expr * type_expr option | Tvariant of row_desc | Tunivar of string option | Tpoly of type_expr * type_expr list |