enum field parsing error in array of records

[Andrey Rybalchenko]

Hi, 

Below combination of mzn and json throws

Error: type error: cannot determine coercion from type string to type E

Inlining the type definition makes the json parser happy, however, in my mzn inlining all the nested records is not very attractive.

Any thoughts if there is a fix planned?

Thanks,

Andrey

enum E;
type R = record(E: fld);
array [_] of R: rs;

{
  "E": ["E1", "E2"],
  "rs": [
    {"fld": "E1"},
    {"fld": "E2"}
  ]
}

[Jip Dekker]

Hi Andrey,

This is a know problem: https://github.com/MiniZinc/libminizinc/issues/739

The issue is that the type aliases are resolved after the JSON is parsed and the JSON parser relies on the (currently incomplete) type information of the model.

Resolving the type aliases before parsing the JSON should solve this issue, but it would require disconnecting this process from the current type checking process.

It is certainly something I would like to solve, but would require quite a bit of engineering, so I'll need to see when I have time.

Cheers,

Jip