00:08
alfiee has joined #ocaml
00:12
alfiee has quit [Ping timeout: 245 seconds]
00:13
Inline has joined #ocaml
00:37
Haudegen has quit [Quit: Bin weg.]
00:55
alfiee has joined #ocaml
01:00
alfiee has quit [Ping timeout: 272 seconds]
01:43
alfiee has joined #ocaml
01:47
alfiee has quit [Ping timeout: 260 seconds]
01:54
hsw has joined #ocaml
02:05
Tuplanolla has quit [Quit: Leaving.]
02:19
agentcasey has quit [Remote host closed the connection]
02:19
agentcasey has joined #ocaml
02:23
euphores has quit [Ping timeout: 252 seconds]
02:30
alfiee has joined #ocaml
02:31
euphores has joined #ocaml
02:35
alfiee has quit [Ping timeout: 260 seconds]
03:17
alfiee has joined #ocaml
03:21
alfiee has quit [Ping timeout: 248 seconds]
03:28
Inline has quit [Ping timeout: 244 seconds]
04:05
alfiee has joined #ocaml
04:09
alfiee has quit [Ping timeout: 252 seconds]
04:52
alfiee has joined #ocaml
04:56
alfiee has quit [Ping timeout: 252 seconds]
05:39
alfiee has joined #ocaml
05:44
alfiee has quit [Ping timeout: 244 seconds]
06:27
alfiee has joined #ocaml
06:32
alfiee has quit [Ping timeout: 244 seconds]
07:01
Serpent7776 has joined #ocaml
07:15
alfiee has joined #ocaml
07:19
alfiee has quit [Ping timeout: 244 seconds]
07:27
wbooze has joined #ocaml
07:40
kurfen has quit [Ping timeout: 252 seconds]
07:41
kurfen has joined #ocaml
08:00
pi3ce has joined #ocaml
08:02
alfiee has joined #ocaml
08:06
alfiee has quit [Ping timeout: 244 seconds]
08:49
alfiee has joined #ocaml
08:53
alfiee has quit [Ping timeout: 260 seconds]
09:10
Haudegen has joined #ocaml
09:20
olle has joined #ocaml
09:30
bartholin has joined #ocaml
09:36
alfiee has joined #ocaml
09:41
alfiee has quit [Ping timeout: 265 seconds]
09:46
bartholin has quit [Quit: Leaving]
10:23
alfiee has joined #ocaml
10:28
alfiee has quit [Ping timeout: 272 seconds]
10:38
wbooze has quit [Ping timeout: 244 seconds]
10:56
dh` has quit [Read error: Connection reset by peer]
10:58
dh` has joined #ocaml
11:07
caasih has quit [Ping timeout: 244 seconds]
11:11
caasih has joined #ocaml
11:12
alfiee has joined #ocaml
11:16
alfiee has quit [Ping timeout: 248 seconds]
11:34
Haudegen has quit [Quit: Bin weg.]
12:00
alfiee has joined #ocaml
12:04
alfiee has quit [Ping timeout: 252 seconds]
12:48
alfiee has joined #ocaml
12:49
Haudegen has joined #ocaml
12:52
alfiee has quit [Ping timeout: 252 seconds]
13:18
myrkraverk_ has joined #ocaml
13:21
myrkraverk has quit [Ping timeout: 260 seconds]
13:22
<
discocaml >
<gooby_diatonic> Can you do something like `opam switch create ... 5.2.0+statmemprof+options ocaml-option-flambda`? Last I tried I think it didn't have either statmemprof or flambda but I might've been mistaken, just thought I'd check before making yet another switch (they take a bit to compile)
13:25
<
octachron >
`opam switch create 5.3.0+flambda ocaml-variants.5.3.0+options ocaml-option-flambda`
13:28
<
discocaml >
<gooby_diatonic> Mmm I'd use 5.3.0 but when I pinned the patched memstat it was trying to degrade it to 5.2.1 so that's why I went with 5.2
13:32
<
discocaml >
<gooby_diatonic> But I'll try again, iirc there were two patches and I used one of them, maybe the other one works fine with 5.3
13:34
<
discocaml >
<gooby_diatonic> Ah, I meant to say memtrace, not memstat
13:35
alfiee has joined #ocaml
13:39
alfiee has quit [Ping timeout: 245 seconds]
13:45
<
discocaml >
<gooby_diatonic> I was using a wrong branch it seems, works fine with 5.3, thanks
14:23
alfiee has joined #ocaml
14:28
alfiee has quit [Ping timeout: 252 seconds]
14:52
olle has quit [Ping timeout: 248 seconds]
15:13
alfiee has joined #ocaml
15:17
alfiee has quit [Ping timeout: 244 seconds]
15:18
Serpent7776 has quit [Ping timeout: 244 seconds]
16:00
alfiee has joined #ocaml
16:04
alfiee has quit [Ping timeout: 245 seconds]
16:06
dawids has joined #ocaml
16:10
dawids has quit [Client Quit]
16:11
Everything has joined #ocaml
16:37
wbooze has joined #ocaml
16:44
Haudegen has quit [Quit: Bin weg.]
16:48
alfiee has joined #ocaml
16:53
alfiee has quit [Ping timeout: 268 seconds]
17:01
remexre has quit [Ping timeout: 252 seconds]
17:26
wbooze has quit [Ping timeout: 244 seconds]
17:28
remexre has joined #ocaml
17:34
remexre has quit [Ping timeout: 245 seconds]
17:36
remexre has joined #ocaml
17:37
Haudegen has joined #ocaml
17:37
alfiee has joined #ocaml
17:42
alfiee has quit [Ping timeout: 265 seconds]
17:50
bartholin has joined #ocaml
18:06
<
discocaml >
<eduardorfs> The kind check happens before constraints
18:06
<
discocaml >
<eduardorfs> ```ocaml
18:06
<
discocaml >
<eduardorfs> type 'k t = [> 'a ] as 'k constraint 'a = [ `a ]
18:06
<
discocaml >
<eduardorfs> ```
18:10
<
discocaml >
<eduardorfs> I think no one will ever hit the issue above, but it's kind of nice that you can workaround it.
18:10
<
discocaml >
<eduardorfs>
18:10
<
discocaml >
<eduardorfs> ```ocaml
18:10
<
discocaml >
<eduardorfs> type ('a, 'b) seq = 'b
18:10
<
discocaml >
<eduardorfs> type 'a u = [ `a ] as 'a
18:10
<
discocaml >
<eduardorfs> type 'k t = ('a u, ([> 'a ] as 'k)) seq
18:10
<
discocaml >
<eduardorfs> ```
18:10
<
discocaml >
<eduardorfs> I think no one will ever hit the issue above, but it's kind of nice that you can workaround it.
18:10
<
discocaml >
<eduardorfs> ```ocaml
18:10
<
discocaml >
<eduardorfs> type ('a, 'b) seq = 'b
18:10
<
discocaml >
<eduardorfs> type 'a u = [ `a ] as 'a
18:10
<
discocaml >
<eduardorfs> type 'k t = ('a u, ([> 'a ] as 'k)) seq
18:10
<
discocaml >
<eduardorfs> ```
18:15
JuanDaugherty has joined #ocaml
18:26
Serpent7776 has joined #ocaml
18:27
alfiee has joined #ocaml
18:31
alfiee has quit [Ping timeout: 252 seconds]
19:06
wickedshell has quit [Ping timeout: 260 seconds]
19:11
hwj has joined #ocaml
19:17
alfiee has joined #ocaml
19:22
alfiee has quit [Ping timeout: 272 seconds]
19:28
hwj has quit [Quit: hwj]
20:04
alfiee has joined #ocaml
20:08
alfiee has quit [Ping timeout: 248 seconds]
20:22
euphores has quit [Ping timeout: 252 seconds]
20:22
euphores has joined #ocaml
20:35
Everything has quit [Quit: leaving]
20:45
JuanDaugherty has quit [Quit: praxis.meansofproduction.biz (juan@acm.org)]
20:51
alfiee has joined #ocaml
20:56
alfiee has quit [Ping timeout: 252 seconds]
21:13
wickedshell has joined #ocaml
21:27
tremon has joined #ocaml
21:28
bartholin has quit [Quit: Leaving]
21:41
alfiee has joined #ocaml
21:45
alfiee has quit [Ping timeout: 252 seconds]
21:53
remexre has quit [Remote host closed the connection]
22:19
Serpent7776 has quit [Ping timeout: 260 seconds]
22:30
alfiee has joined #ocaml
22:33
remexre has joined #ocaml
22:34
alfiee has quit [Ping timeout: 252 seconds]
22:45
remexre has quit [Ping timeout: 252 seconds]
23:00
mange has joined #ocaml
23:09
Tuplanolla has joined #ocaml
23:17
alfiee has joined #ocaml
23:22
alfiee has quit [Ping timeout: 272 seconds]
23:27
remexre has joined #ocaml
23:31
remexre has quit [Ping timeout: 260 seconds]
23:49
remexre has joined #ocaml