00:12
zolk3ri has joined #ocaml
00:15
mxns has quit [Ping timeout: 260 seconds]
00:18
Haudegen has quit [Ping timeout: 265 seconds]
00:21
wingsorc has joined #ocaml
00:33
Tuplanolla has quit [Quit: Leaving.]
00:45
mxns has joined #ocaml
00:47
zebrag has quit [Quit: Konversation terminated!]
00:47
zebrag has joined #ocaml
00:50
mxns has quit [Ping timeout: 264 seconds]
01:16
arecaceae has quit [Remote host closed the connection]
01:16
arecaceae has joined #ocaml
01:23
mxns has joined #ocaml
01:29
boxscape has joined #ocaml
01:35
boxscape has quit [Quit: Connection closed]
01:36
boxscape has joined #ocaml
01:47
inkbottle has joined #ocaml
01:49
boxscape has quit [Quit: Connection closed]
01:52
zebrag has quit [Ping timeout: 272 seconds]
01:55
mfp_ has quit [Ping timeout: 256 seconds]
01:56
boxscape has joined #ocaml
01:58
mfp_ has joined #ocaml
02:23
mfp_ has quit [Ping timeout: 265 seconds]
02:57
<
sleepydog >
it looks like there is a bug in Github's OCaml syntax highlighting
02:58
<
sleepydog >
at least, for .mll files
02:59
aquijoule_ has joined #ocaml
03:01
aquijoule__ has quit [Ping timeout: 240 seconds]
03:25
boxscape has quit [Quit: Connection closed]
03:51
<
d_bot >
<rgrinberg> why would this be tied to 5.0? OCaml 4.x releases break compatibility
03:55
<
companion_cube >
Hu, rarely? I can only think of safe string, and some weird corner cases of type inference
03:56
<
d_bot >
<rgrinberg> vmthreads were removed recently
03:56
<
d_bot >
<EduardoRFS> @rgrinberg this is not a minor memory model change
03:56
<
d_bot >
<EduardoRFS> also Marshal is broken which is something the compiler team seems to avoid, last time it was on 4.08 with bigarrays
03:57
<
d_bot >
<EduardoRFS> also if we're going to make a big change, it's a good time to say, "take care, it may break your stuff"
03:58
<
d_bot >
<rgrinberg> That sounds sensible, but it does not seem to be how the compiler is versioned.
03:58
<
d_bot >
<rgrinberg> 3.12 to 4.0 didn't even break anything
03:58
<
d_bot >
<rgrinberg> IIRC
04:00
<
d_bot >
<EduardoRFS> Oh yeah, I agree on this. It's just a good opportunity. The context of this change request, is because I don't like the idea of an read operation causing an allocation / triggering the GC and that is currently the only way this happens.
04:00
<
d_bot >
<EduardoRFS>
04:01
<
d_bot >
<rgrinberg> Anyway, I just think that you'll have an easier time advocating for your change without pushing separate ideas about versioning 🙂
04:01
zolk3ri has quit [Remote host closed the connection]
04:02
zolk3ri has joined #ocaml
04:07
shawnw has quit [Ping timeout: 256 seconds]
04:16
<
companion_cube >
rginberg: was there anything vmthread did that threads don't do? I could never figure out what the thing was about
04:18
<
d_bot >
<lubegasimon> There is a related issue on this, you may want to follow up on it.
04:57
jmct has quit [Read error: Connection reset by peer]
04:57
jmct has joined #ocaml
04:58
mgsk has quit [Ping timeout: 240 seconds]
04:58
inkbottle has quit [Quit: Konversation terminated!]
04:59
mgsk has joined #ocaml
05:12
waleee-cl has quit [Quit: Connection closed for inactivity]
05:23
vicfred has quit [Quit: Leaving]
05:48
shawnw has joined #ocaml
05:50
shawnw has quit [Remote host closed the connection]
05:53
shawnw has joined #ocaml
06:27
mbuf has joined #ocaml
07:38
Haudegen has joined #ocaml
07:52
wingsorc has quit [Quit: Leaving]
08:42
borne has joined #ocaml
08:45
mbuf has quit [Quit: Leaving]
08:58
mxns has quit [Ping timeout: 240 seconds]
09:05
mxns has joined #ocaml
09:09
mxns has quit [Ping timeout: 265 seconds]
09:21
wagle has quit [Remote host closed the connection]
09:22
wagle has joined #ocaml
09:27
mxns has joined #ocaml
09:32
mxns has quit [Ping timeout: 265 seconds]
09:43
mxns has joined #ocaml
09:51
mxns has quit [Ping timeout: 272 seconds]
10:01
mxns has joined #ocaml
10:08
azot has quit [Ping timeout: 268 seconds]
10:10
azot has joined #ocaml
10:12
Ben57 has joined #ocaml
10:16
bartholin has joined #ocaml
10:17
tane has joined #ocaml
10:31
mxns has quit [Ping timeout: 272 seconds]
11:10
dhil has joined #ocaml
11:24
Markus_Elfring has joined #ocaml
11:45
Haudegen has quit [Quit: Bin weg.]
11:49
mxns has joined #ocaml
11:51
mfp_ has joined #ocaml
11:54
mxns has quit [Ping timeout: 240 seconds]
12:04
arecaceae has quit [Remote host closed the connection]
12:04
arecaceae has joined #ocaml
12:08
Markus_Elfring has quit [Quit: Konversation terminated!]
12:09
Markus_Elfring has joined #ocaml
12:32
boxscape has joined #ocaml
12:40
aquijoule_ has quit [Remote host closed the connection]
12:40
aquijoule_ has joined #ocaml
12:59
Haudegen has joined #ocaml
13:09
sagax has quit [Remote host closed the connection]
13:20
mxns has joined #ocaml
13:22
sagax has joined #ocaml
13:25
mxns has quit [Ping timeout: 240 seconds]
13:29
zebrag has joined #ocaml
13:51
mxns has joined #ocaml
13:56
mxns has quit [Ping timeout: 256 seconds]
14:08
mxns has joined #ocaml
14:13
mxns has quit [Ping timeout: 272 seconds]
14:30
decentpenguin has quit [Ping timeout: 265 seconds]
14:30
decentpenguin has joined #ocaml
14:47
zebrag has quit [Quit: Konversation terminated!]
14:47
zebrag has joined #ocaml
15:30
mxns has joined #ocaml
15:33
shawnw has quit [Ping timeout: 240 seconds]
15:33
iZsh has quit [Read error: Connection reset by peer]
15:34
iZsh has joined #ocaml
15:40
vicfred has joined #ocaml
15:47
zebrag has quit [Quit: Konversation terminated!]
15:47
zebrag has joined #ocaml
16:33
borne has quit [Ping timeout: 272 seconds]
16:33
borne has joined #ocaml
16:34
mxns has quit [Ping timeout: 264 seconds]
16:37
DanC has joined #ocaml
16:47
zebrag has quit [Quit: Konversation terminated!]
16:47
zebrag has joined #ocaml
16:48
borne has quit [Ping timeout: 272 seconds]
16:54
Haudegen has quit [Quit: Bin weg.]
17:18
mxns has joined #ocaml
17:24
olle has quit [Ping timeout: 272 seconds]
17:25
mxns has quit [Ping timeout: 265 seconds]
17:30
bartholin has quit [Quit: Leaving]
17:38
boxscape has quit [Quit: Connection closed]
17:47
zebrag has quit [Quit: Konversation terminated!]
17:47
zebrag has joined #ocaml
17:48
waleee-cl has joined #ocaml
18:09
orbifx has joined #ocaml
18:14
zolk3ri has quit [Remote host closed the connection]
18:17
Haudegen has joined #ocaml
18:27
<
orbifx >
if there a way to tell ocaml that I want type a = Module.t in:
18:27
<
orbifx >
let f (type a) (module M: Module) x y = ...
18:30
<
theblatte >
orbifx: (module M: Module with type t = a)?
18:33
<
orbifx >
ah thanks. That didn't work before, I think I wrote type a = t, switched around, does that matter?
18:38
<
theblatte >
orbifx: yes the names are bound left to right so "t" is not yet defined the other way around
18:38
Tuplanolla has joined #ocaml
18:39
<
theblatte >
ah sorry I misunderstood I think, right that "=" in "with t = a" is not symmetric at all ^^
18:42
zolk3ri has joined #ocaml
18:42
<
orbifx >
theblatte, steenuil: thanks
18:43
<
orbifx >
and if I have a module type which is a join of two or more other modules, which all share `type t`, how can I express that?
18:44
<
orbifx >
I got: module type T = sig
18:44
<
orbifx >
but because A and be also have `type t`, the compiler doesn't like the repetition. But all those `type t` are supposed to be the same
18:46
<
orbifx >
ah found it on stackoverflow
18:47
zebrag has quit [Quit: Konversation terminated!]
18:47
zebrag has joined #ocaml
18:47
<
orbifx >
type t := t
18:49
olle has joined #ocaml
18:55
mxns has joined #ocaml
18:55
<
orbifx >
thanks again theblatte, steenuil
19:00
mxns has quit [Ping timeout: 264 seconds]
19:02
zolk3ri has quit [Remote host closed the connection]
19:02
zolk3ri has joined #ocaml
19:13
mxns has joined #ocaml
19:47
zebrag has quit [Quit: Konversation terminated!]
19:47
mxns has quit [Ping timeout: 265 seconds]
19:47
zebrag has joined #ocaml
19:48
olle has quit [Ping timeout: 272 seconds]
19:58
mxns has joined #ocaml
20:19
webshinra has quit [Remote host closed the connection]
20:21
webshinra has joined #ocaml
20:23
azot has quit [Remote host closed the connection]
20:29
azot has joined #ocaml
21:01
borne has joined #ocaml
21:14
ewd has quit [Ping timeout: 256 seconds]
21:17
jbrown has quit [Ping timeout: 240 seconds]
21:22
Markus_Elfring has quit [Quit: Konversation terminated!]
21:34
leah2 has quit [Ping timeout: 264 seconds]
21:36
borne has quit [Ping timeout: 272 seconds]
21:43
leah2 has joined #ocaml
21:47
zebrag has quit [Quit: Konversation terminated!]
21:47
zebrag has joined #ocaml
22:08
dhil has quit [Ping timeout: 256 seconds]
22:11
borne has joined #ocaml
22:13
mengu has joined #ocaml
22:41
jbrown has joined #ocaml
22:47
zebrag has quit [Quit: Konversation terminated!]
22:47
zebrag has joined #ocaml
22:59
vicfred has quit [Quit: Leaving]
23:01
tane has quit [Quit: Leaving]
23:07
CcxWrk has quit [Ping timeout: 246 seconds]
23:09
mengu has quit [Ping timeout: 240 seconds]
23:13
CcxWrk has joined #ocaml
23:15
mxns has quit [Ping timeout: 246 seconds]
23:20
mengu has joined #ocaml
23:24
mxns has joined #ocaml
23:29
mxns has quit [Ping timeout: 264 seconds]
23:37
vicfred has joined #ocaml
23:42
mxns has joined #ocaml
23:44
orbifx has quit [Quit: orbifx]
23:47
zebrag has quit [Quit: Konversation terminated!]
23:47
zebrag has joined #ocaml
23:55
Haudegen has quit [Ping timeout: 246 seconds]