next up previous
Next: eautils.n Up: Implementation Previous: patcheck.n


This file includes the exception information of the pervasive functions. get: fid -> exninfo returns may-uncaught exceptions for a given pervasive function. Currently, nML EA reports ``OCaml_Exception'' for all the exceptions from OCaml libraries. When a programmer wants to get more detailed reports, it can be easily extended: the programmer needs to add more information into the get function with respect to the fid in perv.n of nML CFA.

Sukyoung Ryu