Hi David,
> The -q option turns printing off by setting PolyML.print_depth to
> zero. You can always turn printing on at any point by calling
> PolyML.print_depth with a non-zero value.
Thank you for your pointer. With a bit of tweaking, it solves my problem
using this command:
$ poly --use ROOT.sml -q --eval "print \"** Augmented Poly/ML **\n\"" \
--eval "PolyML.print_depth 1"
> By the way, have a look at the Poly/ML software directory at
> https://www.polyml.org/software/index.php . You might find some of
> these library extensions there and if not and you're happy to make
> your extensions available please consider adding an entry to the
> directory.
Thanks, sure I'll contribute to the site once I've finished writing my
library. Right now, I'm doing this to cure my immediate pain of loading
external data structures and algorithms libraries.
Another purpose is to load on startup something like the asdf of Common
Lisp, which is used to load other libraries.
--
Cheers,
zacque
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
