[polyml] Start poly in an augmented environment

Hi,

I find the Basis Library to be inadequate for many of my use cases. E.g. I'm used to having built-in Set and Map/Dict abstract datatypes (ADTs); and built-in sort function for all the common ADTs. Then, I realise I can start poly by loading all the code with "--use FILE" from command line.

So, my question is how to suppress "poly --use ROOT.sml" loaded definition message to STDOUT? E.g.

$ poly --use ROOT.sml Poly/ML 5.8.2 Release val testme = "Test me!": string <---- suppress this line val it = (): unit <---- and this line > 1; val it = 1: int <---- while keep printing of results

I have tried "poly --use 'FILE' -q" with the "-q" option. But it turns off printing of results as well (which is undesired). I hope there is an easy way (probably a switch/flag?) to achieve what I want, and avoid writing another REPL.

Thanks!