src/Tools/Code/code_namespace.ML
changeset 55776 7dd1971b39c1
parent 55684 ee49b4f7edc8
child 56826 ba18bd41e510
     1.1 --- a/src/Tools/Code/code_namespace.ML	Thu Feb 27 16:07:21 2014 +0000
     1.2 +++ b/src/Tools/Code/code_namespace.ML	Thu Feb 27 18:07:53 2014 +0100
     1.3 @@ -95,9 +95,7 @@
     1.4        let
     1.5          val succs = Code_Symbol.Graph.Keys.dest o Code_Symbol.Graph.imm_succs gr;
     1.6          val deps1 = succs sym;
     1.7 -        val deps2 = if class_transitive
     1.8 -          then []
     1.9 -          else [] |> fold (union (op =)) (map succs deps1) |> subtract (op =) deps1
    1.10 +        val deps2 = [] |> fold (union (op =)) (map succs deps1) |> subtract (op =) deps1
    1.11        in (deps1, deps2) end;
    1.12    in
    1.13      { is_datatype_or_class = is_datatype_or_class,
    1.14 @@ -115,6 +113,7 @@
    1.15          | Code_Thingol.Classinst _ => (SOME Opaque, NONE)
    1.16          | Code_Thingol.Datatypecons _ => (SOME Public, SOME Opaque)
    1.17          | Code_Thingol.Classparam _ => (SOME Public, SOME Opaque)
    1.18 +        | Code_Thingol.Class _ => (SOME Opaque, NONE)
    1.19          | Code_Thingol.Classrel _ =>
    1.20             (if class_relation_public
    1.21              then (SOME Public, SOME Opaque)