Howdy, I'm trying to track down a bug, but PolyML.exception_trace doesn't seem to be working right. See the following example.
% test_exp.ML exception test_exp; fun f () = raise test_exp; fun g () = (2 + (f ())); fun h () = 2 * (g ()); bash> poly --use test_exp.ML Poly/ML 5.4.2 Testing exception test_exp val f = fn: unit -> 'a val g = fn: unit -> int val h = fn: unit -> int > h (); Exception- test_exp raised > PolyML.exception_trace h; Exception trace for exception - test_exp raised in test_stuff.ML line 2 End of trace Exception- test_exp raised > I'm using the latest Poly/ML SVN version. a _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
