On Tue, Sep 15, 2015 at 10:49 PM, David Matthews <[email protected]> wrote:
> You need the "-i" option on the command line. By default Poly/ML only > prints the prompt if the input is a console under both Windows and Unix. If > the input stream is a pipe you need to tell it that you have an interactive > input. Yes, -i indeed works. Thank you! _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
