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!
--
Cheers,
zacque
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
