00:20
rgrinberg has joined #ocaml
00:26
Tuplanolla has quit [Quit: Leaving.]
00:30
olle has quit [Ping timeout: 256 seconds]
01:06
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
02:01
rgrinberg has joined #ocaml
02:06
Guest2 has joined #ocaml
02:08
Guest2 has quit [Client Quit]
02:09
grobe0ba has quit [Ping timeout: 256 seconds]
02:26
<
d_bot >
<hcarty> bartholin: You would have to track that information yourself in your own code
02:28
xiongxin has joined #ocaml
02:39
Haudegen has quit [Ping timeout: 260 seconds]
02:42
<
d_bot >
<darrenldl> bartholin: other packages like mparser does more tracking for you - angstrom is intended for fast linear parsing of bytestream basically
03:08
aquijoule_ has joined #ocaml
03:11
aquijoule__ has quit [Ping timeout: 256 seconds]
03:14
lagash has quit [Killed (calcium.libera.chat (Nickname regained by services))]
03:14
lagash_ has joined #ocaml
03:22
zebrag has joined #ocaml
03:29
grobe0ba has joined #ocaml
03:32
xiongxin1 has joined #ocaml
03:33
xiongxin has quit [Ping timeout: 268 seconds]
03:33
xiongxin1 is now known as xiongxin
03:41
thesmallhobbit has joined #ocaml
03:49
thesmallhobbit has left #ocaml [#ocaml]
03:57
lagash has joined #ocaml
04:15
ralu has quit [Quit: Ping timeout (120 seconds)]
04:21
xiongxin1 has joined #ocaml
04:23
xiongxin has quit [Ping timeout: 256 seconds]
04:23
xiongxin1 is now known as xiongxin
04:24
ralu has joined #ocaml
04:52
xiongxin has quit [Read error: Connection reset by peer]
04:53
xiongxin has joined #ocaml
04:58
dmbaturin has quit [Remote host closed the connection]
05:07
dmbaturin has joined #ocaml
05:21
dmbaturin has quit [Remote host closed the connection]
05:32
waleee has quit [Quit: WeeChat 3.3]
05:55
dmbaturin has joined #ocaml
05:55
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
06:17
mbuf has joined #ocaml
06:30
zebrag has quit [Quit: Konversation terminated!]
06:43
chrisz has quit [Remote host closed the connection]
07:15
namkeleser has quit [Quit: Client closed]
07:43
Skyfire has quit [Quit: brb]
07:52
Skyfire has joined #ocaml
07:55
Skyfire has quit [Client Quit]
07:57
Skyfire has joined #ocaml
08:09
chrisz has joined #ocaml
08:30
aquijoule_ has quit [Remote host closed the connection]
08:45
xiongxin1 has joined #ocaml
08:48
xiongxin has quit [Ping timeout: 268 seconds]
08:48
xiongxin1 is now known as xiongxin
08:50
Serpent7776 has joined #ocaml
09:01
bartholin has joined #ocaml
09:12
namkeleser has joined #ocaml
09:18
Tuplanolla has joined #ocaml
09:48
xiongxin1 has joined #ocaml
09:49
xiongxin has quit [Ping timeout: 260 seconds]
09:49
xiongxin1 is now known as xiongxin
10:00
bartholin has quit [Ping timeout: 264 seconds]
10:09
olle has joined #ocaml
10:13
bartholin has joined #ocaml
10:32
spip has joined #ocaml
10:33
bobo_ has quit [Ping timeout: 268 seconds]
11:02
xiongxin has quit [Ping timeout: 260 seconds]
11:02
xiongxin has joined #ocaml
11:28
waleee has joined #ocaml
11:31
Haudegen has joined #ocaml
11:48
xiongxin1 has joined #ocaml
11:48
xiongxin has quit [Ping timeout: 268 seconds]
11:48
xiongxin1 is now known as xiongxin
11:54
p4bl0 has quit [Quit: WeeChat 3.0]
11:54
p4bl0 has joined #ocaml
12:00
bartholin has quit [Ping timeout: 250 seconds]
12:13
bartholin has joined #ocaml
12:46
chrisz has quit [Quit: leaving]
14:00
bartholin has quit [Ping timeout: 268 seconds]
14:06
namkeleser has quit [Quit: Client closed]
14:06
waleee has quit [Ping timeout: 264 seconds]
14:08
waleee has joined #ocaml
14:13
bartholin has joined #ocaml
14:48
Colt has quit [Quit: Leaving]
15:06
xd1le has quit [Quit: xd1le]
15:43
xiongxin has quit [Quit: xiongxin]
15:55
rgrinberg has joined #ocaml
16:00
bartholin has quit [Ping timeout: 260 seconds]
16:03
<
d_bot >
<Alistair> Has there been any research into merging ambivalent types w/ OutsideIn?
16:12
bartholin has joined #ocaml
16:41
<
companion_cube >
What's OutsideIn?
16:42
mbuf has quit [Quit: Leaving]
17:07
jyc has quit [Remote host closed the connection]
17:07
caasih has quit [Remote host closed the connection]
17:12
<
d_bot >
<Alistair> Yeah
17:15
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
17:16
rgrinberg has joined #ocaml
17:18
v0idpwn has quit [Ping timeout: 246 seconds]
17:19
cbarrett has quit [Ping timeout: 246 seconds]
17:19
conjunctive has quit [Ping timeout: 250 seconds]
17:22
Boarders_ has quit [Ping timeout: 250 seconds]
17:23
JSharp has quit [Ping timeout: 250 seconds]
17:52
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
18:00
bartholin has quit [Ping timeout: 260 seconds]
18:13
bartholin has joined #ocaml
18:17
bronsen has quit [Quit: WeeChat 3.3]
18:17
bronsen has joined #ocaml
18:22
rgrinberg has joined #ocaml
18:39
olle has quit [Ping timeout: 264 seconds]
18:41
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
18:44
rgrinberg has joined #ocaml
18:44
caasih has joined #ocaml
18:49
caasih has quit [Ping timeout: 246 seconds]
18:54
caasih has joined #ocaml
18:55
jyc has joined #ocaml
18:58
cbarrett has joined #ocaml
19:02
conjunctive has joined #ocaml
19:02
v0idpwn has joined #ocaml
19:04
JSharp has joined #ocaml
19:09
Boarders_ has joined #ocaml
19:12
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
19:51
mro has joined #ocaml
20:00
mro has quit [Remote host closed the connection]
20:00
bartholin has quit [Ping timeout: 260 seconds]
20:00
mro has joined #ocaml
20:13
bartholin has joined #ocaml
20:26
Anarchos has joined #ocaml
20:28
grobe0ba has joined #ocaml
20:37
olle has joined #ocaml
20:43
grobe0ba has joined #ocaml
20:56
mro has quit [Quit: Leaving...]
21:21
<
Anarchos >
do i need to replace 'ocamlopt -p' by ocamlprof.opt' ?
21:38
<
d_bot >
<Yassine Harrara> hey guys do you know how to install ocaml onn windows
22:00
bartholin has quit [Ping timeout: 260 seconds]
22:13
bartholin has joined #ocaml
22:14
<
Anarchos >
how to overcome the instrumentation mixin with mli files : Files automaton.p.cmx and priority_by_relation.p.cmx make inconsistent assumptions over implementation Priority_by_relation
22:22
zebrag has joined #ocaml
22:27
Anarchos has quit [Quit: Vision[]: i've been blurred!]
22:32
qwr has quit [Ping timeout: 240 seconds]
22:33
spip has quit [Ping timeout: 260 seconds]
22:33
bobo_ has joined #ocaml
22:33
qwr has joined #ocaml
22:46
Colt has joined #ocaml
23:06
bartholin has quit [Quit: Leaving]
23:16
Tuplanolla has quit [Quit: Leaving.]
23:26
olle has quit [Ping timeout: 240 seconds]
23:50
Haudegen has quit [Ping timeout: 264 seconds]