Re: [polyml] Building an executable that runs the read-eval-print loop

Rob, Inside polyc, poly is invoked with -q to suppress output. This flag sets the print depth to zero and this is being inherited by your application. In your second example, you would also lose the output if you specified -q as follows: poly -q < t.ML polyc -o t t.o You could add

[polyml] Building an executable that runs the read-eval-print loop

I wanted to create an executable that runs the Poly/ML read-eval-print loop with some code of mine precompiled. What I found was that the print part of the read-eval-print loop doesn't work if I compile from source with polyc, but does work if I use PolyML.export to create a .o file and then link