atdgen can put types in the wrong order

[dwwoelfel]

I'm running into an issue where my atd definition will succeed in generating an ml file of types (atdgen -t), but the file won't compile.

I managed to reduce it to the following. If I remove any of the definitions, then compiling the generated test_t.ml file succeeds.

type sku = {
  product: product;
}

type product = {
  sku: sku;
}

type plan = {
  product: product;
}

type customer = {
  plan: plan;
  customer: customer;
}

type charge = {
  order: order;
}

type order = {
  charge: charge;
  sku: sku;
}

The generated file (atdgen -t test.atd):

(* Auto-generated from "test.atd" *)

type plan = { product: product }

type customer = { plan: plan; customer: customer }

type product = { sku: sku }

and sku = { product: product }

type charge = { order: order }

and order = { charge: charge; sku: sku }

$ ocamlc src/test_t.ml
File "src/test_t.ml", line 4, characters 23-30:
Error: Unbound type constructor product

[mjambon]

Thanks for the repro case.

[rgrinberg]

@dwwoelfel as a workaround, could you check if the -rec flag helps?

[dwwoelfel]

Thanks @rgrinberg! That solves the problem for me for now :)