src/Tools/Code/code_symbol.ML
changeset 55149 626d8f08d479
parent 55147 bce3dbc11f95
child 55150 0940309ed8f1
     1.1 --- a/src/Tools/Code/code_symbol.ML	Sat Jan 25 23:50:49 2014 +0100
     1.2 +++ b/src/Tools/Code/code_symbol.ML	Sat Jan 25 23:50:49 2014 +0100
     1.3 @@ -42,12 +42,6 @@
     1.4    val lookup_module_data: ('a, 'b, 'c, 'd, 'e, 'f) data -> string -> 'f option
     1.5    val lookup: ('a, 'a, 'a, 'a, 'a, 'a) data -> symbol -> 'a option
     1.6    val symbols_of: ('a, 'b, 'c, 'd, 'e, 'f) data -> symbol list
     1.7 -  val mapped_const_data: (string -> 'a -> 'g) -> ('a, 'b, 'c, 'd, 'e, 'f) data -> 'g Symtab.table
     1.8 -  val dest_constant_data: ('a, 'b, 'c, 'd, 'e, 'f) data -> (string * 'a) list
     1.9 -  val dest_type_constructor_data: ('a, 'b, 'c, 'd, 'e, 'f) data -> (string * 'b) list
    1.10 -  val dest_type_class_data: ('a, 'b, 'c, 'd, 'e, 'f) data -> (class * 'c) list
    1.11 -  val dest_class_relation_data: ('a, 'b, 'c, 'd, 'e, 'f) data -> ((class * class) * 'd) list
    1.12 -  val dest_class_instance_data: ('a, 'b, 'c, 'd, 'e, 'f) data -> ((string * class) * 'e) list
    1.13    val dest_module_data: ('a, 'b, 'c, 'd, 'e, 'f) data -> (string * 'f) list
    1.14  end;
    1.15  
    1.16 @@ -219,13 +213,6 @@
    1.17    @ (map Class_Instance o Symreltab.keys o #class_instance o dest_data) x
    1.18    @ (map Module o Symtab.keys o #module o dest_data) x;
    1.19  
    1.20 -fun mapped_const_data f x = Symtab.map f ((#constant o dest_data) x);
    1.21 -
    1.22 -fun dest_constant_data x = (Symtab.dest o #constant o dest_data) x;
    1.23 -fun dest_type_constructor_data x = (Symtab.dest o #type_constructor o dest_data) x;
    1.24 -fun dest_type_class_data x = (Symtab.dest o #type_class o dest_data) x;
    1.25 -fun dest_class_relation_data x = (Symreltab.dest o #class_relation o dest_data) x;
    1.26 -fun dest_class_instance_data x = (Symreltab.dest o #class_instance o dest_data) x;
    1.27  fun dest_module_data x = (Symtab.dest o #module o dest_data) x;
    1.28  
    1.29  end;