Rob, printInAlphabeticalOrder applies only to the top level. It has never worked with components of structures or signatures as far as I recall. Members of a structure or signature are held in hash tables so there's no easy way to get the declaration order. They are supposed to be in alphabetical order and I fixed a bug recently (1858) when I realised they were actually coming out in reverse order.
Regards, David
On 13/02/2014 12:34, Rob Arthan wrote:
I am confused about what PolyML.Compiler.printInAlphabeticalOrder is intended to control. If I enter the following:
signature S = sig val x : int val z : int val y : int end; structure S = struct val x = 1 val z = 3 val y = 2 end;
the signature and the structure are both printed with the variables in reverse alphabetical order. (I was rather hoping for an option to have them in the source code order.)
Regards,
Rob.
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml