The pretty printer files generated from SDF3 contain non-deterministic generated names, which means that even if the syntax has not changed, the generated file will be different. This is annoying because generated files need to be committed to git for projects that get built in the build farm, which adds a lot of garbage to commits.

Instead of using new or newname to generate names, you can pass around counters:

c := <new-counter>
...
unique-number1 := <next-counter> c
unique-number2 := <next-counter> c
...

which would make the generated names deterministic.

Submitted by Gabriël Konat on 6 March 2014 at 11:22