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