00:04
shinnya has quit [Ping timeout: 272 seconds]
00:09
tane has quit [Quit: Verlassend]
00:10
shinnya has joined #ocaml
00:13
jao has quit [Remote host closed the connection]
00:19
libertas has quit [Disconnected by services]
00:22
thomasga has quit [Quit: Leaving.]
00:23
thomasga has joined #ocaml
00:28
jao has joined #ocaml
00:28
jao has quit [Changing host]
00:28
jao has joined #ocaml
00:29
thomasga has quit [Quit: Leaving.]
00:30
zRecursive has joined #ocaml
00:31
thomasga has joined #ocaml
00:38
cespinoza has quit [Ping timeout: 272 seconds]
00:44
iorivur has joined #ocaml
00:46
cespinoza has joined #ocaml
00:54
zpe has quit [Remote host closed the connection]
01:00
cespinoza has quit [Remote host closed the connection]
01:07
jabesed has quit [Ping timeout: 272 seconds]
01:10
Thooms has quit [Quit: WeeChat 0.4.3]
01:11
iorivur has quit [Ping timeout: 260 seconds]
01:18
rwmjones has quit [Read error: Connection reset by peer]
01:24
hhugo has quit [Quit: Leaving.]
01:25
jao has quit [Ping timeout: 246 seconds]
01:28
ygrek has joined #ocaml
01:34
rwmjones has joined #ocaml
01:40
bcg has quit [Quit: leaving]
01:46
nrlucaroni has joined #ocaml
01:47
ollehar has joined #ocaml
01:54
zpe has joined #ocaml
02:08
waneck has quit [Ping timeout: 260 seconds]
02:08
waneck has joined #ocaml
02:08
nrlucaroni has quit [Quit: Lost terminal]
02:09
thomasga has quit [Quit: Leaving.]
02:19
bytbox has quit [Remote host closed the connection]
02:24
zpe has quit [Ping timeout: 272 seconds]
02:42
claudiuc_ has joined #ocaml
02:44
claudiuc has quit [Ping timeout: 272 seconds]
02:46
ygrek has quit [Ping timeout: 272 seconds]
02:50
zpe has joined #ocaml
02:52
ollehar has quit [Ping timeout: 272 seconds]
02:55
travisbrady has joined #ocaml
02:56
koderok has joined #ocaml
02:56
koderok has quit [Client Quit]
02:58
zpe has quit [Ping timeout: 245 seconds]
03:09
taion809 has quit [Remote host closed the connection]
03:10
deavid has quit [Ping timeout: 240 seconds]
03:16
travisbrady has quit [Quit: travisbrady]
03:33
deavid has joined #ocaml
03:40
fold has quit [Ping timeout: 246 seconds]
03:49
tnguyen has quit [Quit: tnguyen]
03:52
zRecursive is now known as zRecursive{away}
03:54
zRecursive{away} has quit [Remote host closed the connection]
03:55
zpe has joined #ocaml
04:00
zpe has quit [Ping timeout: 272 seconds]
04:18
fold has joined #ocaml
04:29
eikke__ has joined #ocaml
04:31
shinnya has quit [Ping timeout: 244 seconds]
04:33
cesar has joined #ocaml
04:34
cesar is now known as Guest78359
04:39
gabemc has quit [Ping timeout: 260 seconds]
04:46
waneck has quit [Ping timeout: 258 seconds]
04:48
burgobianco has quit [Remote host closed the connection]
04:51
burgobianco has joined #ocaml
04:56
zpe has joined #ocaml
04:58
eikke__ has quit [Ping timeout: 272 seconds]
04:59
waneck has joined #ocaml
05:01
zpe has quit [Ping timeout: 272 seconds]
05:01
tnguyen has joined #ocaml
05:04
gabemc has joined #ocaml
05:16
tac_ has quit [Ping timeout: 245 seconds]
05:17
zRecursive has joined #ocaml
05:22
tac_ has joined #ocaml
05:23
hugomg has quit [Quit: Page closed]
05:35
lostman has joined #ocaml
05:37
_0xAX has joined #ocaml
05:48
axiles has joined #ocaml
05:56
zpe has joined #ocaml
05:58
rgrinberg has quit [Quit: Leaving.]
05:59
slash^ has joined #ocaml
06:01
zpe has quit [Ping timeout: 272 seconds]
06:05
fold has quit [Ping timeout: 260 seconds]
06:10
rgrinberg has joined #ocaml
06:15
Guest78359 has quit [Remote host closed the connection]
06:16
tac_ has quit [Quit: Leaving]
06:24
Kakadu has joined #ocaml
06:31
_0xAX has quit [Remote host closed the connection]
06:38
zRecursive has quit [Remote host closed the connection]
06:41
morphles has joined #ocaml
06:42
ygrek has joined #ocaml
06:45
slash^ has quit [Read error: Connection reset by peer]
06:50
Simn has joined #ocaml
06:57
zpe has joined #ocaml
06:57
demonimin has joined #ocaml
07:01
zpe has quit [Ping timeout: 260 seconds]
07:16
typedlambda has quit [Ping timeout: 250 seconds]
07:17
typedlambda has joined #ocaml
07:17
cesar has joined #ocaml
07:17
waneck has quit [Ping timeout: 260 seconds]
07:18
cesar is now known as Guest43449
07:22
Guest43449 has quit [Ping timeout: 245 seconds]
07:29
MercurialAlchemi has joined #ocaml
07:30
waneck has joined #ocaml
07:32
pii4 has joined #ocaml
07:57
tac_ has joined #ocaml
07:57
zpe has joined #ocaml
08:02
zpe has quit [Ping timeout: 260 seconds]
08:06
morphles has quit [Ping timeout: 245 seconds]
08:26
Submarine has joined #ocaml
08:31
leowzukw has joined #ocaml
08:40
tane has joined #ocaml
08:43
hhugo has joined #ocaml
08:45
morphles has joined #ocaml
08:46
ollehar has joined #ocaml
08:58
zpe has joined #ocaml
09:01
NoNNaN has joined #ocaml
09:02
zpe has quit [Ping timeout: 245 seconds]
09:06
cesar has joined #ocaml
09:06
cesar is now known as Guest82962
09:10
Guest82962 has quit [Ping timeout: 244 seconds]
09:13
q66 has joined #ocaml
09:14
jabesed has joined #ocaml
09:15
ggole has joined #ocaml
09:21
rfv has joined #ocaml
09:23
oscar_toro has joined #ocaml
09:24
zpe has joined #ocaml
09:30
tnguyen1 has joined #ocaml
09:31
morphles has quit [Ping timeout: 260 seconds]
09:31
tnguyen has quit [Ping timeout: 260 seconds]
09:45
leowzukw has quit [Quit: leaving]
09:50
koderok has joined #ocaml
09:50
koderok has quit [Remote host closed the connection]
09:57
thomasga has joined #ocaml
09:57
waneck has quit [Ping timeout: 245 seconds]
10:02
zpe has quit [Remote host closed the connection]
10:03
gabemc has quit [Ping timeout: 245 seconds]
10:04
leowzukw has joined #ocaml
10:10
waneck has joined #ocaml
10:15
ygrek has quit [Ping timeout: 260 seconds]
10:36
tac_ has quit [Ping timeout: 272 seconds]
10:48
eikke__ has joined #ocaml
10:53
shinnya has joined #ocaml
10:54
cesar has joined #ocaml
10:54
cesar is now known as Guest77909
10:58
Submarine has quit [Ping timeout: 244 seconds]
10:58
waneck has quit [Remote host closed the connection]
10:59
Guest77909 has quit [Ping timeout: 260 seconds]
11:07
waneck has joined #ocaml
11:08
eikke__ has quit [Ping timeout: 250 seconds]
11:10
avsm has joined #ocaml
11:12
Submarine has joined #ocaml
11:12
Submarine has quit [Changing host]
11:12
Submarine has joined #ocaml
11:17
<
Drup >
whitequark: yay !
11:26
thomasga has quit [Quit: Leaving.]
11:27
avsm has quit [Quit: Leaving.]
11:59
lordkryss has joined #ocaml
12:02
zpe has joined #ocaml
12:07
zpe has quit [Ping timeout: 250 seconds]
12:17
jabesed has quit [Ping timeout: 250 seconds]
12:18
Submarine has quit [Ping timeout: 260 seconds]
12:19
rgrinberg has quit [Quit: Leaving.]
12:20
jave has joined #ocaml
12:29
waneck has quit [Ping timeout: 260 seconds]
12:32
Submarine has joined #ocaml
12:33
zpe has joined #ocaml
12:36
NoNNaN has quit [Ping timeout: 264 seconds]
12:42
qiukun has joined #ocaml
12:42
cesar has joined #ocaml
12:43
cesar is now known as Guest62963
12:43
<
qiukun >
why writing `a:: (b:: _ as t)` instead of `a::(b::t)`?
12:46
<
Drup >
qiukun: in your terminal, type "let a::(b::_ as t) = [ 1 ; 2; 3 ;4 ] ;;" and "let a::(b::t) = [ 1 ; 2; 3 ;4 ] ;;" and see the difference
12:46
<
qiukun >
Drup, thanks
12:47
Guest62963 has quit [Ping timeout: 245 seconds]
12:49
<
qiukun >
Drup, i hate operator/keyword precedence
12:49
<
adrien_ >
I always use parenthesis with as
12:49
<
qiukun >
adrien_, you're kind
12:50
eikke__ has joined #ocaml
12:53
waneck has joined #ocaml
13:04
Thooms has joined #ocaml
13:06
jabesed has joined #ocaml
13:11
taion809 has joined #ocaml
13:19
eikke__ has quit [Ping timeout: 260 seconds]
13:30
Submarine has quit [Ping timeout: 246 seconds]
13:33
waneck has quit [Read error: Connection reset by peer]
13:33
Submarine has joined #ocaml
13:41
koderok has joined #ocaml
13:41
koderok has quit [Remote host closed the connection]
13:43
jabesed has quit [Quit: Konversation terminated!]
13:49
waneck has joined #ocaml
13:54
slash^ has joined #ocaml
13:56
travisbrady has joined #ocaml
14:02
leowzukw has quit [Quit: leaving]
14:13
travisbrady has quit [Quit: travisbrady]
14:19
thomasga has joined #ocaml
14:25
darkf has quit [Quit: Leaving]
14:28
nrlucaroni has joined #ocaml
14:31
cesar has joined #ocaml
14:31
cesar is now known as Guest46585
14:36
Guest46585 has quit [Ping timeout: 272 seconds]
14:49
travisbrady has joined #ocaml
14:56
Simn has quit [Quit: Leaving]
15:07
travisbrady has quit [Quit: travisbrady]
15:07
morphles has joined #ocaml
15:10
avsm has joined #ocaml
15:18
thomasga has quit [Quit: Leaving.]
15:19
thomasga has joined #ocaml
15:20
<
dmbaturin >
madroach: ~-.
15:20
<
Drup >
~. is a valid operator too.
15:21
<
dmbaturin >
But it's not built-in.
15:25
fraggle_ has quit [Read error: Connection reset by peer]
15:31
shinnya has quit [Ping timeout: 250 seconds]
15:32
hhugo has quit [Quit: Leaving.]
15:32
waneck has quit [Read error: Connection reset by peer]
15:41
avsm has quit [Quit: Leaving.]
15:45
fraggle_ has joined #ocaml
15:49
nrlucaroni has quit [Quit: leaving]
15:51
fold has joined #ocaml
15:54
slash^1 has joined #ocaml
15:57
slash^ has quit [Ping timeout: 260 seconds]
15:58
tty57 has joined #ocaml
15:59
pii4 has quit [Changing host]
15:59
pii4 has joined #ocaml
16:00
rgrinberg has joined #ocaml
16:02
tac_ has joined #ocaml
16:04
pii4 has quit [Changing host]
16:04
pii4 has joined #ocaml
16:05
yacks has quit [Quit: Leaving]
16:06
ygrek has joined #ocaml
16:09
cthuluh_ is now known as cthuluh
16:12
cesar has joined #ocaml
16:12
cesar is now known as Guest97122
16:16
wwilly has joined #ocaml
16:19
mort___ has joined #ocaml
16:26
koderok has joined #ocaml
16:26
flx has joined #ocaml
16:26
msch has joined #ocaml
16:26
koderok has quit [Remote host closed the connection]
16:28
thomasga has quit [Quit: Leaving.]
16:28
flux has quit [Ping timeout: 272 seconds]
16:28
flx is now known as flux
16:31
thomasga has joined #ocaml
16:39
rand000 has joined #ocaml
16:47
_twx_ has joined #ocaml
16:58
ygrek has quit [Ping timeout: 272 seconds]
16:59
mcclurmc has joined #ocaml
17:00
seangrove has quit [Ping timeout: 245 seconds]
17:01
thomasga has quit [Quit: Leaving.]
17:08
Guest97122 has quit [Remote host closed the connection]
17:12
Anarchos has joined #ocaml
17:12
cesar has joined #ocaml
17:13
cesar is now known as Guest2244
17:14
ygrek has joined #ocaml
17:27
Thooms has quit [Quit: WeeChat 0.4.3]
17:29
yacks has joined #ocaml
17:33
eikke__ has joined #ocaml
17:37
philtom has joined #ocaml
17:38
slash^1 has quit [Read error: Connection reset by peer]
17:44
tnguyen1 has quit [Quit: tnguyen1]
17:45
cdidd has quit [Ping timeout: 240 seconds]
17:45
tac_ has quit [Quit: Leaving]
17:46
cdidd has joined #ocaml
17:47
<
tane >
ygrek, hey, are you around?
17:50
<
ygrek >
more not than yes
17:53
<
tane >
I've been thinking about adding a read/writefunction to ocurl which provides the user-context, otherwise i found it hard to have good duplicates on sending functions. What would be the preferred way to do so, without breaking the interface?
17:53
eikke__ has quit [Ping timeout: 240 seconds]
17:53
philtom has quit [Ping timeout: 260 seconds]
17:54
<
ygrek >
why just not pass closure?
17:55
<
tane >
well, if that closure maintains some state, then a duplicate has to reset that closure
17:56
<
ygrek >
ah, I see, but one cannot prohibit passing closures with state
17:56
<
tane >
that's true, yeah
17:56
<
ygrek >
so what is the usecase?
17:57
<
tane >
well, i may think about it a bit further, otherwise it doesn't matter
17:57
<
tane >
well, for example i've just added MAIL_RCPT and MAIL_FROM and wanted to sent an email twice, using different handles to test duphandle
17:57
<
ygrek >
if you know that you are doing a duplicate of a handle with closures with state - then just reset the state manually?
17:57
<
tane >
but i had to reset the readfunction, otherwise it couldn'T decide whether it's done or not
17:57
<
ygrek >
I would have a function like setup_handle with parameters and call it twice
17:57
<
tane >
yeah, i did so
17:58
<
ygrek >
and not rely on duphandle..
17:58
<
ygrek >
never used it actually %)
17:58
cdidd has quit [Ping timeout: 260 seconds]
17:58
<
tane >
anyway, i'm bgraf on github btw
17:58
<
tane >
just filed a pull request for those mail parameters
17:58
<
ygrek >
yeah, will take care of it
17:58
<
tane >
thanks for the information though :)
17:59
<
ygrek >
I think that duphandle interface is more useful for C api
17:59
cdidd has joined #ocaml
17:59
<
ygrek >
not so much for ocaml
17:59
<
ygrek >
just causing bugs afaics :)
17:59
<
ygrek >
anyway, going offline, it's 2am here
17:59
<
ygrek >
thanks for the patch
17:59
<
tane >
oh ok, good night then :)
18:00
ygrek has quit [Quit: ygrek]
18:01
ollehar has quit [Quit: ollehar]
18:16
mcclurmc has quit [Remote host closed the connection]
18:17
waneck has joined #ocaml
18:18
mcclurmc has joined #ocaml
18:20
waneck has quit [Read error: Connection reset by peer]
18:23
lordkryss has quit [Quit: Connection closed for inactivity]
18:25
Reventlov has quit [Remote host closed the connection]
18:28
<
dmbaturin >
Is there a way to tell menhir separated_list() that the last separator is optional?
18:28
Snark has quit [Ping timeout: 260 seconds]
18:28
<
dmbaturin >
As in accepting both "foo; bar; baz" and "foo; bar; baz;".
18:30
teiresia1 is now known as teiresias
18:30
<
flux >
not sure, but separated_list is probably quite simple and you can just implement a similar one yourself
18:31
<
Drup >
dmbaturin: it's not the case by default ?
18:31
<
Drup >
but yes, as flux said, easy to od it yourself
18:31
<
dmbaturin >
Drup: No, by default it doesn't accept a sequence where last separator is present.
18:33
<
dmbaturin >
Interesting that "tl = rules; SEMI; hd = rule; option(SEMI); { hd :: tl }" produces a shift-reduce conflict. I don't see why.
18:35
eikke__ has joined #ocaml
18:38
Reventlov has joined #ocaml
18:38
Reventlov has quit [Changing host]
18:38
Reventlov has joined #ocaml
18:38
Reventlov has quit [Client Quit]
18:39
<
dmbaturin >
Default resolution in menhir is shift, right?
18:39
Reventlov has joined #ocaml
18:40
<
dmbaturin >
"Warning: one shift/reduce conflict was arbitrarily resolved." sounds quite scary. :)
18:40
oscar_toro has quit [Quit: Leaving.]
18:40
oscar_toro has joined #ocaml
18:41
thomasga has joined #ocaml
18:42
waneck has joined #ocaml
18:44
thomasga has quit [Client Quit]
18:49
mort___ has quit [Quit: Leaving.]
18:52
waneck has quit [Ping timeout: 244 seconds]
18:55
hhugo has joined #ocaml
18:57
Thooms has joined #ocaml
19:13
hhugo has quit [Quit: Leaving.]
19:15
hhugo has joined #ocaml
19:22
<
dmbaturin >
Also, is there a way to access tuple items without pattern matching?
19:24
<
ggole >
For pairs there is fst and snd
19:24
<
ggole >
Tuples are also irrefutable, so you can destructure them in let and arguments.
19:27
<
dmbaturin >
Well, I wanted the shortest way to destructure it in menhir rule action for separated_pair. fst and snd sound perfect for this case.
19:29
<
ggole >
You can always write some accessors if you need them, they are quite trivial
19:29
<
ggole >
let third (_, _, x) = x
19:31
jonludlam has joined #ocaml
19:33
hhugo has quit [Quit: Leaving.]
19:36
<
dmbaturin >
Drup: Also, why list() and nonempty_list() drop the rightmost item?
19:36
hhugo has joined #ocaml
19:37
<
Drup >
hum, they do ?
19:37
jao has joined #ocaml
19:37
jao has quit [Changing host]
19:37
jao has joined #ocaml
19:37
axiles has quit [Remote host closed the connection]
19:39
<
dmbaturin >
Oddly enough, seems so.
19:39
Thooms has quit [Quit: WeeChat 0.4.3]
19:46
<
flux >
sounds like it could have something to do with the warning you got.. ;-)
19:48
<
dmbaturin >
flux: The warning was before I added higher-order stuff, it's already fixed. :)
19:49
ontologiae_ has joined #ocaml
19:53
hhugo has quit [Quit: Leaving.]
19:55
koderok has joined #ocaml
20:05
morphles has quit [Ping timeout: 272 seconds]
20:08
ontologiae_ has quit [Ping timeout: 272 seconds]
20:11
hhugo has joined #ocaml
20:12
jjwatt has quit [Remote host closed the connection]
20:16
ontologiae_ has joined #ocaml
20:23
mcclurmc has quit [Remote host closed the connection]
20:24
rgrinberg has quit [Quit: Leaving.]
20:30
mcclurmc has joined #ocaml
20:33
taion809 has quit [Ping timeout: 260 seconds]
20:35
taion809 has joined #ocaml
20:36
jc1 has joined #ocaml
20:45
jonludlam has quit [Ping timeout: 272 seconds]
20:49
martintrojer has quit [Ping timeout: 272 seconds]
20:49
martintrojer has joined #ocaml
20:52
mcclurmc has quit [Remote host closed the connection]
20:55
koderok has quit [Ping timeout: 245 seconds]
20:56
jonludlam has joined #ocaml
20:57
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
20:58
mcclurmc has joined #ocaml
21:01
jabesed has joined #ocaml
21:03
mcclurmc has quit [Ping timeout: 245 seconds]
21:06
WraithM has joined #ocaml
21:07
fraggle_ has quit [Remote host closed the connection]
21:07
mcclurmc has joined #ocaml
21:10
hhugo has quit [Quit: Leaving.]
21:12
mcclurmc has quit [Ping timeout: 260 seconds]
21:12
johnnydiabetic has joined #ocaml
21:14
rgrinberg has joined #ocaml
21:17
mcclurmc has joined #ocaml
21:17
shinnya has joined #ocaml
21:20
Kakadu has quit [Quit: Konversation terminated!]
21:22
mcclurmc has quit [Ping timeout: 272 seconds]
21:23
mcclurmc has joined #ocaml
21:28
mcclurmc has quit [Ping timeout: 272 seconds]
21:29
demonimin has quit [Ping timeout: 260 seconds]
21:32
mcclurmc has joined #ocaml
21:36
demonimin has joined #ocaml
21:36
tane has quit [Quit: Verlassend]
21:37
mcclurmc has quit [Ping timeout: 272 seconds]
21:41
eikke__ has quit [Ping timeout: 260 seconds]
21:41
jao has quit [Ping timeout: 258 seconds]
21:41
mcclurmc has joined #ocaml
21:47
mcclurmc has quit [Ping timeout: 260 seconds]
21:50
mcclurmc has joined #ocaml
21:55
mcclurmc has quit [Ping timeout: 245 seconds]
21:56
bytbox has joined #ocaml
21:59
mcclurmc has joined #ocaml
22:04
mcclurmc has quit [Ping timeout: 245 seconds]
22:09
willy_ has joined #ocaml
22:12
wwilly has quit [Ping timeout: 260 seconds]
22:13
MercurialAlchemi has quit [Ping timeout: 245 seconds]
22:19
oscar_toro has quit [Ping timeout: 272 seconds]
22:20
jabesed has quit [Remote host closed the connection]
22:24
flux has quit [Ping timeout: 250 seconds]
22:25
rgrinberg has quit [Quit: Leaving.]
22:28
zpe has quit [Ping timeout: 258 seconds]
22:31
jabesed has joined #ocaml
22:31
flux has joined #ocaml
22:33
eikke__ has joined #ocaml
22:35
thomasga has joined #ocaml
22:35
Guest2244 has quit [Remote host closed the connection]
22:41
<
Drup >
whitequark: what was the result of putting a Pexp_tuple with one element, already ? :p
22:41
<
whitequark >
Drup: it errors out, now
22:41
<
whitequark >
used to be a segfault
22:42
jc1 has quit [Quit: Leaving.]
22:43
<
companion_cube >
^^
22:45
tnguyen has joined #ocaml
23:00
zpe has joined #ocaml
23:01
badkins has joined #ocaml
23:07
rgrinberg has joined #ocaml
23:10
jonludlam has quit [Quit: Coyote finally caught me]
23:13
thomasga has quit [Quit: Leaving.]
23:15
Simn has joined #ocaml
23:25
philtom has joined #ocaml
23:25
zpe has quit [Remote host closed the connection]
23:27
hhugo has joined #ocaml
23:28
hhugo has quit [Client Quit]
23:29
eikke__ has quit [Ping timeout: 272 seconds]
23:30
msaegesser has joined #ocaml
23:32
darkf has joined #ocaml
23:33
madroach has quit [Ping timeout: 250 seconds]
23:35
madroach has joined #ocaml
23:37
Submarine has quit [Ping timeout: 245 seconds]
23:40
Submarine has joined #ocaml
23:46
ontologiae_ has quit [Ping timeout: 244 seconds]
23:56
tristero has joined #ocaml
23:59
Simn has quit [Quit: Leaving]