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.
dropped dead code
authorhaftmann
Fri, 21 Feb 2014 19:20:24 +0100
changeset 55657 d5ad50aea356
parent 55656 eb07b0acbebc
child 55658 d696adf157e6
dropped dead code
src/Tools/Code/code_ml.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/Code/code_ml.ML	Fri Feb 21 18:23:11 2014 +0100
+++ b/src/Tools/Code/code_ml.ML	Fri Feb 21 19:20:24 2014 +0100
@@ -55,7 +55,6 @@
 fun print_sml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
   let
     val deresolve_const = deresolve o Constant;
-    val deresolve_tyco = deresolve o Type_Constructor;
     val deresolve_class = deresolve o Type_Class;
     val deresolve_classrel = deresolve o Class_Relation;
     val deresolve_inst = deresolve o Class_Instance;
@@ -361,7 +360,6 @@
 fun print_ocaml_stmt tyco_syntax const_syntax reserved is_constr deresolve =
   let
     val deresolve_const = deresolve o Constant;
-    val deresolve_tyco = deresolve o Type_Constructor;
     val deresolve_class = deresolve o Type_Class;
     val deresolve_classrel = deresolve o Class_Relation;
     val deresolve_inst = deresolve o Class_Instance;
isabelle