00:16
<
discocaml >
<uberpyro181> I don't think it's possible
02:09
chrisz_ has joined #ocaml
02:11
chrisz has quit [Ping timeout: 245 seconds]
02:39
infinity0 has quit [*.net *.split]
02:39
Techcable has quit [*.net *.split]
02:40
JSharp has quit [*.net *.split]
02:40
Soni has quit [*.net *.split]
02:40
cross has quit [*.net *.split]
02:40
hrberg has quit [*.net *.split]
02:40
amk has quit [*.net *.split]
02:40
cbarrett has quit [*.net *.split]
02:40
pie_ has quit [*.net *.split]
02:40
zozozo has quit [*.net *.split]
02:40
Ankhers has quit [*.net *.split]
02:40
sleepydog has quit [*.net *.split]
02:40
b0o has quit [*.net *.split]
02:40
whereiseveryone has quit [*.net *.split]
02:40
seeg has quit [*.net *.split]
02:40
jakzale has quit [*.net *.split]
02:40
henrytill has quit [*.net *.split]
02:40
immutable has quit [*.net *.split]
02:40
philipwhite has quit [*.net *.split]
02:40
patrick has quit [*.net *.split]
02:40
ggb has quit [*.net *.split]
02:40
wagle has quit [*.net *.split]
02:40
dh` has quit [*.net *.split]
02:40
gentauro has quit [Read error: Connection reset by peer]
02:46
Techcable_ has joined #ocaml
02:46
infinity0 has joined #ocaml
02:46
Techcable has joined #ocaml
02:46
JSharp has joined #ocaml
02:46
Soni has joined #ocaml
02:46
amk has joined #ocaml
02:46
zozozo has joined #ocaml
02:46
pie_ has joined #ocaml
02:46
sleepydog has joined #ocaml
02:46
seeg has joined #ocaml
02:46
b0o has joined #ocaml
02:46
whereiseveryone has joined #ocaml
02:46
Ankhers has joined #ocaml
02:46
immutable has joined #ocaml
02:46
jakzale has joined #ocaml
02:46
cbarrett has joined #ocaml
02:46
cross has joined #ocaml
02:46
henrytill has joined #ocaml
02:46
patrick has joined #ocaml
02:46
dh` has joined #ocaml
02:46
wagle has joined #ocaml
02:46
ggb has joined #ocaml
02:46
philipwhite has joined #ocaml
02:46
gentauro has joined #ocaml
02:46
cross has quit [Max SendQ exceeded]
02:46
Techcable has quit [Max SendQ exceeded]
02:48
Techcable_ is now known as Techcable
02:52
cross has joined #ocaml
03:57
jmcantrell has quit [Server closed connection]
03:59
jmcantrell has joined #ocaml
04:16
mclovin has quit [Server closed connection]
04:17
mclovin has joined #ocaml
04:24
ansiwen has joined #ocaml
04:26
zebrag[m] has quit [Server closed connection]
04:26
zebrag[m] has joined #ocaml
05:24
gareppa has joined #ocaml
05:29
gareppa has quit [Remote host closed the connection]
05:40
gareppa has joined #ocaml
05:50
mbuf has joined #ocaml
06:24
bgs has joined #ocaml
07:09
<
discocaml >
<xavierm02_> I found a way of getting things to work without polluting the code too much: I define `SafeCalculus = sig type t val uid : unit -> t Type_equal.Id.t ... end`, and two functors `ToSafe : Calculus -> SafeCalculus` and `FromSafe : SafeCalculus -> Calculus`, and then instead of `module rec Self : Calculus = struct ... end and F_Self : Calculus = F (Self)`, I do `module rec Self : Calculus = struct ... end and F_Self_Safe : SafeCalculus = ToSafe
07:10
bartholin has joined #ocaml
07:22
<
discocaml >
<xavierm02_> Nevermind, something does not work
07:33
azimut has quit [Ping timeout: 240 seconds]
08:20
bartholin has quit [Quit: Leaving]
08:32
<
discocaml >
<xavierm02_> I got things working by taking `F : SafeCalculus -> SafeCalculus` instead, but I'd really prefer constraining the use of `SafeCalculus` to within `Iter (F : Calculus -> Calculus) : Calculus`
08:41
remexre_ has joined #ocaml
08:42
remexre has quit [Read error: Connection reset by peer]
08:42
remexre_ is now known as remexre
08:54
_whitelogger has joined #ocaml
08:55
noddy has quit [Ping timeout: 240 seconds]
08:55
greaser|q has joined #ocaml
08:57
noddy has joined #ocaml
09:42
greaser|q has quit [Changing host]
09:42
greaser|q has joined #ocaml
09:43
greaser|q is now known as GreaseMonkey
12:29
waleee has joined #ocaml
13:05
mbuf has quit [Ping timeout: 260 seconds]
13:06
mbuf has joined #ocaml
13:21
mbuf has quit [Ping timeout: 240 seconds]
13:55
waleee has quit [Ping timeout: 240 seconds]
14:52
<
discocaml >
<shonia> Thanks
15:22
bgs has quit [Remote host closed the connection]
15:33
mbuf has joined #ocaml
15:39
waleee has joined #ocaml
16:11
gareppa has quit [Quit: gareppa]
16:12
hackinghorn has joined #ocaml
16:12
gareppa has joined #ocaml
16:43
Tuplanolla has joined #ocaml
16:55
bartholin has joined #ocaml
16:56
motherfsck has quit [Ping timeout: 264 seconds]
17:09
motherfsck has joined #ocaml
17:11
azimut has joined #ocaml
17:28
mbuf has quit [Quit: Leaving]
17:41
waleee has quit [Ping timeout: 245 seconds]
17:48
olle has joined #ocaml
17:48
<
olle >
My Manjaro machine is using OCaml 5
17:57
<
olle >
It's released?
17:57
<
olle >
Oh last year even, heh
18:00
ns12 has quit [Quit: bye]
18:03
ns12 has joined #ocaml
18:11
daftaupe has joined #ocaml
18:17
czy has quit [Read error: Connection reset by peer]
18:45
alexherbo2 has joined #ocaml
18:56
cedric has joined #ocaml
18:59
cedric has quit [Client Quit]
20:07
olle has quit [Remote host closed the connection]
20:08
gareppa has quit [Quit: gareppa]
20:11
Anarchos has joined #ocaml
20:19
Anarchos has quit [Quit: Vision[]: i've been blurred!]
20:23
alexherbo2 has quit [Remote host closed the connection]
21:14
szkl has quit [Quit: Connection closed for inactivity]
21:55
bartholin has quit [Quit: Leaving]
22:16
cedb has quit [Quit: WeeChat 3.8]
22:27
czy has joined #ocaml
22:34
hackinghorn has quit [Remote host closed the connection]
22:51
<
discocaml >
<omnisci3nt> Was the forum down last night? (Like 9 to 10 hours ago ish)
22:53
<
discocaml >
<omnisci3nt> Was doing some research and couldn't go to some google result links then just decided to call it a night 😂
23:38
Tuplanolla has quit [Quit: Leaving.]