00:04
mk__ has quit [Ping timeout: 260 seconds]
00:21
jave has quit [Ping timeout: 264 seconds]
00:34
jave has joined #ocaml
00:42
AtumT_ has joined #ocaml
00:43
AtumT has quit [Ping timeout: 244 seconds]
00:48
ygrek has quit [Ping timeout: 248 seconds]
00:53
count3rmeasure has quit [Quit: Leaving]
01:01
AtumT_ has quit [Quit: AtumT_]
01:10
kvda has joined #ocaml
01:55
vicfred has joined #ocaml
01:57
dmiles has quit [Ping timeout: 245 seconds]
02:04
dmiles has joined #ocaml
02:43
ygrek has joined #ocaml
02:47
tormen_ has joined #ocaml
02:50
tormen has quit [Ping timeout: 244 seconds]
03:16
mfp has quit [Ping timeout: 250 seconds]
03:30
_whitelogger has joined #ocaml
03:32
gravicappa has joined #ocaml
04:21
greenbagels has quit [Ping timeout: 246 seconds]
04:36
greenbagels has joined #ocaml
04:45
sagax has quit [Quit: Konversation terminated!]
04:53
erkin has quit [Quit: Ouch! Got SIGIRL, dying...]
04:54
erkin has joined #ocaml
04:55
ehirdoy has quit [Ping timeout: 245 seconds]
05:03
ggole has joined #ocaml
05:07
ehirdoy has joined #ocaml
05:13
sonologico has quit [Remote host closed the connection]
05:14
Vikfret has joined #ocaml
05:43
jao has quit [Ping timeout: 244 seconds]
06:06
fantasti` has quit [Remote host closed the connection]
06:06
fantasti` has joined #ocaml
06:47
count3rmeasure has joined #ocaml
06:48
hio has joined #ocaml
07:21
barockobamo2 has joined #ocaml
07:28
bitwinery has quit [Quit: Leaving]
07:34
oni-on-ion has joined #ocaml
07:34
oni-on-ion has quit [Remote host closed the connection]
07:37
zolk3ri has joined #ocaml
08:04
mal`` has quit [Quit: Leaving]
08:10
mal`` has joined #ocaml
08:32
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
09:12
mfp has joined #ocaml
09:15
vicfred has quit [Quit: Leaving]
09:25
Vikfret has quit [Quit: Leaving]
09:56
Anarchos has joined #ocaml
10:01
sagax has joined #ocaml
10:03
mfp has quit [Ping timeout: 245 seconds]
10:06
count3rmeasure has quit [Quit: Leaving]
10:14
ygrek has quit [Ping timeout: 268 seconds]
10:16
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
10:43
AtumT has joined #ocaml
12:06
amiloradovsky has joined #ocaml
12:19
dimitarvp has joined #ocaml
13:16
oni-on-ion has joined #ocaml
13:25
oni-on-ion has quit [Remote host closed the connection]
13:26
oni-on-ion has joined #ocaml
13:27
something-else has joined #ocaml
13:27
<
something-else >
Hello, I was reading the Menhir documentation (hi again) and was wondering how it chooses the token for mismatched tokens when doing --list-errors. For example why is xor-assign everywhere in the compcert messages file?
13:29
<
something-else >
is it just arbitrary but deterministic?
13:30
FreeBirdLjj has joined #ocaml
13:34
FreeBirdLjj has quit [Ping timeout: 246 seconds]
13:41
spew has joined #ocaml
13:56
gareppa has joined #ocaml
13:57
gareppa has quit [Remote host closed the connection]
14:55
AtumT has quit [Ping timeout: 272 seconds]
15:05
AtumT has joined #ocaml
15:33
ggole has quit [Remote host closed the connection]
15:34
ggole has joined #ocaml
15:53
vicfred has joined #ocaml
16:10
ziyourenxiang has quit [Ping timeout: 248 seconds]
16:22
iovec has joined #ocaml
16:23
wilfredh has quit [Ping timeout: 276 seconds]
16:25
adrianbrink has quit [Ping timeout: 252 seconds]
16:25
vinoski has quit [Ping timeout: 250 seconds]
16:25
jerme_ has quit [Ping timeout: 276 seconds]
16:25
banjiewen has quit [Ping timeout: 264 seconds]
16:26
wilfredh has joined #ocaml
16:26
adrianbrink has joined #ocaml
16:27
vinoski has joined #ocaml
16:27
jerme_ has joined #ocaml
16:28
SrPx has quit [Ping timeout: 276 seconds]
16:28
banjiewen has joined #ocaml
16:28
cemerick has quit [Ping timeout: 264 seconds]
16:29
cemerick has joined #ocaml
16:30
SrPx has joined #ocaml
16:31
oni-on-ion has quit [Remote host closed the connection]
16:31
oni-on-ion has joined #ocaml
16:34
SrPx has quit [Max SendQ exceeded]
16:34
banjiewen has quit [Ping timeout: 264 seconds]
16:35
jerme_ has quit [Ping timeout: 245 seconds]
16:35
banjiewen has joined #ocaml
16:35
SrPx has joined #ocaml
16:36
cemerick has quit [Ping timeout: 264 seconds]
16:36
wilfredh has quit [Ping timeout: 244 seconds]
16:36
jerme_ has joined #ocaml
16:37
SrPx has quit [Max SendQ exceeded]
16:37
wilfredh has joined #ocaml
16:38
cemerick has joined #ocaml
16:38
SrPx has joined #ocaml
16:38
SrPx has quit [Max SendQ exceeded]
16:39
something-else has quit [Remote host closed the connection]
16:40
SrPx has joined #ocaml
16:42
jerme_ has quit [Ping timeout: 264 seconds]
16:43
SrPx has quit [Max SendQ exceeded]
16:43
jerme_ has joined #ocaml
16:46
SrPx has joined #ocaml
16:46
SrPx has quit [Excess Flood]
16:46
rdivyanshu_ has joined #ocaml
16:46
banjiewen has quit [Ping timeout: 268 seconds]
16:47
AtumT_ has joined #ocaml
16:47
rdivyanshu has quit [Ping timeout: 245 seconds]
16:47
SrPx has joined #ocaml
16:48
banjiewen has joined #ocaml
16:49
AtumT has quit [Ping timeout: 246 seconds]
17:11
amiloradovsky has quit [Ping timeout: 246 seconds]
17:15
barockobamo2 has quit [Remote host closed the connection]
17:22
Serpent7776 has joined #ocaml
17:27
ggole has quit [Quit: Leaving]
17:50
oni-on-ion has quit [Remote host closed the connection]
17:51
oni-on-ion has joined #ocaml
17:58
jao has joined #ocaml
18:09
dimitarvp has quit [Quit: Bye]
18:19
zolk3ri has quit [Remote host closed the connection]
19:09
oni-on-ion has quit [Remote host closed the connection]
19:10
oni-on-ion has joined #ocaml
19:18
oni-on-ion has quit [Remote host closed the connection]
19:37
tane has joined #ocaml
19:38
gareppa has joined #ocaml
19:49
kakadu has joined #ocaml
19:50
Birdface has joined #ocaml
19:56
gareppa has quit [Quit: Leaving]
19:56
gravicappa has quit [Ping timeout: 246 seconds]
20:24
vicfred has quit [Ping timeout: 244 seconds]
20:46
vicfred has joined #ocaml
20:49
spew has quit [Quit: going home]
20:52
Birdface has quit [Quit: Leaving]
20:54
Serpent7776 has quit [Quit: leaving]
21:10
tane has quit [Quit: Leaving]
21:10
Birdface has joined #ocaml
21:13
zapashcanon has quit [Quit: Cheers !]
21:14
zapashcanon has joined #ocaml
21:14
zapashcanon has quit [Changing host]
21:14
zapashcanon has joined #ocaml
21:25
kakadu has quit [Remote host closed the connection]
21:31
oni-on-ion has joined #ocaml
21:40
Birdface has quit [Ping timeout: 246 seconds]
21:43
jmiven has quit [Quit: reboot]
21:44
jmiven has joined #ocaml
21:47
spartan6721 has joined #ocaml
22:14
anton-trunov has quit [Ping timeout: 252 seconds]
22:18
anton-trunov has joined #ocaml
23:31
hio has quit [Quit: Connection closed for inactivity]
23:47
ziyourenxiang has joined #ocaml