24 Sep
2011
24 Sep
'11
6:10 p.m.
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