amended to unoverload actually all parameters of a type variable
authorimmler
Mon, 13 May 2019 13:39:59 +0200
changeset 70464 02920bc314ee
parent 70463 94b332206700
child 70465 a3862cf94e73
amended to unoverload actually all parameters of a type variable
src/HOL/Types_To_Sets/unoverload_type.ML
--- a/src/HOL/Types_To_Sets/unoverload_type.ML	Mon May 13 16:30:20 2019 +0200
+++ b/src/HOL/Types_To_Sets/unoverload_type.ML	Mon May 13 13:39:59 2019 +0200
@@ -16,7 +16,7 @@
 fun params_of_class thy class = try (Axclass.get_info thy #> #params) class |> these
 
 fun params_of_super_classes thy class =
-  Sorts.super_classes (Sign.classes_of thy) class |> maps (params_of_class thy)
+  class::Sorts.super_classes (Sign.classes_of thy) class |> maps (params_of_class thy)
 
 fun params_of_sort thy sort = maps (params_of_super_classes thy) sort