|
00:15
zacts left
04:12
zacts joined
04:28
zacts left
07:09
dakkar joined
|
|||
| lizmat | Files=1352, Tests=117129, 292 wallclock secs (35.43 usr 9.40 sys + 4104.12 cusr 305.63 csys = 4454.58 CPU) | 07:13 | |
| oops, wrong channel | |||
|
08:05
Manifest0 left
08:09
Manifest0 joined
|
|||
| Nemokosch | I don't think it's generally a good idea to use these assertions in grammars | 08:44 | |
| stevied | why is that? | 11:27 | |
| Nemokosch | because it doesn't really fit the concept of context-free grammars and such | 11:30 | |
| eventually, you have tokens and a set of tokens are covered by one rule | 11:32 | ||
| the tokens belong to exactly one term in a matching. not zero, not multiple | |||
| stevied | well, my grammar would be a lot more comlicated without it | 11:36 | |
| i want to distinguish between a line that begins with one # sign and one that has more than one | |||
| so the lookahead ensures the next character isn't a '#` | |||
|
11:47
razetime joined
|
|||
| Nemokosch | why don't you just consume the '#', though? | 11:52 | |
| it is part of your grammar, after all. It's a legitimate token. | 11:53 | ||
| stevied | because I want to give a line with 2 or more pound signs a different meaning | 11:54 | |
| Nemokosch | that still sounds like a grammar design problem | ||
| since Raku grammars are PEGs from what I heard, you could just match to that different meaning first, hence only the single '#' reaches that meaning | 11:56 | ||
| stevied | i don't know what a PEG is | ||
| Nemokosch | parse expression grammar or sth like that | 11:57 | |
| en.wikipedia.org/wiki/Parsing_expr...on_grammar | |||
| dang | |||
| stevied | dunno, all I know is that this will make processing the lines with actions easier for me | 11:59 | |
| Nemokosch | Not sure if it's worth it, though | ||
| since it's not really compatible with the underlying grammar concept, there can be caveats | 12:00 | ||
|
12:45
razetime left
13:00
razetime joined
14:05
jgaz joined
14:07
jgaz left
|
|||
| stevied | stackoverflow.com/questions/716788...-lookahead | 14:11 | |
|
15:06
razetime left
15:14
razetime joined
15:38
dakkar left
15:43
razetime left
16:02
razetime joined
17:03
razetime left
17:40
jgaz joined
19:31
jgaz left
20:36
zacts joined
21:20
discord-raku-bot left
21:21
discord-raku-bot joined
21:24
zacts left
22:05
zacts joined
22:47
zacts left
23:23
discord-raku-bot left,
discord-raku-bot joined
|
|||