src/Pure/codegen.ML
changeset 30364 577edc39b501
parent 30288 a32700e45ab3
child 31125 80218ee73167
     1.1 --- a/src/Pure/codegen.ML	Sun Mar 08 17:19:15 2009 +0100
     1.2 +++ b/src/Pure/codegen.ML	Sun Mar 08 17:26:14 2009 +0100
     1.3 @@ -378,7 +378,7 @@
     1.4              | (true, "isup") => "" :: check_str zs
     1.5              | (ctrl, s') => (if ctrl then "ctrl_" ^ s' else s') :: check_str zs)
     1.6          | (ys, zs) => implode ys :: check_str zs);
     1.7 -    val s' = space_implode "_" (maps (check_str o Symbol.explode) (NameSpace.explode s))
     1.8 +    val s' = space_implode "_" (maps (check_str o Symbol.explode) (Long_Name.explode s))
     1.9    in
    1.10      if Symbol.is_ascii_letter (hd (explode s')) then s' else "id_" ^ s'
    1.11    end;
    1.12 @@ -388,8 +388,8 @@
    1.13      fun find_name [] = sys_error "mk_long_id"
    1.14        | find_name (ys :: yss) =
    1.15            let
    1.16 -            val s' = NameSpace.implode ys
    1.17 -            val s'' = NameSpace.append module s'
    1.18 +            val s' = Long_Name.implode ys
    1.19 +            val s'' = Long_Name.append module s'
    1.20            in case Symtab.lookup used s'' of
    1.21                NONE => ((module, s'),
    1.22                  (Symtab.update_new (s, (module, s')) tab,
    1.23 @@ -397,7 +397,7 @@
    1.24              | SOME _ => find_name yss
    1.25            end
    1.26    in case Symtab.lookup tab s of
    1.27 -      NONE => find_name (Library.suffixes1 (NameSpace.explode s))
    1.28 +      NONE => find_name (Library.suffixes1 (Long_Name.explode s))
    1.29      | SOME name => (name, p)
    1.30    end;
    1.31