equal
deleted
inserted
replaced
1031 |
1031 |
1032 val opt_print_modes = |
1032 val opt_print_modes = |
1033 Scan.optional (@{keyword "("} |-- Parse.!!! (Scan.repeat1 Parse.xname --| @{keyword ")"})) [] |
1033 Scan.optional (@{keyword "("} |-- Parse.!!! (Scan.repeat1 Parse.xname --| @{keyword ")"})) [] |
1034 |
1034 |
1035 val _ = |
1035 val _ = |
1036 Outer_Syntax.command @{command_spec "values_prolog"} |
1036 Outer_Syntax.command @{command_keyword values_prolog} |
1037 "enumerate and print comprehensions" |
1037 "enumerate and print comprehensions" |
1038 (opt_print_modes -- Scan.optional (Parse.nat >> SOME) NONE -- Parse.term |
1038 (opt_print_modes -- Scan.optional (Parse.nat >> SOME) NONE -- Parse.term |
1039 >> (fn ((print_modes, soln), t) => Toplevel.keep (values_cmd print_modes soln t))) |
1039 >> (fn ((print_modes, soln), t) => Toplevel.keep (values_cmd print_modes soln t))) |
1040 |
1040 |
1041 |
1041 |