00:04
orbifx has quit [Ping timeout: 240 seconds]
00:16
omarramo has joined #ocaml
00:18
assemblyman has quit [Quit: ™]
00:29
<
cemerick >
speaking of yojson, it is documented as offering a `show`, but doesn't actually?
00:35
omarramo has quit [Ping timeout: 240 seconds]
00:42
FreeBirdLjj has joined #ocaml
00:49
FreeBirdLjj has quit [Read error: Connection reset by peer]
00:52
FreeBirdLjj has joined #ocaml
01:03
FreeBirdLjj has quit [Remote host closed the connection]
01:03
FreeBirdLjj has joined #ocaml
01:06
mfp has quit [Ping timeout: 246 seconds]
01:08
FreeBirdLjj has quit [Ping timeout: 250 seconds]
01:16
<
cemerick >
oh, show and pp were just added, just needed to upgrade
01:16
FreeBirdLjj has joined #ocaml
01:21
FreeBirdLjj has quit [Remote host closed the connection]
01:24
FreeBirdLjj has joined #ocaml
01:38
marsam has joined #ocaml
01:43
silver has quit [Read error: Connection reset by peer]
01:49
FreeBirdLjj has quit [Ping timeout: 245 seconds]
01:51
FreeBirdLjj has joined #ocaml
02:29
mhcat has joined #ocaml
02:35
marsam has quit [Ping timeout: 272 seconds]
02:52
carlosdagos has joined #ocaml
03:08
tormen has joined #ocaml
03:08
FreeBirdLjj has quit [Ping timeout: 252 seconds]
03:11
tormen_ has quit [Ping timeout: 245 seconds]
03:14
FreeBirdLjj has joined #ocaml
03:27
notzmv has joined #ocaml
04:04
abcxyz[m] has left #ocaml [#ocaml]
04:30
mhcat has quit [Ping timeout: 246 seconds]
04:34
jao has quit [Ping timeout: 244 seconds]
05:01
FreeBirdLjj has quit [Read error: Connection reset by peer]
05:03
iovec has joined #ocaml
05:03
FreeBirdLjj has joined #ocaml
05:07
FreeBirdLjj has quit [Ping timeout: 240 seconds]
05:25
pzp has quit [Quit: Connection closed for inactivity]
05:41
FreeBirdLjj has joined #ocaml
05:47
FreeBirdLjj has quit [Ping timeout: 268 seconds]
05:48
wilfredh has quit [Quit: Connection closed for inactivity]
05:53
themsay has joined #ocaml
06:14
themsay has quit [Ping timeout: 246 seconds]
06:15
themsay has joined #ocaml
06:22
FreeBirdLjj has joined #ocaml
06:23
FreeBirdLjj has quit [Remote host closed the connection]
06:23
FreeBirdLjj has joined #ocaml
06:31
cobreadmonster has joined #ocaml
07:01
nicoo has quit [Remote host closed the connection]
07:02
nicoo has joined #ocaml
07:06
gravicappa has joined #ocaml
08:01
Spetznaz_ has quit [Ping timeout: 268 seconds]
08:15
ravenousmoose has joined #ocaml
08:21
pierpal has joined #ocaml
08:41
mfp has joined #ocaml
08:47
bartholin has joined #ocaml
08:48
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
09:00
cobreadmonster has quit [Quit: Connection closed for inactivity]
09:06
ravenousmoose has joined #ocaml
09:07
ravenous_ has joined #ocaml
09:10
ravenousmoose has quit [Ping timeout: 252 seconds]
09:15
<
Leonidas >
companion_cube: doesn't notty work as a lambda-term replacement?
09:15
<
Leonidas >
cmk_zzz: ^
09:16
<
Leonidas >
cemerick: update to 1.6.0
09:21
orbifx has joined #ocaml
09:21
ravenous_ has quit [Quit: Taking a quick nap...ZZzzz]
09:22
ravenousmoose has joined #ocaml
09:47
<
Drup >
Leonidas: notty is not updated, missing lot's of feature, and not portable to windows
09:47
<
Drup >
It might have become something with more work, but in the current state, no, it's not a valid replacement
09:48
freyr69 has joined #ocaml
09:48
aecepoglu[m] has left #ocaml [#ocaml]
09:49
freyr69 has quit [Quit: ERC (IRC client for Emacs 26.1)]
09:49
aecepoglu[m] has joined #ocaml
09:49
kakadu has joined #ocaml
09:49
freyr69 has joined #ocaml
09:49
<
freyr69 >
Is 4.08 at hand? Is there any approximate release date?
10:07
<
orbifx >
what's pushing you to 4.08?
10:09
<
Armael >
4.08 has been frozen so I guess a beta is coming soon
10:14
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
10:15
asymptotically has joined #ocaml
10:18
gareppa has joined #ocaml
10:19
gareppa has quit [Remote host closed the connection]
10:41
Haudegen has joined #ocaml
10:48
<
freyr69 >
Basically let operators
11:11
carlosdagos has quit [Quit: Connection closed for inactivity]
11:15
ravenousmoose has joined #ocaml
11:16
steenuil_ has joined #ocaml
11:18
steenuil has quit [Ping timeout: 246 seconds]
11:21
<
orbifx >
freyr69: let operators? link please?
11:21
ravenous_ has joined #ocaml
11:21
themsay has quit [Ping timeout: 245 seconds]
11:22
themsay has joined #ocaml
11:22
govg has quit [Ping timeout: 240 seconds]
11:24
ollehar has joined #ocaml
11:24
ravenousmoose has quit [Ping timeout: 250 seconds]
11:28
<
orbifx >
freyr69: thanks, that's cool
11:29
ravenousmoose has joined #ocaml
11:32
ravenous_ has quit [Ping timeout: 250 seconds]
11:34
ravenous_ has joined #ocaml
11:36
ravenous_ has quit [Client Quit]
11:38
ravenousmoose has quit [Ping timeout: 252 seconds]
11:46
ravenousmoose has joined #ocaml
11:59
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
12:01
ravenousmoose has joined #ocaml
12:01
ravenousmoose is now known as ravenousmoose[aw
12:02
ravenousmoose[aw has quit [Client Quit]
12:04
aecepoglu[m] has left #ocaml ["User left"]
12:04
aecepoglu[m] has joined #ocaml
12:04
<
aecepoglu[m] >
Hey Leonidas , I guess my setup works now
12:05
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
12:09
notzmv has quit [Ping timeout: 250 seconds]
12:10
aecepoglu has joined #ocaml
12:11
<
aecepoglu[m] >
or not
12:15
aecepoglu has quit [Client Quit]
12:15
silver has joined #ocaml
12:23
gareppa has joined #ocaml
12:25
gareppa has quit [Remote host closed the connection]
12:31
omarramo has joined #ocaml
12:56
Haudegen has quit [Remote host closed the connection]
13:16
pierpal has quit [Quit: Poof]
13:17
pierpal has joined #ocaml
13:21
danielh1234 has joined #ocaml
13:43
<
cemerick >
some pretty wild syntax suggestions in that monadic let PR!
14:07
Haudegen has joined #ocaml
14:08
jao has joined #ocaml
14:09
FreeBirdLjj has quit [Remote host closed the connection]
14:10
FreeBirdLjj has joined #ocaml
14:10
FreeBirdLjj has quit [Read error: Connection reset by peer]
14:16
asymptotically has quit [Quit: Leaving]
14:22
lorp has quit [Quit: Leaving]
14:40
spew has joined #ocaml
14:46
freyr69 has quit [Remote host closed the connection]
14:58
cantstanya has quit [Remote host closed the connection]
15:00
cantstanya has joined #ocaml
15:10
mildtaste has left #ocaml [#ocaml]
15:12
twopoint718 has joined #ocaml
15:13
FreeBirdLjj has joined #ocaml
15:16
zolk3ri has joined #ocaml
15:18
FreeBirdLjj has quit [Ping timeout: 246 seconds]
15:19
danielh1234 has quit [Quit: Konversation terminated!]
15:31
ziyourenxiang has quit [Ping timeout: 246 seconds]
15:39
bugabinga has joined #ocaml
15:59
ravenousmoose[aw has joined #ocaml
16:00
ravenousmoose[aw has quit [Client Quit]
16:04
rymdhund has joined #ocaml
16:24
twopoint718 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
16:27
jaar has joined #ocaml
16:33
ollehar has quit [Remote host closed the connection]
16:48
<
Leonidas >
aecepoglu[m]: I do see your message
16:48
<
Leonidas >
Drup: what is windows?
16:49
<
Leonidas >
I thought windows now comes with a proper OS?
16:57
<
jgkamat >
I think windows is just solaris if you look through it
17:04
<
orbifx >
and have taken some very powerful drug :)
17:05
omarramo has quit [Ping timeout: 250 seconds]
17:06
ravenousmoose has joined #ocaml
17:08
orbifx has quit [Quit: WeeChat 2.3]
17:15
pierpal has quit [Quit: Poof]
17:16
pierpal has joined #ocaml
17:28
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
17:32
jaar has quit [Quit: Leaving]
17:42
ravenousmoose has joined #ocaml
17:43
marvin2 has joined #ocaml
17:53
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
18:12
Serpent7776 has joined #ocaml
18:14
NaN has joined #ocaml
18:15
NaN has left #ocaml [#ocaml]
18:15
TheLemonMan has joined #ocaml
18:23
jnavila has joined #ocaml
18:31
ravenousmoose[aw has joined #ocaml
18:32
ravenousmoose[aw has quit [Client Quit]
18:42
twopoint718 has joined #ocaml
18:52
layeredeggplant has quit [Quit: bye]
19:02
ostera1974 has joined #ocaml
19:04
ravenousmoose[aw has joined #ocaml
19:05
ravenousmoose[aw has quit [Client Quit]
19:18
jao has quit [Disconnected by services]
19:19
jao has joined #ocaml
19:29
twopoint718 has quit [Read error: Connection reset by peer]
19:38
kakadu_ has joined #ocaml
19:42
zolk3ri has quit [Remote host closed the connection]
19:53
ravenousmoose has joined #ocaml
19:53
ravenousmoose is now known as ravenousmoose[aw
19:55
ravenousmoose[aw has quit [Client Quit]
19:58
<
Drup >
cemerick: hii
*wave hand*
19:59
<
cemerick >
making that happen is of great interest to me. I've done splittable/resumable regex impls, and would like to not do so again
20:00
<
cemerick >
though it sounds like the objective there isn't quite reaching for splittable state, just resumable
20:01
<
Drup >
what's your exact objective ?
20:04
<
cemerick >
"regular" incremental matching (called streaming here, I guess), but also the ability to split/clone the state so matching can be restarted from any point
20:06
<
Drup >
You want real incremental matching, not just Re.all, right ?
20:06
<
cemerick >
e.g. get a partial match on 'abc', take a clone of the resulting state (however many times as needed, depending on how "wide" the input "tree" happens to be), and run from there
20:06
omarramo has joined #ocaml
20:07
<
Drup >
doing that in Re would be tricky
20:08
<
cemerick >
so `Re.all` looks like it yields all of the matches in a single string?
20:08
<
cemerick >
yeah, that's not what I'm after
20:08
ostera1974 has quit [Ping timeout: 250 seconds]
20:09
<
Drup >
so, if you are looking for a short term solution, hacking sedlex to get you what you want will be much faster
20:10
<
Drup >
what's your use case for reifying the matcher's state ?
20:11
<
cemerick >
interesting...but that seems like a separate category, pushing the match specification into code. The patterns I want to match over are coming from users, so the typical runtime pattern compilation of regexes is appropriate
20:12
<
Drup >
oh, alright, so sedlex doesn't work for that indeed
20:13
omarramo has quit [Read error: Connection reset by peer]
20:14
gravicappa has quit [Ping timeout: 240 seconds]
20:15
<
cemerick >
Drup: the use case is (potentially) exhaustively searching for matching text in multiple directions (i.e. from a two-dimensional non-plain-text document)
20:17
<
cemerick >
I was expecting to just have to roll my usual half-baked regex impl, but I'd be happy to help with ocaml-re in this department if it's a fit
20:19
<
Drup >
you can take a shot
20:20
Spetznaz_ has joined #ocaml
20:22
<
Drup >
you'll find the code of Re ... interesting
20:22
TheLemonMan has quit [Ping timeout: 250 seconds]
20:26
ravenousmoose has joined #ocaml
20:26
ravenousmoose is now known as ravenousmoose[aw
20:27
ravenousmoose[aw has quit [Client Quit]
20:31
<
cemerick >
mmm, PCRE2 supports this straightforwardly
20:52
mhcat has joined #ocaml
20:54
<
companion_cube >
cemerick: so does containers#master solve the perf degradation?
20:54
<
cemerick >
companion_cube: yeah! Sorry if you missed my report from yesterday?
20:55
<
companion_cube >
I just got "full of good news" without other details :D
20:55
<
cemerick >
heh, sorry for not being clear then
20:56
<
cemerick >
yes, exactly the same outcome as using Monomorphic.Float, i.e. maybe 5% better than polymorphic ops
20:56
<
companion_cube >
well I want the crunchy details :D
20:56
<
companion_cube >
nice.
20:56
Haudegen has quit [Remote host closed the connection]
20:58
<
companion_cube >
well thanks for the bug report.
21:00
TheLemonMan has joined #ocaml
21:02
TC01 has quit [Ping timeout: 246 seconds]
21:12
keep_learning has quit [Quit: Ping timeout (120 seconds)]
21:19
TC01 has joined #ocaml
21:34
<
cemerick >
Drup: you weren't kidding re: -re 🤨
21:36
<
Drup >
ahah, you don't like the code ? :)
21:36
<
companion_cube >
-re?
21:38
<
cemerick >
ocaml-re
21:39
<
cemerick >
Drup: if I develop enough context, it'll probably be great. Skimming it now, it
_almost_ looks generated.
21:39
<
companion_cube >
ah, is it that ugly? except for the matching code I mean
21:39
<
Drup >
the matching code is slightly demented
21:39
<
companion_cube >
but it's not so much the code as the algorithm itself, right?
21:40
<
cemerick >
I think I might be better off rolling PCRE2 bindings than trying to offer a pretty delicate PR on -re
21:41
<
Drup >
cemerick: do you want some litterature to help ?
21:41
<
Drup >
there are pcre2 bindings already
21:42
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
21:42
<
Drup >
Ah, so there are bindings to pcre1 and re2, unfortunately, that doesn't compose :D
21:43
<
Drup >
google's library
21:44
<
Drup >
I do not now if it has reified state
21:46
<
cemerick >
it doesn't, and doesn't support partial matching in any case
21:46
<
Drup >
I'm not surprised
21:47
<
Drup >
it goes a bit against online determinisation
21:47
<
cemerick >
its objective is safety, so it's never going to be "feature-rich" relative to the PCRE hairball :-D
21:51
ravenousmoose[aw has joined #ocaml
21:52
ravenousmoose[aw has quit [Client Quit]
21:53
pepesza has quit [Ping timeout: 240 seconds]
21:54
pepesza has joined #ocaml
21:56
rymdhund has quit [Ping timeout: 246 seconds]
21:58
klntsky has quit [Ping timeout: 256 seconds]
21:59
eagleflo has quit [Ping timeout: 272 seconds]
22:00
klntsky has joined #ocaml
22:20
jnavila has quit [Ping timeout: 246 seconds]
22:29
Haudegen has joined #ocaml
22:38
webshinra has quit [Remote host closed the connection]
22:38
webshinra has joined #ocaml
22:39
iovec has quit [Ping timeout: 252 seconds]
22:41
iovec has joined #ocaml
22:44
Serpent7776 has quit [Quit: leaving]
23:18
kakadu_ has quit [Remote host closed the connection]
23:26
silver_ has joined #ocaml
23:29
silver has quit [Ping timeout: 245 seconds]
23:31
ravenousmoose has joined #ocaml
23:31
ravenousmoose is now known as ravenousmoose[aw
23:32
ravenousmoose[aw has quit [Client Quit]
23:39
spew has quit [Quit: Connection closed for inactivity]
23:54
eagleflo has joined #ocaml