--- David Matthews wrote:
Brent Fulgham wrote:
Also, can I get PolyML to stop reporting "The standard function is OS.Process.exit" when I call "PolyML.quit()" ?
Use "OS.Process.exit OS.Process.success".
I did try this, but unfortunately the signature for the "onEntry" function wants a return value of {}, while the OS.Process.exit method returns a success status.
Furthermore, if you do exit the process using the OS.Process.exit function, you get additional runtime system output:
" Warning: The type of (it) contains a free type variable. Setting it to a unique monotype. "
This would also be nice to silence in "quiet" mode.
I didn't want to remove PolyML.quit completely but once there was a standard basis function to do the same job it seemed unnecessary to keep a non-standard function. I guess PolyML.quit is shorter to type. Does anyone have any feelings either way?
I would prefer to use the basis function. But some of the PolyML plumbing needs to be changed slightly to allow this to happen (as I described above).
Thanks,
-Brent