Skip to content

Commit

Permalink
rename type_kind_407 to type_kind_412
Browse files Browse the repository at this point in the history
  • Loading branch information
tatchi committed Jan 11, 2022
1 parent 2acf481 commit 1f1c169
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions src/compat/types_type_kind_ge_000.ml
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
type type_kind_407 = Types.type_kind
type type_kind_412 = Types.type_kind

let migrate_type_kind : Types.type_kind -> type_kind_407 = fun x -> x
let migrate_type_kind : Types.type_kind -> type_kind_412 = fun x -> x
4 changes: 2 additions & 2 deletions src/compat/types_type_kind_ge_413.ml
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
type ('lbl, 'cstr) type_kind_407 =
type ('lbl, 'cstr) type_kind_412 =
| Type_abstract
| Type_record of 'lbl list * Types.record_representation
| Type_variant of 'cstr list
| Type_open

let migrate_type_kind : ('lbl, 'cstr) Types.type_kind -> ('lbl, 'cstr) type_kind_407 = function
let migrate_type_kind : ('lbl, 'cstr) Types.type_kind -> ('lbl, 'cstr) type_kind_412 = function
| Type_abstract -> Type_abstract
| Type_record (lbl, repr) -> Type_record (lbl, repr)
| Type_variant (cstr, _) -> Type_variant cstr
Expand Down

0 comments on commit 1f1c169

Please sign in to comment.