Commit 213535ee by POTTIER Francois

VisitorsAnalysis: use [VisitorsCompatibility.object_field_to_core_type] for…

VisitorsAnalysis: use [VisitorsCompatibility.object_field_to_core_type] for compatibility with OCaml 4.06.0.
parent 274e49d1
......@@ -245,8 +245,11 @@ let rec occurs_type (alpha : tyvar) (ty : core_type) : unit =
| Ptyp_constr (_, tys)
| Ptyp_class (_, tys) ->
occurs_types alpha tys
| Ptyp_object (methods, _) ->
List.iter (fun (_, _, ty) -> occurs_type alpha ty) methods
| Ptyp_object (fields, _) ->
let tys : core_type list =
List.map VisitorsCompatibility.object_field_to_core_type fields
in
List.iter (occurs_type alpha) tys
| Ptyp_variant (fields, _, _) ->
List.iter (occurs_row_field alpha) fields
| Ptyp_poly (qs, ty) ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment