Closed wouterdb closed 6 days ago
For this model
entity Test: end entity Child: string name end Test.child [0:] -- Child Test( child=std::key_sort([Child(name="x")], "name") ) implement Child using std::none implement Test using std::none
The compiler never terminates
For this model
The compiler never terminates