00:11
iovec has quit [Quit: Connection closed for inactivity]
00:33
_whitelogger has joined #ocaml
00:46
MadcapJake has quit [Ping timeout: 272 seconds]
00:47
pierpal has quit [Ping timeout: 240 seconds]
00:56
pierpal has joined #ocaml
01:00
ziyourenxiang has joined #ocaml
01:05
MadcapJake has joined #ocaml
01:33
FreeBirdLjj has joined #ocaml
01:34
Haudegen has quit [Remote host closed the connection]
02:04
silver_ has quit [Read error: Connection reset by peer]
02:07
mfp has quit [Ping timeout: 250 seconds]
02:17
keep_learning has joined #ocaml
02:23
keep_learning has quit [Quit: Ping timeout (120 seconds)]
02:24
keep_learning has joined #ocaml
03:07
tormen_ has joined #ocaml
03:08
h11 has quit [Ping timeout: 250 seconds]
03:08
h11 has joined #ocaml
03:10
tormen has quit [Ping timeout: 240 seconds]
03:15
r3s1stanc3_ has joined #ocaml
03:16
r3s1stanc3 has quit [Ping timeout: 240 seconds]
03:17
kvda has joined #ocaml
03:19
jao has quit [Ping timeout: 240 seconds]
03:20
jao has joined #ocaml
03:20
johnelse has quit [Ping timeout: 240 seconds]
03:22
johnelse has joined #ocaml
03:45
sheijk has quit [Remote host closed the connection]
03:48
sheijk has joined #ocaml
03:57
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
03:58
mhcat has quit [Remote host closed the connection]
04:03
FreeBirdLjj has quit [Remote host closed the connection]
04:11
themsay has quit [Ping timeout: 240 seconds]
04:18
marvin2 has quit [Ping timeout: 240 seconds]
04:27
_whitelogger has joined #ocaml
04:43
FreeBirdLjj has joined #ocaml
04:45
gravicappa has joined #ocaml
04:50
FreeBirdLjj has quit [Ping timeout: 272 seconds]
05:37
FreeBirdLjj has joined #ocaml
05:45
FreeBirdLjj has quit [Ping timeout: 250 seconds]
07:13
Spetznaz_ has quit [Ping timeout: 244 seconds]
07:16
snhmib has joined #ocaml
07:17
FreeBirdLjj has joined #ocaml
07:28
rymdhund has joined #ocaml
07:35
rymdhund has quit [Quit: WeeChat 1.6]
07:36
snhmib has quit [Quit: WeeChat 1.6]
07:38
FreeBirdLjj has quit [Ping timeout: 240 seconds]
07:41
FreeBirdLjj has joined #ocaml
07:47
FreeBird_ has joined #ocaml
07:49
FreeBirdLjj has quit [Ping timeout: 250 seconds]
07:54
FreeBird_ has quit [Read error: Connection reset by peer]
07:54
FreeBirdLjj has joined #ocaml
08:04
ravenousmoose has joined #ocaml
08:20
jao has quit [Ping timeout: 268 seconds]
08:33
_whitelogger has joined #ocaml
08:49
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
08:52
ravenousmoose has joined #ocaml
09:01
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
09:15
Serpent7776 has joined #ocaml
09:17
FreeBirdLjj has quit [Remote host closed the connection]
09:43
FreeBirdLjj has joined #ocaml
09:46
Haudegen has joined #ocaml
10:01
FreeBirdLjj has quit [Read error: Connection reset by peer]
10:02
mfp has joined #ocaml
10:03
FreeBirdLjj has joined #ocaml
10:03
FreeBirdLjj has quit [Remote host closed the connection]
10:05
pierpal has quit [Quit: Poof]
10:06
pierpal has joined #ocaml
10:13
jmiven has quit [Quit: co'o]
10:14
jmiven has joined #ocaml
10:31
nullifidian__ has joined #ocaml
10:34
nullifidian_ has quit [Ping timeout: 240 seconds]
10:35
asymptotically has joined #ocaml
10:37
jnavila has joined #ocaml
11:23
decentpenguin has joined #ocaml
11:36
averell has quit [Ping timeout: 252 seconds]
11:36
silver has joined #ocaml
11:37
FreeBirdLjj has joined #ocaml
11:38
iovec has joined #ocaml
11:43
averell has joined #ocaml
11:45
FreeBirdLjj has quit [Ping timeout: 240 seconds]
12:07
ravenousmoose has joined #ocaml
12:14
themsay has joined #ocaml
12:17
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
12:28
themsay has quit [Ping timeout: 240 seconds]
12:28
themsay has joined #ocaml
12:43
<
Leonidas >
if I can't run perl code in my regular expressions, I am not interested
12:49
jnavila has quit [Ping timeout: 252 seconds]
13:05
FreeBirdLjj has joined #ocaml
13:11
jnavila has joined #ocaml
13:13
nullifidian__ has quit [Ping timeout: 245 seconds]
13:19
nullifidian has joined #ocaml
13:43
jnavila has quit [Ping timeout: 246 seconds]
14:01
jao has joined #ocaml
14:06
FreeBirdLjj has quit [Read error: Connection reset by peer]
14:17
iovec has quit [Quit: Connection closed for inactivity]
14:28
klntsky has quit [Quit: WeeChat 1.6]
14:46
nullifidian_ has joined #ocaml
14:47
ravenousmoose has joined #ocaml
14:49
jao has quit [Remote host closed the connection]
14:50
nullifidian has quit [Ping timeout: 240 seconds]
14:58
jao has joined #ocaml
15:09
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
15:35
decentpenguin has quit [Quit: WeeChat 2.3]
15:58
gareppa has joined #ocaml
16:09
gareppa has quit [Quit: Leaving]
16:09
iovec has joined #ocaml
16:29
MadcapJake has quit [Remote host closed the connection]
16:30
MadcapJake has joined #ocaml
16:47
jnavila has joined #ocaml
16:48
gareppa has joined #ocaml
16:49
gareppa has quit [Remote host closed the connection]
17:11
mhcat has joined #ocaml
17:12
mhcat is now known as Guest61195
17:31
Guest61195 has left #ocaml [#ocaml]
17:56
zolk3ri has joined #ocaml
18:12
Ulrar has quit [Ping timeout: 252 seconds]
18:12
Haudegen has quit [Remote host closed the connection]
18:13
Ulrar has joined #ocaml
18:18
tane has joined #ocaml
18:31
Jesin has quit [Quit: Leaving]
18:32
Haudegen has joined #ocaml
18:34
Jesin has joined #ocaml
18:40
jnavila has quit [Remote host closed the connection]
18:50
kakadu_ has joined #ocaml
18:56
pierpal has quit [Ping timeout: 268 seconds]
18:58
gravicappa has quit [Ping timeout: 245 seconds]
19:11
themsay has quit [Ping timeout: 245 seconds]
19:44
<
cemerick >
Drup: thanks :-)
19:44
<
cemerick >
(also: wow, mantis!)
19:45
cantstanya has quit [Ping timeout: 256 seconds]
19:46
<
Drup >
"wow" indeed.
19:48
cantstanya has joined #ocaml
19:48
<
companion_cube >
"wow" 🙄🐶
19:49
<
companion_cube >
(anyone knows how to run tests in the docker travis script?)
19:50
<
Drup >
it should run by itself if the tests are in the opam file
19:52
<
companion_cube >
ah there's "Simple.test"
19:53
<
companion_cube >
ok cool there's indeed `dune runtest`, it's silent so I didn't pay attention earlier, cool.
19:53
<
companion_cube >
well that's neat, thanks Drup.
20:33
<
Drup >
companion_cube: hmm, did you remove the sequence2 type ?
20:33
<
Drup >
('a -> 'b -> unit) -> unit
20:33
<
companion_cube >
it's been a while
20:34
<
Drup >
Oh ? Never used it before
20:34
<
companion_cube >
came in 1.0
20:34
<
Drup >
is the perf diff useless ?
20:34
<
Drup >
(compared to sequence of pairs)
20:34
<
companion_cube >
it's more that it sorely lacked combinators, and with proper inlining pairs should be ok
20:35
<
companion_cube >
but returning a Sequence.t2 from, say, a map, was awfully non-ergonomic
20:36
<
companion_cube >
(I was always using `zip` to turn `('a,'b) t2` into `('a*'b) t`
20:36
<
companion_cube >
so what's the point?)
20:48
<
cemerick >
I'm matching through some json, and want to call a function to raise an exception if unexpected things are seen
20:48
<
cemerick >
`let malformed msg json = raise @@ MalformedPayload (msg, json)`
20:49
<
cemerick >
but
_some_ calls like `| other -> malformed "saw bad thing in foo" other` produce the above error
20:51
<
octachron >
cemerick, the error looks like you are lacking an explict coercion
21:02
<
cemerick >
octachron: yeah, even a full coercion (`(other : [< `Assoc of (string * Yojson.Basic.t) list ] :> Yojson.Basic.t)`) just repeats the underlying problem as far as it's concerned (`this expression has type [> `Assoc of ...] but an expression was expected of type [< `Assoc of (string * Yojson.Basic.t) list ]`)
21:02
<
cemerick >
thanks for the keyword though, will do some reading on coercions, etc
21:04
<
cemerick >
it seems that in the problematic cases, the cases above the catch-all end up overspecializing the type of `other`...but I'd expect a fn accepting `Yojson.Basic.t` would accept any of its variants, even a known subset
21:05
<
companion_cube >
maybe subtyping doesn't work through recursion in this case
21:06
<
companion_cube >
although you can cast from Basic to Safe \o/
21:21
<
cemerick >
octachron: thank you for the hint
21:21
<
cemerick >
down two levels, I had a function that explicitly only accepted an `Assoc
21:22
eni has joined #ocaml
21:35
eni has quit [Quit: Leaving]
21:58
iovec has quit [Quit: Connection closed for inactivity]
22:22
Serpent7776 has quit [Quit: leaving]
23:02
zolk3ri has quit [Remote host closed the connection]
23:03
tane has quit [Quit: Leaving]
23:05
asymptotically has quit [Quit: Leaving]
23:10
<
Leonidas >
cemerick: are you reinventing ppx_deriving_yojson by any chance?
23:11
<
companion_cube >
hmm mdx for testing a readme is pretty cool
23:36
kakadu_ has quit [Remote host closed the connection]
23:46
<
cemerick >
Leonidas: not really. The model on question isn't particularly large, and I don't actually want a point-for-point deserialization. I'd just be writing my own ty_of_yojson funs (almost) everywhere
23:46
<
cemerick >
I went down that road with aeson last year 🙃
23:52
themsay has joined #ocaml