src/Tools/nbe.ML
changeset 44789 5a062c23c7db
parent 44788 8b935f1b3cf8
child 47572 1e18bbfb40cb
     1.1 --- a/src/Tools/nbe.ML	Wed Sep 07 13:51:30 2011 +0200
     1.2 +++ b/src/Tools/nbe.ML	Wed Sep 07 13:51:32 2011 +0200
     1.3 @@ -425,7 +425,7 @@
     1.4          val params = Name.invent Name.context "d" (length names);
     1.5          fun mk (k, name) =
     1.6            (name, ([(v, [])],
     1.7 -            [([IConst (class, ((([], []), []), false)) `$$ map (IVar o SOME) params],
     1.8 +            [([IConst (class, ((([], []), ([], ITyVar "")), false)) `$$ map (IVar o SOME) params],
     1.9                IVar (SOME (nth params k)))]));
    1.10        in map_index mk names end
    1.11    | eqns_of_stmt (_, Code_Thingol.Classrel _) =
    1.12 @@ -433,8 +433,8 @@
    1.13    | eqns_of_stmt (_, Code_Thingol.Classparam _) =
    1.14        []
    1.15    | eqns_of_stmt (inst, Code_Thingol.Classinst ((class, (_, arity_args)), (super_instances, (classparam_instances, _)))) =
    1.16 -      [(inst, (arity_args, [([], IConst (class, ((([], []), []), false)) `$$
    1.17 -        map (fn (_, (_, (inst, dss))) => IConst (inst, ((([], dss), []), false))) super_instances
    1.18 +      [(inst, (arity_args, [([], IConst (class, ((([], []), ([], ITyVar "")), false)) `$$
    1.19 +        map (fn (_, (_, (inst, dss))) => IConst (inst, ((([], dss), ([], ITyVar "")), false))) super_instances
    1.20          @ map (IConst o snd o fst) classparam_instances)]))];
    1.21  
    1.22