equal
deleted
inserted
replaced
79 val opt_infix': mixfix parser |
79 val opt_infix': mixfix parser |
80 val opt_mixfix: mixfix parser |
80 val opt_mixfix: mixfix parser |
81 val opt_mixfix': mixfix parser |
81 val opt_mixfix': mixfix parser |
82 val where_: string parser |
82 val where_: string parser |
83 val const: (string * string * mixfix) parser |
83 val const: (string * string * mixfix) parser |
|
84 val const_binding: (binding * string * mixfix) parser |
84 val params: (binding * string option) list parser |
85 val params: (binding * string option) list parser |
85 val simple_fixes: (binding * string option) list parser |
86 val simple_fixes: (binding * string option) list parser |
86 val fixes: (binding * string option * mixfix) list parser |
87 val fixes: (binding * string option * mixfix) list parser |
87 val for_fixes: (binding * string option * mixfix) list parser |
88 val for_fixes: (binding * string option * mixfix) list parser |
88 val for_simple_fixes: (binding * string option) list parser |
89 val for_simple_fixes: (binding * string option) list parser |
289 (* fixes *) |
290 (* fixes *) |
290 |
291 |
291 val where_ = $$$ "where"; |
292 val where_ = $$$ "where"; |
292 |
293 |
293 val const = name -- ($$$ "::" |-- !!! typ) -- opt_mixfix >> triple1; |
294 val const = name -- ($$$ "::" |-- !!! typ) -- opt_mixfix >> triple1; |
|
295 val const_binding = binding -- ($$$ "::" |-- !!! typ) -- opt_mixfix >> triple1; |
294 |
296 |
295 val params = Scan.repeat1 binding -- Scan.option ($$$ "::" |-- !!! typ) |
297 val params = Scan.repeat1 binding -- Scan.option ($$$ "::" |-- !!! typ) |
296 >> (fn (xs, T) => map (rpair T) xs); |
298 >> (fn (xs, T) => map (rpair T) xs); |
297 |
299 |
298 val simple_fixes = and_list1 params >> flat; |
300 val simple_fixes = and_list1 params >> flat; |