Datatype example fails

[mn200]

As commented out in src/datatype/theory_tests/loadDatatypeAScript.sml:

val _ = Datatype`
  mut1 = con1 'a num | con2 mut2 ;
  mut2 = con3 bool | con4 mut1 mut2
`;

val _ = Datatype`
  nested1 = con5 'a nested2 ;
  nested2 = con6 (nested1 mut1)
`;

This example goes into an infinite loop.

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.