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.
report unreferenced ids;
authorwenzelm
Wed, 30 Sep 2009 15:00:43 +0200
changeset 32778 a92a18253f1e
parent 32777 8ae3a48c69d9
child 32783 e43d761a742d
report unreferenced ids;
src/Pure/ML-Systems/polyml-experimental.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml-experimental.ML	Wed Sep 30 11:45:42 2009 +0200
+++ b/src/Pure/ML-Systems/polyml-experimental.ML	Wed Sep 30 15:00:43 2009 +0200
@@ -27,6 +27,7 @@
 fun share_common_data () = PolyML.shareCommonData PolyML.rootFunction;
 
 use "ML-Systems/compiler_polyml-5.3.ML";
+PolyML.Compiler.reportUnreferencedIds := true;
 
 
 (* toplevel pretty printing *)
isabelle