equal
deleted
inserted
replaced
125 val not_eof = Scan.one OuterLex.not_eof; |
125 val not_eof = Scan.one OuterLex.not_eof; |
126 |
126 |
127 |
127 |
128 (* enumerations *) |
128 (* enumerations *) |
129 |
129 |
130 fun enum1 sep scan = scan -- Scan.repeat ($$$ sep |-- scan) >> op ::; |
130 fun enum1 sep scan = scan -- Scan.repeat ($$$ sep |-- !!! scan) >> op ::; |
131 fun enum sep scan = enum1 sep scan || Scan.succeed []; |
131 fun enum sep scan = enum1 sep scan || Scan.succeed []; |
132 |
132 |
133 fun list1 scan = enum1 "," scan; |
133 fun list1 scan = enum1 "," scan; |
134 fun list scan = enum "," scan; |
134 fun list scan = enum "," scan; |
135 |
135 |