--- a/src/Tools/code/code_funcgr.ML Mon Dec 10 11:24:14 2007 +0100
+++ b/src/Tools/code/code_funcgr.ML Mon Dec 10 11:24:15 2007 +0100
@@ -157,7 +157,7 @@
val thy_classes = (#classes o Sorts.rep_algebra o Sign.classes_of) thy;
fun all_classparams tyco class =
these (try (#params o AxClass.get_info thy) class)
- |> map (fn (c, _) => Class.param_of_inst thy (c, tyco))
+ |> map (fn (c, _) => AxClass.param_of_inst thy (c, tyco))
in
Symtab.empty
|> fold (fn (tyco, class) =>
@@ -211,7 +211,7 @@
|> resort_funcss thy algebra funcgr
|> filter_out (can (Graph.get_node funcgr) o fst);
fun typ_func c [] = Code.default_typ thy c
- | typ_func c (thms as thm :: _) = case Class.inst_of_param thy c
+ | typ_func c (thms as thm :: _) = case AxClass.inst_of_param thy c
of SOME (c', tyco) =>
let
val (_, ty) = CodeUnit.head_func thm;