Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more warnings for recent versions of Poly/ML (see also fe1f6a1707f7);
authorwenzelm
Tue, 25 Mar 2014 19:27:55 +0100
changeset 56283 20cf88cd3188
parent 56282 13f33298caa9
child 56284 fc4cf41d3504
more warnings for recent versions of Poly/ML (see also fe1f6a1707f7);
src/Pure/ML-Systems/polyml.ML file | annotate | diff | comparison | revisions
src/Pure/ML/exn_trace_polyml-5.5.1.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml.ML	Tue Mar 25 19:13:33 2014 +0100
+++ b/src/Pure/ML-Systems/polyml.ML	Tue Mar 25 19:27:55 2014 +0100
@@ -118,7 +118,6 @@
 PolyML.Compiler.reportUnreferencedIds := true;
 PolyML.Compiler.printInAlphabeticalOrder := false;
 PolyML.Compiler.maxInlineSize := 80;
-(*PolyML.Compiler.reportExhaustiveHandlers := true;*)
 
 fun ml_prompts p1 p2 = (PolyML.Compiler.prompt1 := p1; PolyML.Compiler.prompt2 := p2);
 
--- a/src/Pure/ML/exn_trace_polyml-5.5.1.ML	Tue Mar 25 19:13:33 2014 +0100
+++ b/src/Pure/ML/exn_trace_polyml-5.5.1.ML	Tue Mar 25 19:27:55 2014 +0100
@@ -12,3 +12,5 @@
         val _ = tracing (cat_lines (title :: trace));
       in reraise exn end);
 
+PolyML.Compiler.reportExhaustiveHandlers := true;
+
isabelle