01:47
jcea has quit [Ping timeout: 272 seconds]
02:49
jinsun has quit [Ping timeout: 272 seconds]
04:01
jinsun has joined #pypy
04:03
itamarst has quit [Quit: Connection closed for inactivity]
04:53
jinsun has quit [Ping timeout: 260 seconds]
05:53
jinsun has joined #pypy
07:08
<
krono >
Theseus uses rlib.parsing, but I saw that cfbolz uses rply for the optimizer dsl and I recall that it was intended to nix rlib.parsing. should I switch?
07:29
<
cfbolz >
krono: rlib.parsing is basically dead and has very few users, rply also pretty dead with some users. so who knows
07:31
pbsds3 has joined #pypy
07:31
<
krono >
🤷 but you just made a new project w/ rply ;)
08:03
<
arigo_ >
cfbolz: yes, with some additional hacks if any_const is even
08:03
<
cfbolz >
I'm sure it's useful in exactly the right microbenchmark
08:10
<
korvo >
I'm happy to maintain a proper fork of rply if folks care. I have a patched version in rpypkgs.
09:14
slav0nic has joined #pypy
09:36
<
cfbolz >
korvo: there aren't any problems with it, that I know of
11:56
jcea has joined #pypy
12:10
itamarst has joined #pypy
14:39
Dejan has joined #pypy
15:38
jcea has quit [Ping timeout: 246 seconds]
16:01
Dejan has quit [Quit: Leaving]
16:53
Dejan has joined #pypy
17:13
<
korvo >
cfbolz: Yeah, the only problems appear when trying to build many RPython codebases against a single version of rply.
18:13
<
cfbolz >
korvo: ah. did you open a PR to upstream for fixing this?
18:25
<
korvo >
cfbolz: I patched individual projects. I have a few patches for Topaz and Hippy, IIRC.
18:25
<
cfbolz >
ah, it's not something that can be fixed in rply?
18:26
<
korvo >
I was going to wait until I had more projects packaged and building and working, and then I was going to ask y'all what we should do.
18:27
<
korvo >
...Huh, I haven't actually checked in the patch files? I should go find those first.
18:37
lazka4 has joined #pypy
18:41
lazka has quit [Read error: Connection reset by peer]
18:41
lazka4 is now known as lazka
18:54
jinsun has quit [Read error: Connection reset by peer]
19:06
Dejan has quit [Quit: Leaving]
21:34
jinsun has joined #pypy
22:00
jcea has joined #pypy
22:42
slav0nic has quit [Ping timeout: 244 seconds]
23:54
jcea has quit [Ping timeout: 246 seconds]