src/Tools/code/code_thingol.ML
changeset 30364 577edc39b501
parent 30280 eb98b49ef835
child 30648 17365ef082f3
     1.1 --- a/src/Tools/code/code_thingol.ML	Sun Mar 08 17:19:15 2009 +0100
     1.2 +++ b/src/Tools/code/code_thingol.ML	Sun Mar 08 17:26:14 2009 +0100
     1.3 @@ -243,18 +243,18 @@
     1.4      let
     1.5        val prefix = get_thyname thy name;
     1.6        val base = (Code_Name.purify_base true o get_basename) name;
     1.7 -    in NameSpace.append prefix base end;
     1.8 +    in Long_Name.append prefix base end;
     1.9  in
    1.10  
    1.11 -fun namify_class thy = namify thy NameSpace.base_name thyname_of_class;
    1.12 +fun namify_class thy = namify thy Long_Name.base_name thyname_of_class;
    1.13  fun namify_classrel thy = namify thy (fn (class1, class2) => 
    1.14 -  NameSpace.base_name class2 ^ "_" ^ NameSpace.base_name class1) (fn thy => thyname_of_class thy o fst);
    1.15 +  Long_Name.base_name class2 ^ "_" ^ Long_Name.base_name class1) (fn thy => thyname_of_class thy o fst);
    1.16    (*order fits nicely with composed projections*)
    1.17  fun namify_tyco thy "fun" = "Pure.fun"
    1.18 -  | namify_tyco thy tyco = namify thy NameSpace.base_name thyname_of_tyco tyco;
    1.19 +  | namify_tyco thy tyco = namify thy Long_Name.base_name thyname_of_tyco tyco;
    1.20  fun namify_instance thy = namify thy (fn (class, tyco) => 
    1.21 -  NameSpace.base_name class ^ "_" ^ NameSpace.base_name tyco) thyname_of_instance;
    1.22 -fun namify_const thy = namify thy NameSpace.base_name thyname_of_const;
    1.23 +  Long_Name.base_name class ^ "_" ^ Long_Name.base_name tyco) thyname_of_instance;
    1.24 +fun namify_const thy = namify thy Long_Name.base_name thyname_of_const;
    1.25  
    1.26  end; (* local *)
    1.27  
    1.28 @@ -327,7 +327,7 @@
    1.29  val suffix_const = "const";
    1.30  
    1.31  fun add_suffix nsp NONE = NONE
    1.32 -  | add_suffix nsp (SOME name) = SOME (NameSpace.append name nsp);
    1.33 +  | add_suffix nsp (SOME name) = SOME (Long_Name.append name nsp);
    1.34  
    1.35  in
    1.36