src/Pure/ML/exn_trace_polyml-5.5.1.ML

       let
         val title = "Exception trace - " ^ exn_message exn;
         val _ = tracing (cat_lines (title :: trace));
       in reraise exn end);
 
+PolyML.Compiler.reportExhaustiveHandlers := true;
+