equal
deleted
inserted
replaced
288 |
288 |
289 val parse_type_arg_constrained = |
289 val parse_type_arg_constrained = |
290 Parse.type_ident -- Scan.option (@{keyword "::"} |-- Parse.!!! Parse.sort); |
290 Parse.type_ident -- Scan.option (@{keyword "::"} |-- Parse.!!! Parse.sort); |
291 |
291 |
292 val parse_type_arg_named_constrained = |
292 val parse_type_arg_named_constrained = |
293 (Parse.minus --| @{keyword ":"} >> K NONE || parse_opt_binding_colon >> SOME) -- |
293 (Parse.reserved "dead" >> K NONE || parse_opt_binding_colon >> SOME) -- |
294 parse_type_arg_constrained; |
294 parse_type_arg_constrained; |
295 |
295 |
296 val parse_type_args_named_constrained = |
296 val parse_type_args_named_constrained = |
297 parse_type_arg_constrained >> (single o pair (SOME Binding.empty)) || |
297 parse_type_arg_constrained >> (single o pair (SOME Binding.empty)) || |
298 @{keyword "("} |-- Parse.!!! (Parse.list1 parse_type_arg_named_constrained --| @{keyword ")"}) || |
298 @{keyword "("} |-- Parse.!!! (Parse.list1 parse_type_arg_named_constrained --| @{keyword ")"}) || |