200 

   200 

   201   \footnote{\bf FIXME Mention how to work with @{ML_ind debug in Toplevel} and 

   201   \footnote{\bf FIXME Mention how to work with @{ML_ind debug in Toplevel} and 

   202   @{ML_ind profiling in Toplevel}.}

   202   @{ML_ind profiling in Toplevel}.}

   203 *}

   203 *}

   204 

   204 

   206 ML {* reset Toplevel.debug *}

   207 ML {* reset Toplevel.debug *}

   207 

   208 

   208 ML {* fun dodgy_fun () = (raise TYPE ("",[],[]); 1) *}

   209 ML {* fun dodgy_fun () = (raise TYPE ("",[],[]); 1) *}

   209 

   210 

   210 ML {* fun innocent () = dodgy_fun () *}

   211 ML {* fun innocent () = dodgy_fun () *}