00:03
csakatoku has joined #ocaml
00:06
oriba has quit [Quit: oriba]
00:07
csakatoku has quit [Remote host closed the connection]
00:08
csakatoku has joined #ocaml
00:09
carm has quit [Ping timeout: 240 seconds]
00:10
sheijk_ has joined #ocaml
00:13
sheijk has quit [Ping timeout: 245 seconds]
00:13
csakatoku has quit [Ping timeout: 264 seconds]
00:16
lostcuaz has joined #ocaml
00:17
csakatoku has joined #ocaml
00:27
jwatzman|work has joined #ocaml
00:28
csakatoku has quit [Remote host closed the connection]
00:29
csakatoku has joined #ocaml
00:29
talzeus has quit [Read error: Connection reset by peer]
00:33
jao has joined #ocaml
00:33
jao has quit [Changing host]
00:33
jao has joined #ocaml
00:34
csakatoku has quit [Ping timeout: 276 seconds]
00:40
arjunguha has joined #ocaml
00:40
arjunguha has quit [Client Quit]
00:42
carm has joined #ocaml
00:44
introom has joined #ocaml
00:55
zenspider has quit [Ping timeout: 264 seconds]
01:06
lostcuaz has quit [Ping timeout: 265 seconds]
01:07
lostcuaz has joined #ocaml
01:09
patojo has quit [Remote host closed the connection]
01:12
talzeus has joined #ocaml
01:18
<
erider >
ocaml is not a lazy language?
01:21
<
Drup >
It's possible to have lazy computation, but you have to do it explicitly
01:22
manizzle has quit [Ping timeout: 260 seconds]
01:25
yacks has joined #ocaml
01:30
dnm has quit [Ping timeout: 260 seconds]
01:41
yacks has quit [Read error: Connection reset by peer]
01:41
introom has quit [Ping timeout: 265 seconds]
01:47
yacks has joined #ocaml
01:49
csakatoku has joined #ocaml
01:50
csakatoku has quit [Remote host closed the connection]
01:54
csakatoku has joined #ocaml
01:55
alcinos has quit [Remote host closed the connection]
01:56
carm has quit [Ping timeout: 264 seconds]
01:58
kyrylo has quit [Read error: Connection reset by peer]
02:04
kyrylo has joined #ocaml
02:12
watermind has quit [Quit: Konversation terminated!]
02:13
watermind has joined #ocaml
02:13
watermind has quit [Client Quit]
02:14
watermind has joined #ocaml
02:21
erider has quit [Remote host closed the connection]
02:23
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
02:50
carm has joined #ocaml
02:51
dnm has joined #ocaml
03:01
watermind has quit [Ping timeout: 260 seconds]
03:02
kyrylo has quit [Ping timeout: 276 seconds]
03:04
ccasin_ is now known as ccasin
03:11
introom has joined #ocaml
03:11
jwatzman|work has quit [Ping timeout: 265 seconds]
03:28
manizzle has joined #ocaml
03:31
abdallah has quit [Quit: Ex-Chat]
03:37
mcclurmc has joined #ocaml
03:39
sheijk_ has quit [Quit: .]
03:40
dnm_ has joined #ocaml
03:41
dnm has quit [Ping timeout: 265 seconds]
03:52
csakatoku has quit [Remote host closed the connection]
03:53
csakatoku has joined #ocaml
03:57
csakatoku has quit [Ping timeout: 276 seconds]
04:06
Muktabh has quit [Quit: Leaving]
04:08
boogie has joined #ocaml
04:11
WraithM_ has joined #ocaml
04:15
yacks has quit [Quit: Leaving]
04:15
WraithM_ has quit [Ping timeout: 246 seconds]
04:16
manizzle has quit [Remote host closed the connection]
04:17
boogie has quit [Remote host closed the connection]
04:18
boogie has joined #ocaml
04:19
csakatoku has joined #ocaml
04:22
boogie has quit [Ping timeout: 248 seconds]
04:22
cesar_ has joined #ocaml
04:23
cesar_ is now known as Guest64492
04:28
Guest64492 has quit [Remote host closed the connection]
04:32
sgnb` has joined #ocaml
04:34
axiles has joined #ocaml
04:34
sgnb has quit [Write error: Broken pipe]
04:34
jave has quit [Ping timeout: 284 seconds]
04:34
CalimeroTeknik has quit [Ping timeout: 284 seconds]
04:34
jave has joined #ocaml
04:37
adrien_ has joined #ocaml
04:37
CalimeroTeknik has joined #ocaml
04:38
nickmeharry has joined #ocaml
04:38
rixed_ has joined #ocaml
04:38
tizoc` has joined #ocaml
04:38
maufred_ has joined #ocaml
04:38
asmanur has joined #ocaml
04:38
nicoo_ has joined #ocaml
04:39
wormphlegm has joined #ocaml
04:39
maurer_ has joined #ocaml
04:39
cuttle_ has joined #ocaml
04:39
Asmadeus_ has joined #ocaml
04:39
orbitz_ has joined #ocaml
04:39
chris2_ has joined #ocaml
04:40
Ptival_ has joined #ocaml
04:40
gargawel_ has joined #ocaml
04:40
mcclurmc has quit [Remote host closed the connection]
04:40
pedagand_ has joined #ocaml
04:40
acieroid` has joined #ocaml
04:40
nisstyre has quit [Quit: Leaving]
04:40
maufred_ has quit [*.net *.split]
04:40
jao has quit [*.net *.split]
04:40
ddosia has quit [*.net *.split]
04:40
rwmjones has quit [*.net *.split]
04:41
rainbyte has quit [*.net *.split]
04:41
jpdeplaix has quit [*.net *.split]
04:41
thizanne has quit [*.net *.split]
04:41
dRbiG has quit [*.net *.split]
04:41
dRbiG has joined #ocaml
04:41
jao has joined #ocaml
04:41
rainbyte has joined #ocaml
04:41
jpdeplaix has joined #ocaml
04:41
thizanne has joined #ocaml
04:41
jao is now known as Guest99859
04:41
Guest99859 has quit [Changing host]
04:41
Guest99859 has joined #ocaml
04:43
maufred_ has joined #ocaml
04:43
mal`` has quit [Ping timeout: 264 seconds]
04:44
mal`` has joined #ocaml
04:44
iZsh_ has joined #ocaml
04:44
cthuluh has quit [*.net *.split]
04:44
rixed has quit [*.net *.split]
04:44
nickmeha1ry has quit [*.net *.split]
04:44
nicoo has quit [*.net *.split]
04:44
tizoc has quit [*.net *.split]
04:44
adrien has quit [*.net *.split]
04:44
maufred has quit [*.net *.split]
04:44
CissWit has quit [*.net *.split]
04:44
asmanur_ has quit [*.net *.split]
04:44
Asmadeus has quit [*.net *.split]
04:44
wormphle1m has quit [*.net *.split]
04:44
acieroid has quit [*.net *.split]
04:44
cuttle has quit [*.net *.split]
04:44
chris2 has quit [*.net *.split]
04:44
iZsh has quit [*.net *.split]
04:44
balouis has quit [*.net *.split]
04:44
orbitz has quit [*.net *.split]
04:44
gargawel has quit [*.net *.split]
04:44
Ptival has quit [*.net *.split]
04:44
pedagand has quit [*.net *.split]
04:44
maurer has quit [*.net *.split]
04:45
cthuluh has joined #ocaml
04:47
rainbyte has quit [Quit: Leaving]
04:51
CissWit has joined #ocaml
04:52
ddosia has joined #ocaml
04:52
balouis has joined #ocaml
04:57
mal`` has quit [*.net *.split]
04:57
Guest99859 has quit [*.net *.split]
04:57
acieroid` has quit [*.net *.split]
04:57
Ptival_ has quit [*.net *.split]
04:57
jave has quit [*.net *.split]
04:57
jbrown has quit [*.net *.split]
04:57
tnguyen has quit [*.net *.split]
04:58
mal`` has joined #ocaml
04:58
axiles has quit [Ping timeout: 276 seconds]
04:58
jave has joined #ocaml
05:02
acieroid has joined #ocaml
05:02
Ptival_ has joined #ocaml
05:02
jbrown has joined #ocaml
05:02
tnguyen has joined #ocaml
05:11
axiles has joined #ocaml
05:11
csakatok_ has joined #ocaml
05:15
csakatoku has quit [Ping timeout: 264 seconds]
05:16
csakatok_ has quit [Ping timeout: 265 seconds]
05:26
csakatoku has joined #ocaml
05:46
csakatoku has quit [Read error: Connection reset by peer]
05:46
csakatoku has joined #ocaml
05:47
boogie has joined #ocaml
05:47
Tamae has joined #ocaml
05:51
ygrek has joined #ocaml
05:53
Kakadu has joined #ocaml
06:06
boogie has quit [Remote host closed the connection]
06:11
csakatoku has quit [Remote host closed the connection]
06:12
csakatoku has joined #ocaml
06:16
csakatok_ has joined #ocaml
06:16
csakatoku has quit [Ping timeout: 248 seconds]
06:17
csakatok_ has quit [Remote host closed the connection]
06:19
csakatoku has joined #ocaml
06:29
peterbb has joined #ocaml
06:36
peterbb has quit [Ping timeout: 264 seconds]
06:37
wolfnn has joined #ocaml
06:38
peterbb has joined #ocaml
06:42
mort___ has joined #ocaml
06:46
ygrek has quit [Ping timeout: 260 seconds]
06:47
zpe has joined #ocaml
07:07
orbitz_ has quit [Quit: Reconnecting]
07:07
orbitz has joined #ocaml
07:10
thomasga has joined #ocaml
07:14
skchrko has joined #ocaml
07:19
Asmadeus_ is now known as Asmadeus
07:22
rwmjones has joined #ocaml
07:22
mort___ has quit [Quit: Leaving.]
07:25
thomasga has quit [Quit: Leaving.]
07:42
Nahra has quit [Quit: Lost terminal]
07:56
peterbb has quit [Read error: Operation timed out]
07:56
skchrko has quit [Quit: Leaving]
07:59
ollehar has quit [Quit: ollehar]
08:03
ollehar has joined #ocaml
08:05
Simn has joined #ocaml
08:12
ollehar has quit [Ping timeout: 248 seconds]
08:16
mika1 has joined #ocaml
08:20
Nahra has joined #ocaml
08:27
thomasga has joined #ocaml
08:27
sgnb` is now known as sgnb
08:27
sgnb has quit [Remote host closed the connection]
08:28
sgnb has joined #ocaml
08:30
<
sgnb >
can the ~/.opam/4.01.0/build can be safely removed?
08:32
AltGr has joined #ocaml
08:32
<
companion_cube >
no idea
08:32
<
companion_cube >
o/ btw
08:33
<
Kakadu >
sgnb: ~/.opam/4.01.0/build/* can be
08:34
rossberg has joined #ocaml
08:36
nicoo_ is now known as nicoo
08:40
ollehar has joined #ocaml
08:43
skchrko has joined #ocaml
08:43
adrien_ is now known as adrien
08:44
zpe has quit [Remote host closed the connection]
08:47
dsheets has quit [Ping timeout: 264 seconds]
08:49
ollehar has quit [Ping timeout: 260 seconds]
08:53
<
sgnb >
oh, opam itself is not packaged in opam...?
09:09
_andre has joined #ocaml
09:11
dsheets has joined #ocaml
09:12
ygrek has joined #ocaml
09:15
csakatoku has quit [Remote host closed the connection]
09:18
troydm has quit [Quit: What is hope? That all of your wishes and all of your dreams come true? (C) Rau Le Creuset]
09:27
troydm has joined #ocaml
09:28
csakatoku has joined #ocaml
09:31
chris2_ is now known as chris2
09:32
MigX has quit [Ping timeout: 252 seconds]
09:34
zpe has joined #ocaml
09:35
rand000 has joined #ocaml
09:36
wolfnn has quit [Ping timeout: 264 seconds]
09:37
dant3 has joined #ocaml
09:47
csakatoku has quit []
09:57
avsm has joined #ocaml
10:15
kyrylo has joined #ocaml
10:35
avsm has quit [Quit: Leaving.]
10:36
talzeus has quit [Remote host closed the connection]
10:39
ygrek has quit [Ping timeout: 265 seconds]
10:44
rand000 has quit [Quit: leaving]
10:56
thomasga has quit [Quit: Leaving.]
10:59
thomasga has joined #ocaml
11:11
ggherdov has quit [Changing host]
11:11
ggherdov has joined #ocaml
11:11
ggherdov has quit [Changing host]
11:11
ggherdov has joined #ocaml
11:16
thomasga has quit [Quit: Leaving.]
11:23
avsm has joined #ocaml
11:27
lostcuaz has joined #ocaml
11:53
avsm has quit [Quit: Leaving.]
12:06
watermind has joined #ocaml
12:12
sepp2k has joined #ocaml
12:14
watermind has quit [Quit: Konversation terminated!]
12:14
watermind has joined #ocaml
12:23
darkf has quit [Quit: Leaving]
12:35
dant3 has quit [Remote host closed the connection]
12:35
avsm has joined #ocaml
12:36
dant3 has joined #ocaml
12:42
talzeus has joined #ocaml
12:43
ontologiae has joined #ocaml
12:46
watermind has quit [Quit: Konversation terminated!]
12:46
watermind has joined #ocaml
12:46
watermind has quit [Read error: Connection reset by peer]
12:47
watermind has joined #ocaml
12:49
tizoc` is now known as tizoc
12:49
tizoc has quit [Changing host]
12:49
tizoc has joined #ocaml
12:57
shinnya has joined #ocaml
13:08
jonludlam has joined #ocaml
13:11
dnm has joined #ocaml
13:11
dnm_ has quit [Write error: Broken pipe]
13:12
WraithM_ has joined #ocaml
13:17
cesar_ has joined #ocaml
13:17
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
13:18
cesar_ is now known as Guest32093
13:18
avsm has quit [Quit: Leaving.]
13:18
nlucaroni has joined #ocaml
13:20
Guest32093 has quit [Remote host closed the connection]
13:21
WraithM_ has quit [Ping timeout: 264 seconds]
13:23
avsm has joined #ocaml
13:28
arjunguha has joined #ocaml
13:33
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
13:35
ontologiae has quit [Ping timeout: 264 seconds]
13:36
arjunguha has joined #ocaml
13:38
arjunguha has quit [Client Quit]
13:44
ggole has joined #ocaml
13:45
wolfnn has joined #ocaml
13:46
demonimin has quit [Read error: Connection reset by peer]
13:52
demonimin has joined #ocaml
14:00
mcclurmc has joined #ocaml
14:02
saml has joined #ocaml
14:09
carm has quit [Ping timeout: 248 seconds]
14:10
ocp has joined #ocaml
14:12
ygrek has joined #ocaml
14:12
arjunguha has joined #ocaml
14:13
WraithM_ has joined #ocaml
14:14
avsm has quit [Quit: Leaving.]
14:16
mika1 has quit [Quit: Leaving.]
14:22
smondet_ has quit [Quit: leaving]
14:23
ygrek has quit [Ping timeout: 272 seconds]
14:25
avsm has joined #ocaml
14:28
smondet has joined #ocaml
14:33
mcclurmc has quit [Remote host closed the connection]
14:40
avsm has quit [Quit: Leaving.]
14:43
cross_ has joined #ocaml
14:46
cross_ is now known as cross
14:48
avsm has joined #ocaml
14:57
thomasga has joined #ocaml
14:59
lostcuaz has joined #ocaml
15:03
lostcuaz has quit [Ping timeout: 240 seconds]
15:04
Kakadu has quit [Remote host closed the connection]
15:04
avsm has quit [Quit: Leaving.]
15:05
avsm has joined #ocaml
15:05
Kakadu has joined #ocaml
15:05
lostcuaz has joined #ocaml
15:05
lostcuaz has quit [Max SendQ exceeded]
15:06
lostcuaz has joined #ocaml
15:07
Kakadu has quit [Remote host closed the connection]
15:07
Kakadu has joined #ocaml
15:09
mcclurmc has joined #ocaml
15:09
ocp has quit [Ping timeout: 264 seconds]
15:12
talzeus has quit [Ping timeout: 272 seconds]
15:13
mcclurmc has quit [Remote host closed the connection]
15:13
talzeus has joined #ocaml
15:17
introom has quit [Ping timeout: 264 seconds]
15:18
olasd has quit [Ping timeout: 252 seconds]
15:24
ontologiae_ has joined #ocaml
15:24
mcclurmc has joined #ocaml
15:29
ontologiae_ has quit [Ping timeout: 265 seconds]
15:31
tianon has quit [Ping timeout: 245 seconds]
15:39
tianon has joined #ocaml
15:41
olasd has joined #ocaml
15:49
ontologiae_ has joined #ocaml
15:52
caligula_ has joined #ocaml
15:54
caligula has quit [Ping timeout: 260 seconds]
15:56
cesar_ has joined #ocaml
15:56
cesar_ is now known as Guest61413
15:59
shinnya has quit [Ping timeout: 276 seconds]
16:06
lostcuaz has quit [Ping timeout: 252 seconds]
16:07
Guest61413 has quit [Remote host closed the connection]
16:08
lostcuaz has joined #ocaml
16:08
ontologiae_ has quit [Ping timeout: 272 seconds]
16:10
thomasga1 has joined #ocaml
16:11
jwatzman|work has joined #ocaml
16:12
thomasga has quit [Ping timeout: 260 seconds]
16:19
Guest99859 has joined #ocaml
16:21
avsm has quit [Quit: Leaving.]
16:24
erider has joined #ocaml
16:28
CalimeroTeknik has quit [Ping timeout: 276 seconds]
16:32
pippijn has quit [Ping timeout: 246 seconds]
16:32
The_third_man has quit [Ping timeout: 246 seconds]
16:33
rz has quit [Ping timeout: 246 seconds]
16:39
CalimeroTeknik has joined #ocaml
16:39
ontologiae_ has joined #ocaml
16:39
pippijn_ has joined #ocaml
16:39
ttm has joined #ocaml
16:39
boogie has joined #ocaml
16:39
skchrko has quit [Quit: Leaving]
16:45
thomasga1 has quit [Quit: Leaving.]
16:45
rz has joined #ocaml
16:46
zpe has quit [Remote host closed the connection]
16:49
divyansr__ has joined #ocaml
16:50
rossberg_ has joined #ocaml
16:51
smondet_ has joined #ocaml
16:51
bicgena_ has joined #ocaml
16:53
leifw_ has joined #ocaml
16:54
AltGr has left #ocaml []
16:54
bobry__ has joined #ocaml
16:55
bicgena has quit [Ping timeout: 240 seconds]
16:55
divyansr_ has quit [Ping timeout: 240 seconds]
16:55
erider has quit [Ping timeout: 240 seconds]
16:55
smondet has quit [Ping timeout: 240 seconds]
16:55
leifw has quit [Ping timeout: 240 seconds]
16:55
bitbckt has quit [Ping timeout: 240 seconds]
16:55
rossberg has quit [Ping timeout: 240 seconds]
16:55
gereedy has quit [Ping timeout: 240 seconds]
16:55
divyansr__ is now known as divyansr_
16:55
PM has quit [Ping timeout: 240 seconds]
16:55
Guest99859 has quit [Ping timeout: 240 seconds]
16:55
bobry_ has quit [Ping timeout: 240 seconds]
16:55
bitbckt has joined #ocaml
16:55
PM` has joined #ocaml
16:56
bobry__ is now known as bobry_
16:56
erider has joined #ocaml
16:56
kyrylo_ has joined #ocaml
16:56
leifw_ is now known as leifw
16:57
bitbckt has quit [Changing host]
16:57
bitbckt has joined #ocaml
16:57
gereedy has joined #ocaml
16:57
Guest99859 has joined #ocaml
16:58
mfp__ is now known as mfp
16:58
kyrylo has quit [Write error: Broken pipe]
16:58
ousado_ has joined #ocaml
16:59
ousado has quit [Remote host closed the connection]
17:00
Anarchos has joined #ocaml
17:00
ocp has joined #ocaml
17:02
<
bernardofpc >
Especially concerning the remark "The first alternative is empty because there are no symbols between the colon and the first |; this means that input can match an empty string of input (no tokens).", which implies that foo: | bar | baz is NOT the same as foo: bar | baz
17:02
<
companion_cube >
maybe you could look at the generated code, and diff it
17:03
avsm has joined #ocaml
17:04
<
bernardofpc >
well, I rather prefer a stable definition than have "the standard is defined by the program"
17:04
<
bernardofpc >
but I'll try that tonight
17:04
<
mfp >
any OPAM admin/developer around? I can see Travis-CI skipping the packages introduced in my pull request as "not installable"
17:05
NoNNaN has joined #ocaml
17:06
<
mfp >
looking at .travis-ci.sh, I can't figure out how it would ever work, though, as it doesn't add a custom repos or apply the patch so that the new package appears on `opam list -s -a`
17:07
kyrylo_ is now known as kyrylo
17:07
<
mfp >
I guess it's hardcoded somewhere in travis' machinery to use the new HEAD?
17:08
ontologiae_ has quit [Ping timeout: 252 seconds]
17:09
<
mfp >
hmm it does say > Synchronizing with /home/travis/build/ocaml/opam-repository
17:11
ousado has joined #ocaml
17:14
erider has quit [Ping timeout: 240 seconds]
17:14
ocp has quit [Ping timeout: 240 seconds]
17:14
bitbckt has quit [Ping timeout: 240 seconds]
17:14
ousado_ has quit [Ping timeout: 240 seconds]
17:14
gereedy has quit [Ping timeout: 240 seconds]
17:14
gereedy has joined #ocaml
17:14
bitbckt has joined #ocaml
17:15
bitbckt has quit [Changing host]
17:15
bitbckt has joined #ocaml
17:16
ocp has joined #ocaml
17:16
erider has joined #ocaml
17:21
peterbb has joined #ocaml
17:25
avsm has quit [Quit: Leaving.]
17:25
manizzle has joined #ocaml
17:28
smondet_ is now known as smondet
17:29
bicgena_ is now known as bicgena
17:30
dsheets has quit [Read error: Operation timed out]
17:32
erider has quit [Changing host]
17:32
erider has joined #ocaml
17:38
jwatzman|work has quit [Quit: jwatzman|work]
17:39
jwatzman|work has joined #ocaml
17:52
rz has quit [*.net *.split]
17:52
olasd has quit [*.net *.split]
17:52
fayden has quit [*.net *.split]
17:52
olasd has joined #ocaml
17:52
jonludlam has quit [Ping timeout: 260 seconds]
17:52
rz has joined #ocaml
17:54
tane has joined #ocaml
17:58
fayden has joined #ocaml
18:01
peterbb has quit [Read error: Operation timed out]
18:02
peterbb has joined #ocaml
18:06
gereedy has quit [Ping timeout: 240 seconds]
18:06
erider has quit [Ping timeout: 240 seconds]
18:06
bitbckt has quit [Ping timeout: 240 seconds]
18:06
_andre has quit [Quit: leaving]
18:07
Guest99859 has quit [Ping timeout: 252 seconds]
18:08
dnm has quit [Ping timeout: 272 seconds]
18:11
erider has joined #ocaml
18:11
mort___ has joined #ocaml
18:11
bitbckt has joined #ocaml
18:11
gereedy has joined #ocaml
18:12
bitbckt has quit [Changing host]
18:12
bitbckt has joined #ocaml
18:13
erider has quit [Changing host]
18:13
erider has joined #ocaml
18:19
dsheets has joined #ocaml
18:20
arjunguha has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
18:20
samebcha1e is now known as samebchase
18:35
mort___ has left #ocaml []
18:40
Myk267 has quit [Quit: Myk267]
18:41
dnm has joined #ocaml
18:44
bjorkbsd has quit [Ping timeout: 272 seconds]
18:45
jwatzman|work has quit [Quit: jwatzman|work]
18:46
jwatzman|work has joined #ocaml
18:56
arjunguha has joined #ocaml
18:58
arjunguha has quit [Client Quit]
19:00
watermind has quit [Read error: Connection reset by peer]
19:00
watermind has joined #ocaml
19:19
zpe has joined #ocaml
19:20
UltimateGOTO has joined #ocaml
19:20
<
UltimateGOTO >
Is there any reason why sequencing needs to be special syntax and ; can't just be an operator (that's how it was originally explained to me but it turned out false)
19:21
sepp2k has quit [Quit: Konversation terminated!]
19:22
<
companion_cube >
UltimateGOTO: evaluation order; I think
19:22
<
companion_cube >
a; b would first evaluate b then a
19:22
<
companion_cube >
if it was just an operator
19:22
<
UltimateGOTO >
companion_cube, evaluation order is from right to left?
19:22
<
companion_cube >
currently yes
19:22
<
UltimateGOTO >
Ahh, that figures I guess
19:22
<
UltimateGOTO >
What's the reason for making it right to left?
19:27
<
def-lkb >
AFAICT, evaluation order is left undefined in "specification", the implementation is free to choose the most suitable one. As of today its right to left.
19:28
Thooms has joined #ocaml
19:28
<
def-lkb >
This imply that you shouldn't rely on a specific evaluation order. And the reason for making it right to left is that the abstract machine ocaml is built upon is more efficient when using this order
19:28
PM` is now known as PM
19:29
<
UltimateGOTO >
OCaml has a specification?
19:29
<
UltimateGOTO >
I thought it had just one implementation
19:30
<
def-lkb >
(after right to left evaluation order, arguments on the stack match the state expected by calling convention, leading to simpler and more efficient code)
19:31
<
def-lkb >
See the "scare" "quotes", there is at least partial specification, though not a formal one, but more informed sources could give you more details or prove me wrong :)
19:38
<
Anarchos >
def-lkb there is also a recently released paper from Krivine about his abstract machine
19:39
ontologiae_ has joined #ocaml
19:39
<
smondet >
def-lkb: just to be complete, the operators && and || are special cases evaluated left to right (to do like C/C++/Java/...)
19:40
<
def-lkb >
yes, and evaluation can short circuited
19:49
Thooms has quit [Remote host closed the connection]
19:49
Thooms has joined #ocaml
19:56
ocp has quit [Ping timeout: 245 seconds]
20:00
<
tnguyen >
is there some lib (batteries etc) that implements list combination ? That is, a function to obtain a sublist of size n from list (equiv to python's itertools.combinations(iterable, r) )
20:02
<
companion_cube >
I'm not sure
20:03
<
tnguyen >
combinations, permutations etc seem to be used frequently enough that should be in some libraries
20:03
Guest99859 has joined #ocaml
20:03
<
Anarchos >
List.combine ?
20:04
<
companion_cube >
tnguyen: that's right, you should add a ticket on batteries
20:06
<
tnguyen >
List.combine is to combine 2 lists into 1 list
20:06
<
tnguyen >
not what I want
20:06
<
companion_cube >
tnguyen: is it really urgent?
20:08
<
tnguyen >
companion_cube: not really , I just thought it would be in some extended lib
20:09
<
companion_cube >
well, you can add a ticket on batteries'github page
20:09
<
companion_cube >
it will be discussed
20:11
<
tnguyen >
by ticket you mean posting a new issue on batteries's git hub page ?
20:11
jwatzman|work has quit [Quit: jwatzman|work]
20:12
jwatzman|work has joined #ocaml
20:12
<
tnguyen >
I need a github account to post
20:13
<
companion_cube >
yes
20:13
<
companion_cube >
(to both)
20:13
bjorkintosh has joined #ocaml
20:14
<
tnguyen >
if you have a github account maybe you can add that request for me -- I really don't want to create additional online accounts
20:16
<
companion_cube >
I'll do
20:16
<
companion_cube >
for List or Array
20:21
ontologiae_ has quit [Ping timeout: 252 seconds]
20:26
agarwal1975 has joined #ocaml
20:26
thomasga has joined #ocaml
20:32
Anarchos has quit [Quit: reboot to test the radeon_hd driver]
20:39
axiles has quit [Remote host closed the connection]
20:40
thomasga has quit [Quit: Leaving.]
20:42
thomasga has joined #ocaml
20:44
dsheets has quit [Ping timeout: 245 seconds]
20:52
<
tnguyen >
I think for List is more common
20:57
as has joined #ocaml
21:03
<
erider >
what is the type int->int
21:04
as has quit [Quit: meritocracy]
21:04
<
erider >
is that a function that takes a int and returns a int?
21:05
<
Thooms >
erider: yes
21:06
zpe has quit [Remote host closed the connection]
21:06
<
erider >
so types with -> are function types?
21:09
Anarchos has joined #ocaml
21:13
tobiasBora has joined #ocaml
21:17
<
erider >
are : only used in type declarations?
21:19
<
adrien >
labelled arguments too
21:29
nisstyre has joined #ocaml
21:34
zpe has joined #ocaml
21:34
cdidd has quit [Ping timeout: 276 seconds]
21:35
cdidd has joined #ocaml
21:38
Anarchos has quit [Ping timeout: 240 seconds]
21:38
Anarchos has joined #ocaml
21:43
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
21:43
thomasga1 has joined #ocaml
21:44
shinnya has joined #ocaml
21:47
thomasga has quit [Ping timeout: 252 seconds]
21:52
Guest99859 has quit [Ping timeout: 245 seconds]
21:56
agarwal1975 has quit [Quit: agarwal1975]
21:59
jwatzman|work has quit [Quit: jwatzman|work]
22:00
Anarchos has quit [Quit: Vision[0.9.7-H-20131020]: i've been blurred!]
22:01
peterbb has quit [Ping timeout: 272 seconds]
22:03
NoNNaN has quit [Remote host closed the connection]
22:06
NoNNaN has joined #ocaml
22:06
tane has quit [Quit: Verlassend]
22:10
milosn has quit [Ping timeout: 272 seconds]
22:11
milosn has joined #ocaml
22:24
agarwal1975 has joined #ocaml
22:27
WraithM_ has quit [Ping timeout: 272 seconds]
22:33
darkf has joined #ocaml
22:38
Thooms has quit [Ping timeout: 260 seconds]
22:40
zarul has quit [Quit: Leaving]
22:40
zarul has joined #ocaml
22:41
thomasga1 has quit [Quit: Leaving.]
22:43
thomasga has joined #ocaml
22:47
thomasga has quit [Ping timeout: 252 seconds]
22:48
hto_ has quit [Quit: Lost terminal]
23:00
lostcuaz has joined #ocaml
23:12
thomasga has joined #ocaml
23:16
thomasga has quit [Ping timeout: 252 seconds]
23:19
dant3 has quit [Read error: Connection reset by peer]
23:20
agarwal1975 has quit [Quit: agarwal1975]
23:20
dant3 has joined #ocaml
23:21
shinnya has quit [Ping timeout: 272 seconds]
23:32
testcocoon has quit [Ping timeout: 252 seconds]
23:38
madroach has quit [Ping timeout: 252 seconds]
23:40
madroach has joined #ocaml
23:42
testcocoon has joined #ocaml
23:45
NoNNaN has quit [Remote host closed the connection]
23:45
NoNNaN has joined #ocaml
23:56
dant3 has quit [Remote host closed the connection]
23:58
tobiasBora has quit [Quit: Konversation terminated!]