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.
optional static analysis for Poly/ML 5.5.x;
authorwenzelm
Thu, 01 Aug 2013 23:10:46 +0200
changeset 52837 fe1f6a1707f7
parent 52836 1a03ffc00a4a
child 52838 cc425a7dc9ad
optional static analysis for Poly/ML 5.5.x;
src/Pure/ML-Systems/polyml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml.ML	Thu Aug 01 22:47:52 2013 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Thu Aug 01 23:10:46 2013 +0200
@@ -105,6 +105,7 @@
 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);
isabelle