equal
deleted
inserted
replaced
35 |
35 |
36 val visualize = gen_visualize (Type.cert_sort o Proof_Context.tsig_of); |
36 val visualize = gen_visualize (Type.cert_sort o Proof_Context.tsig_of); |
37 val visualize_cmd = gen_visualize Syntax.read_sort; |
37 val visualize_cmd = gen_visualize Syntax.read_sort; |
38 |
38 |
39 val _ = |
39 val _ = |
40 Outer_Syntax.improper_command @{command_spec "class_deps"} "visualize class dependencies" |
40 Outer_Syntax.command @{command_spec "class_deps"} "visualize class dependencies" |
41 ((Scan.optional Parse.sort "{}" -- Scan.option Parse.sort) >> (fn (raw_super, raw_sub) => |
41 ((Scan.optional Parse.sort "{}" -- Scan.option Parse.sort) >> (fn (raw_super, raw_sub) => |
42 ((Toplevel.unknown_theory oo Toplevel.keep) (fn st => visualize_cmd (Toplevel.context_of st) raw_super raw_sub)))); |
42 ((Toplevel.unknown_theory oo Toplevel.keep) (fn st => visualize_cmd (Toplevel.context_of st) raw_super raw_sub)))); |
43 |
43 |
44 end; |
44 end; |