equal
deleted
inserted
replaced
772 |
772 |
773 val anno_typ = S.option (P.name --| P.$$$ "::") -- P.typ |
773 val anno_typ = S.option (P.name --| P.$$$ "::") -- P.typ |
774 |
774 |
775 val bind_mode = P.$$$ "bind" |-- |
775 val bind_mode = P.$$$ "bind" |-- |
776 S.optional (Args.parens |
776 S.optional (Args.parens |
777 (Args.$$$ "list" >> K Lst || Args.$$$ "set" >> K Set || Args.$$$ "res" >> K Res)) Lst |
777 (Args.$$$ "list" >> K Lst || (Args.$$$ "set" -- Args.$$$ "+") >> K Res || Args.$$$ "set" >> K Set)) Lst |
778 |
778 |
779 val bind_clauses = |
779 val bind_clauses = |
780 P.enum "," (bind_mode -- S.repeat1 P.term -- (P.$$$ "in" |-- S.repeat1 P.name) >> triple) |
780 P.enum "," (bind_mode -- S.repeat1 P.term -- (P.$$$ "in" |-- S.repeat1 P.name) >> triple) |
781 |
781 |
782 val cnstr_parser = |
782 val cnstr_parser = |