1.1 --- a/test/Tools/isac/Specify/ptyps.sml	Wed Apr 22 14:36:27 2020 +0200
     1.2 +++ b/test/Tools/isac/Specify/ptyps.sml	Wed Apr 22 16:01:53 2020 +0200
     1.3 @@ -421,27 +421,27 @@
     1.4  "----------- fun coll_guhs ---------------------------------------";
     1.5  "----------- fun coll_guhs ---------------------------------------";
     1.6  val n = Probl_Def.empty;
     1.7 -(#guh : Problem.T -> Check_Unique.guh) Probl_Def.empty;
     1.8 +(#guh : Problem.T -> Check_Unique.id) Probl_Def.empty;
     1.9  
    1.10  fun XXXnode coll (Store.Node (_,[n],ns)) =
    1.11 -    [(#guh : Problem.T -> Check_Unique.guh) n]
    1.12 +    [(#guh : Problem.T -> Check_Unique.id) n]
    1.13  and XXXnodes coll [] = coll
    1.14    | XXXnodes coll (n::ns : Problem.T Store.T) = (XXXnode coll n) @ 
    1.15  					    (XXXnodes coll ns);
    1.16  (*^^^ this works, but not this ...
    1.17  fun node coll (Store.Node (_,[n],ns)) =
    1.18 -    [(#guh : 'a -> Check_Unique.guh) n]
    1.19 +    [(#guh : 'a -> Check_Unique.id) n]
    1.20  and nodes coll [] = coll
    1.21    | nodes coll (n::ns : 'a Store.T) = (node coll n) @ (nodes coll ns);
    1.22  
    1.23  Error:
    1.24  Can't unify {guh: 'a, ...} with 'b (Cannot unify with explicit type variable)
    1.25 -   Found near #guh : 'a -> Check_Unique.guh
    1.26 +   Found near #guh : 'a -> Check_Unique.id
    1.27  
    1.28  i.e. there is no common fun for pbls and mets ?!?*)
    1.29  
    1.30 -((Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.guh))) (get_ptyps ());
    1.31 -sort string_ord (((Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.guh))) (get_ptyps ()));
    1.32 +((Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.id))) (get_ptyps ());
    1.33 +sort string_ord (((Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.id))) (get_ptyps ()));
    1.34  show_pblguhs ();
    1.35  sort_pblguhs ();
    1.36