[polyml] stack trace

Hello,

I'm new to PolyML and have some questions concerning debugging and erro= r messages.

The function PolyML.exception_trace prints a number behind each functio= n name in the stack trace. Could someone please tell me what this number indicat= es?

Is there a way to get the line number of the input file (like njml does= ) where a Match exception is thrown?

Thanks in advance, Frank

***********************************************************************=

Frank Rittinger Albert-Ludwigs Universit=E4t Freiburg, Institut f=FCr Informatik Georges-Koehler-Allee, Geb. 52 (Room 00-021), 79110 Freiburg, Germany Phone: +49 761 203 8245 Fax: +49 761 203 8242 URL: http://www.informatik.uni-freiburg.de/~rittinge ***********************************************************************=