3 Nov
2004
3 Nov
'04
5:48 p.m.
On Wednesday 03 Nov 2004 5:05 pm, Stephen Weeks wrote:
.. Not sure about the Poly/ML stuff, but couldn't you wrap your code in
handle _ => OS.Process.exit OS.Process.success
Not really. My code is ProofPower, which is an LCF-style interactive theorem-prover that uses ML as its interactive command language. What's happening is that I already have my own read-eval-print loop constructed using PolyML.compiler and it prints out exceptions the way I want them printed, but then the user sees them twice, first printed my way and then printed by Poly/ML.
Regards,
Rob.