I just saw a discussion of this in comp.lang.functional and OCaml requires the -b flag to get the traceback.