1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Fri Jan 31 17:50:50 2014 +0100
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Sat Feb 01 16:44:45 2014 +0100
     1.3 @@ -347,14 +347,6 @@
     1.4  	else del k (ptyps @ [Ptyp (k', [p], ps)]) pys;
     1.5  in del k [] ptyps end;
     1.6  
     1.7 -
     1.8 -fun coll_metguhs mets =
     1.9 -    let fun node coll (Ptyp (_,[n],ns)) =
    1.10 -	    [(#guh : met -> guh) n]
    1.11 -	and nodes coll [] = coll
    1.12 -	  | nodes coll (n::ns) = (node coll n) @ (nodes coll ns);
    1.13 -    in nodes [] mets end;
    1.14 -
    1.15  (*.lookup a guh in hierarchy or methods depending on fst chars in guh.*)
    1.16  fun guh2kestoreID (guh:guh) =
    1.17      case (implode o (take_fromto 1 4) o Symbol.explode) guh of
    1.18 @@ -389,16 +381,6 @@
    1.19  (*> guh2kestoreID "pbl_equ_univ_lin";
    1.20  val it = ["linear", "univariate", "equation"] : string list*)
    1.21  
    1.22 -   
    1.23 -(* val (guh, mets) = ("met_test", !mets);
    1.24 -   *)
    1.25 -fun check_metguh_unique (guh:guh) (mets: (met ptyp) list) =
    1.26 -    if member op = (coll_metguhs mets) guh
    1.27 -    then error ("check_guh_unique failed with '"^guh^"';\n"^
    1.28 -		      "use 'sort_metguhs()' for a list of guhs;\n"^
    1.29 -		      "consider setting 'check_guhs_unique := false'")
    1.30 -    else ();
    1.31 -
    1.32  
    1.33  
    1.34  (*.the metID has the root-element as first.*)