SDF3 pretty printer generation uses non-deterministic names
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
newnameto 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