--- a/src/Pure/Isar/isar_syn.ML Tue Aug 14 11:37:58 2012 +0200
+++ b/src/Pure/Isar/isar_syn.ML Tue Aug 14 11:43:08 2012 +0200
@@ -902,7 +902,8 @@
val _ =
Outer_Syntax.improper_command @{command_spec "typ"} "read and print type"
- (opt_modes -- Parse.typ >> (Toplevel.no_timing oo Isar_Cmd.print_type));
+ (opt_modes -- (Parse.typ -- Scan.option (@{keyword "::"} |-- Parse.!!! Parse.sort))
+ >> (Toplevel.no_timing oo Isar_Cmd.print_type));
val _ =
Outer_Syntax.improper_command @{command_spec "print_codesetup"} "print code generator setup"