On 26/01/2016 23:37, Ramana Kumar wrote:
How can I display signatures and structures, by looking up their name in
the current environment, in Poly/ML 5.6?
The PolyML.NameSpace structure seems to have been reorganised quite a bit,
so the code given previously does not work.
It was getting unwieldy having functions for all the different classes
of identifier in one structure so I've split it with separate
sub-structures for each class. That allows the same name to be used for
similar functions. E.g. each class has a "name" function that returns
the name associated with the identifier.
fun getVal name = displayVal(valOf(#lookupVal globalNameSpace name),
1000(*depth*), globalNameSpace)
end;
The new way of doing this is
fun getVal name = Values.printWithType(valOf(#lookupVal globalNameSpace
name), 1000, SOME globalNameSpace)
David
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
