Hi, typing an identifier in the REPL gives its type:
> print; val it = fn: string -> unit is there a polyml function that gives back a string of the type without the fn: prefix? I would like to use it in documentation. I have taken a look in the PolyML.NameSpace structure but did not find such a function. - Gergely
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml