Be cautious. I don't know about now, but at one point the line numbers were only 16 bits and we had large files so you only got the line number mod 2^16 (yuck). (This is all regarding the stab info.) _______________________________________________ MLton-user mailing list MLton-user@mlton.org http://mlton.org/mailman/listinfo/mlton-user