Re: First class polymorphism losing with separate compilation (PR#1382)

[vicuna]

Original bug ID: 1383
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Child of: #3653

Bug description

Thank you for your detailed report.
Indeed, something strange was happening in variants with an universal
row variant.
I hope I solved it. But I may have introduced other bugs
simultaneously: btype.ml, subst.ml and ctype.ml were modified.
Please report any problem.

Jacques Garrigue