Closed jjg-123 closed 1 year ago
Reproduce with r. := []; input_form(r.) {}
This is used in serialization of workspaces which in turn breaks deserialization, since {} is used for the empty set. An empty stem has input form of '[]'
done
Reproduce with r. := []; input_form(r.) {}
This is used in serialization of workspaces which in turn breaks deserialization, since {} is used for the empty set. An empty stem has input form of '[]'