Printed structures should disambiguate symbols whenever necessary

Issue #114 resolved
Broes De Cat created an issue

Currently, when e.g. type Color type Node Color(Color, Node) is declared, printed model contain Color = { ... } Node = { ... } Color = { ... }

which is not accepted back by the parser. Instead it should be Color[Color] = ... Node[Node] = ... Color[Color,Node] = ...

(some can be dropped as they are not ambiguous)

Comments (2)

  1. Log in to comment