Original bug ID: 3722
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

From: ethan.aubin@pobox.com

Hi, Would it be hard to allow polymorphic variants to be used in type
definitions such as:

type x = [ X ] and xy = [ Y | x ]

which fails printing:

The type constructor x is not yet completely defined.

Not very hard, if we fix the order of definition.
That is, if we require that x appears before xy.
However, this would not be very clean to introduce such asymmetry in
type definitions.
If we start to infer dependencies between definitions, to allow this
in any order, this gets rather complicated for limited benefits.

So there is no plan to change this...

Jacques