Skip to content

Commit

Permalink
revere check-typo
Browse files Browse the repository at this point in the history
  • Loading branch information
garrigue committed Sep 10, 2021
1 parent 26a65bc commit a296af2
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 3 deletions.
2 changes: 1 addition & 1 deletion typing/ctype.ml
Original file line number Diff line number Diff line change
Expand Up @@ -5400,7 +5400,7 @@ let immediacy env typ =
if
not (row_closed row)
|| List.exists
(fun (_, f) -> match row_field_repr f with
(fun (_, f) -> match row_field_repr f with
| Rpresent (Some _) | Reither (false, _, _) -> true
| _ -> false)
(row_fields row)
Expand Down
3 changes: 1 addition & 2 deletions typing/types.mli
Original file line number Diff line number Diff line change
Expand Up @@ -56,10 +56,9 @@ open Asttypes
Note on mutability: TBD.
*)
type type_expr

type row_desc
type row_field

type type_desc =
| Tvar of string option
(** [Tvar (Some "a")] ==> ['a] or ['_a]
Expand Down

0 comments on commit a296af2

Please sign in to comment.