Nicholas Nethercote
2a5487afb4
Merge TokenStreamBuilder::push into TokenStreamBuilder::build.
...
Both functions do some modifying of streams using `make_mut`:
- `push` sometimes glues the first token of the next stream to the last
token of the first stream.
- `build` appends tokens to the first stream.
By doing all of this in the one place, things are simpler. The first
stream can be modified in both ways (if necessary) in the one place, and
any next stream with the first token removed doesn't need to be stored.
2022-06-20 13:46:11 +10:00
..
2022-06-14 07:47:24 +09:00
2022-06-03 17:16:41 -04:00
2022-06-20 13:46:11 +10:00
2022-06-17 10:00:11 +00:00
2022-06-16 11:13:30 +00:00
2022-06-02 11:22:16 +10:00
2022-06-14 19:46:13 -04:00
2022-06-15 19:37:14 +09:00
2022-06-15 07:37:40 -03:00
2022-06-19 00:17:13 +02:00
2022-06-17 07:16:55 +09:00
2022-06-19 00:17:13 +02:00
2022-06-19 15:26:29 +02:00
2022-06-15 20:54:43 +10:00
2022-06-16 19:54:42 +04:00
2022-06-16 19:54:42 +04:00
2022-06-12 19:52:49 -03:00
2022-06-16 19:54:42 +04:00
2022-06-17 17:30:16 +00:00
2022-06-20 09:33:08 +10:00
2022-06-16 19:54:42 +04:00
2022-06-03 17:16:41 -04:00
2022-06-19 00:17:13 +02:00
2022-06-12 00:16:27 +02:00
2022-06-18 09:57:00 +00:00
2022-06-17 07:35:22 +00:00
2022-06-15 19:37:14 +09:00
2022-06-19 00:17:13 +02:00
2022-06-19 09:44:32 +02:00
2022-06-18 00:02:52 +00:00
2022-06-14 14:50:52 +02:00
2022-06-08 10:24:12 +00:00
2022-06-19 15:26:28 +02:00
2022-06-19 14:51:28 +00:00
2022-06-16 11:25:34 +10:00
2022-06-19 00:17:13 +02:00
2022-06-19 00:17:13 +02:00
2022-06-15 12:02:02 +09:00
2022-06-17 18:48:09 +09:00
2022-06-18 09:57:00 +00:00
2022-06-13 22:20:51 +03:00
2022-06-12 00:16:27 +02:00
2022-06-17 10:00:11 +00:00
2022-06-17 10:00:11 +00:00
2022-06-17 10:00:11 +00:00
2022-06-12 00:16:27 +02:00
2022-06-16 16:20:32 +10:00
2022-06-16 09:10:20 +02:00
2022-06-02 10:29:00 +00:00
2022-06-16 11:13:30 +00:00
2022-06-15 12:02:02 +09:00
2022-06-18 17:48:00 -07:00
2022-06-19 15:26:28 +02:00
2022-06-14 16:07:11 +02:00
2022-06-14 16:07:11 +02:00
2022-06-14 14:52:01 +10:00
2022-06-19 15:26:30 +02:00