adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org and http://caml.inria.fr | http://ocaml.org/releases/4.02.0.html | Public channel logs at http://irclog.whitequark.org/ocaml
shinnya has quit [Ping timeout: 272 seconds]
tane has quit [Quit: Verlassend]
shinnya has joined #ocaml
jao has quit [Remote host closed the connection]
libertas has quit [Disconnected by services]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
thomasga has quit [Quit: Leaving.]
zRecursive has joined #ocaml
thomasga has joined #ocaml
cespinoza has quit [Ping timeout: 272 seconds]
iorivur has joined #ocaml
cespinoza has joined #ocaml
zpe has quit [Remote host closed the connection]
cespinoza has quit [Remote host closed the connection]
jabesed has quit [Ping timeout: 272 seconds]
Thooms has quit [Quit: WeeChat 0.4.3]
iorivur has quit [Ping timeout: 260 seconds]
rwmjones has quit [Read error: Connection reset by peer]
hhugo has quit [Quit: Leaving.]
jao has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
rwmjones has joined #ocaml
bcg has quit [Quit: leaving]
nrlucaroni has joined #ocaml
ollehar has joined #ocaml
zpe has joined #ocaml
waneck has quit [Ping timeout: 260 seconds]
waneck has joined #ocaml
nrlucaroni has quit [Quit: Lost terminal]
thomasga has quit [Quit: Leaving.]
bytbox has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 272 seconds]
claudiuc_ has joined #ocaml
claudiuc has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
travisbrady has joined #ocaml
koderok has joined #ocaml
koderok has quit [Client Quit]
zpe has quit [Ping timeout: 245 seconds]
taion809 has quit [Remote host closed the connection]
deavid has quit [Ping timeout: 240 seconds]
travisbrady has quit [Quit: travisbrady]
deavid has joined #ocaml
fold has quit [Ping timeout: 246 seconds]
tnguyen has quit [Quit: tnguyen]
zRecursive is now known as zRecursive{away}
zRecursive{away} has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
fold has joined #ocaml
eikke__ has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
cesar has joined #ocaml
cesar is now known as Guest78359
gabemc has quit [Ping timeout: 260 seconds]
waneck has quit [Ping timeout: 258 seconds]
burgobianco has quit [Remote host closed the connection]
burgobianco has joined #ocaml
zpe has joined #ocaml
eikke__ has quit [Ping timeout: 272 seconds]
waneck has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
tnguyen has joined #ocaml
gabemc has joined #ocaml
tac_ has quit [Ping timeout: 245 seconds]
zRecursive has joined #ocaml
tac_ has joined #ocaml
hugomg has quit [Quit: Page closed]
lostman has joined #ocaml
_0xAX has joined #ocaml
axiles has joined #ocaml
zpe has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
slash^ has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
fold has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
Guest78359 has quit [Remote host closed the connection]
tac_ has quit [Quit: Leaving]
Kakadu has joined #ocaml
_0xAX has quit [Remote host closed the connection]
zRecursive has quit [Remote host closed the connection]
morphles has joined #ocaml
ygrek has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
zpe has joined #ocaml
demonimin has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
typedlambda has quit [Ping timeout: 250 seconds]
typedlambda has joined #ocaml
cesar has joined #ocaml
waneck has quit [Ping timeout: 260 seconds]
cesar is now known as Guest43449
Guest43449 has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
waneck has joined #ocaml
pii4 has joined #ocaml
tac_ has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
morphles has quit [Ping timeout: 245 seconds]
Submarine has joined #ocaml
leowzukw has joined #ocaml
tane has joined #ocaml
hhugo has joined #ocaml
morphles has joined #ocaml
ollehar has joined #ocaml
zpe has joined #ocaml
NoNNaN has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
cesar has joined #ocaml
cesar is now known as Guest82962
Guest82962 has quit [Ping timeout: 244 seconds]
q66 has joined #ocaml
jabesed has joined #ocaml
ggole has joined #ocaml
rfv has joined #ocaml
oscar_toro has joined #ocaml
zpe has joined #ocaml
tnguyen1 has joined #ocaml
morphles has quit [Ping timeout: 260 seconds]
tnguyen has quit [Ping timeout: 260 seconds]
leowzukw has quit [Quit: leaving]
koderok has joined #ocaml
koderok has quit [Remote host closed the connection]
thomasga has joined #ocaml
waneck has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
gabemc has quit [Ping timeout: 245 seconds]
leowzukw has joined #ocaml
waneck has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
tac_ has quit [Ping timeout: 272 seconds]
eikke__ has joined #ocaml
shinnya has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest77909
Submarine has quit [Ping timeout: 244 seconds]
waneck has quit [Remote host closed the connection]
Guest77909 has quit [Ping timeout: 260 seconds]
waneck has joined #ocaml
eikke__ has quit [Ping timeout: 250 seconds]
avsm has joined #ocaml
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<Drup> whitequark: yay !
thomasga has quit [Quit: Leaving.]
avsm has quit [Quit: Leaving.]
lordkryss has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
jabesed has quit [Ping timeout: 250 seconds]
Submarine has quit [Ping timeout: 260 seconds]
jave_ has quit [Quit: ZNC - http://znc.in]
rgrinberg has quit [Quit: Leaving.]
jave has joined #ocaml
waneck has quit [Ping timeout: 260 seconds]
Submarine has joined #ocaml
zpe has joined #ocaml
NoNNaN has quit [Ping timeout: 264 seconds]
qiukun has joined #ocaml
<qiukun> hello
cesar has joined #ocaml
cesar is now known as Guest62963
<qiukun> why writing `a:: (b:: _ as t)` instead of `a::(b::t)`?
<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
<qiukun> Drup, thanks
<Drup> repl*
Guest62963 has quit [Ping timeout: 245 seconds]
<qiukun> Drup, i hate operator/keyword precedence
<adrien_> I always use parenthesis with as
<qiukun> adrien_, you're kind
eikke__ has joined #ocaml
<Drup> whitequark: you should rebase https://github.com/OCamlPro/ocp-index/pull/38 on master, it's broken at the moment (because of a change in ocp-build, I think)
waneck has joined #ocaml
Thooms has joined #ocaml
jabesed has joined #ocaml
taion809 has joined #ocaml
eikke__ has quit [Ping timeout: 260 seconds]
Submarine has quit [Ping timeout: 246 seconds]
waneck has quit [Read error: Connection reset by peer]
Submarine has joined #ocaml
koderok has joined #ocaml
koderok has quit [Remote host closed the connection]
jabesed has quit [Quit: Konversation terminated!]
waneck has joined #ocaml
slash^ has joined #ocaml
travisbrady has joined #ocaml
leowzukw has quit [Quit: leaving]
travisbrady has quit [Quit: travisbrady]
thomasga has joined #ocaml
darkf has quit [Quit: Leaving]
nrlucaroni has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest46585
Guest46585 has quit [Ping timeout: 272 seconds]
travisbrady has joined #ocaml
Simn has quit [Quit: Leaving]
travisbrady has quit [Quit: travisbrady]
morphles has joined #ocaml
avsm has joined #ocaml
<madroach> ~.
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
<dmbaturin> madroach: ~-.
<Drup> ~. is a valid operator too.
<dmbaturin> But it's not built-in.
fraggle_ has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 250 seconds]
hhugo has quit [Quit: Leaving.]
waneck has quit [Read error: Connection reset by peer]
avsm has quit [Quit: Leaving.]
fraggle_ has joined #ocaml
nrlucaroni has quit [Quit: leaving]
fold has joined #ocaml
slash^1 has joined #ocaml
slash^ has quit [Ping timeout: 260 seconds]
tty57 has joined #ocaml
pii4 has quit [Changing host]
pii4 has joined #ocaml
rgrinberg has joined #ocaml
tac_ has joined #ocaml
pii4 has quit [Changing host]
pii4 has joined #ocaml
yacks has quit [Quit: Leaving]
ygrek has joined #ocaml
cthuluh_ is now known as cthuluh
cesar has joined #ocaml
cesar is now known as Guest97122
wwilly has joined #ocaml
mort___ has joined #ocaml
koderok has joined #ocaml
flx has joined #ocaml
msch has joined #ocaml
koderok has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
flux has quit [Ping timeout: 272 seconds]
flx is now known as flux
thomasga has joined #ocaml
rand000 has joined #ocaml
_twx_ has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
seangrove has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
Guest97122 has quit [Remote host closed the connection]
Anarchos has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest2244
ygrek has joined #ocaml
Thooms has quit [Quit: WeeChat 0.4.3]
yacks has joined #ocaml
eikke__ has joined #ocaml
philtom has joined #ocaml
slash^1 has quit [Read error: Connection reset by peer]
tnguyen1 has quit [Quit: tnguyen1]
cdidd has quit [Ping timeout: 240 seconds]
tac_ has quit [Quit: Leaving]
cdidd has joined #ocaml
<tane> ygrek, hey, are you around?
<ygrek> more not than yes
<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?
eikke__ has quit [Ping timeout: 240 seconds]
philtom has quit [Ping timeout: 260 seconds]
<ygrek> why just not pass closure?
<tane> well, if that closure maintains some state, then a duplicate has to reset that closure
<ygrek> ah, I see, but one cannot prohibit passing closures with state
<tane> that's true, yeah
<ygrek> so what is the usecase?
<tane> well, i may think about it a bit further, otherwise it doesn't matter
<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
<ygrek> if you know that you are doing a duplicate of a handle with closures with state - then just reset the state manually?
<tane> but i had to reset the readfunction, otherwise it couldn'T decide whether it's done or not
<ygrek> I would have a function like setup_handle with parameters and call it twice
<tane> yeah, i did so
<ygrek> and not rely on duphandle..
<ygrek> never used it actually %)
cdidd has quit [Ping timeout: 260 seconds]
<tane> haha, ok
<tane> anyway, i'm bgraf on github btw
<tane> just filed a pull request for those mail parameters
<ygrek> yeah, will take care of it
<tane> thanks for the information though :)
<ygrek> np
<ygrek> I think that duphandle interface is more useful for C api
cdidd has joined #ocaml
<ygrek> not so much for ocaml
<ygrek> just causing bugs afaics :)
<tane> yeah, ok :)
<ygrek> anyway, going offline, it's 2am here
<ygrek> thanks for the patch
<tane> oh ok, good night then :)
<ygrek> bb
<tane> np :)
ygrek has quit [Quit: ygrek]
ollehar has quit [Quit: ollehar]
mcclurmc has quit [Remote host closed the connection]
waneck has joined #ocaml
mcclurmc has joined #ocaml
waneck has quit [Read error: Connection reset by peer]
lordkryss has quit [Quit: Connection closed for inactivity]
tty57 has quit [Quit: Textual IRC Client: www.textualapp.com]
Reventlov has quit [Remote host closed the connection]
<dmbaturin> Is there a way to tell menhir separated_list() that the last separator is optional?
Snark has quit [Ping timeout: 260 seconds]
<dmbaturin> As in accepting both "foo; bar; baz" and "foo; bar; baz;".
teiresia1 is now known as teiresias
<flux> not sure, but separated_list is probably quite simple and you can just implement a similar one yourself
<Drup> dmbaturin: it's not the case by default ?
<Drup> but yes, as flux said, easy to od it yourself
<dmbaturin> Drup: No, by default it doesn't accept a sequence where last separator is present.
<Drup> ah, right
<dmbaturin> Interesting that "tl = rules; SEMI; hd = rule; option(SEMI); { hd :: tl }" produces a shift-reduce conflict. I don't see why.
eikke__ has joined #ocaml
Reventlov has joined #ocaml
Reventlov has quit [Changing host]
Reventlov has joined #ocaml
Reventlov has quit [Client Quit]
<dmbaturin> Default resolution in menhir is shift, right?
Reventlov has joined #ocaml
<dmbaturin> "Warning: one shift/reduce conflict was arbitrarily resolved." sounds quite scary. :)
oscar_toro has quit [Quit: Leaving.]
oscar_toro has joined #ocaml
thomasga has joined #ocaml
waneck has joined #ocaml
thomasga has quit [Client Quit]
mort___ has quit [Quit: Leaving.]
waneck has quit [Ping timeout: 244 seconds]
hhugo has joined #ocaml
Thooms has joined #ocaml
hhugo has quit [Quit: Leaving.]
hhugo has joined #ocaml
<dmbaturin> Also, is there a way to access tuple items without pattern matching?
<ggole> For pairs there is fst and snd
<ggole> Tuples are also irrefutable, so you can destructure them in let and arguments.
<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.
<ggole> You can always write some accessors if you need them, they are quite trivial
<ggole> let third (_, _, x) = x
jonludlam has joined #ocaml
hhugo has quit [Quit: Leaving.]
<dmbaturin> Drup: Also, why list() and nonempty_list() drop the rightmost item?
hhugo has joined #ocaml
<Drup> hum, they do ?
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
axiles has quit [Remote host closed the connection]
<dmbaturin> Oddly enough, seems so.
Thooms has quit [Quit: WeeChat 0.4.3]
<flux> sounds like it could have something to do with the warning you got.. ;-)
<dmbaturin> flux: The warning was before I added higher-order stuff, it's already fixed. :)
ontologiae_ has joined #ocaml
hhugo has quit [Quit: Leaving.]
koderok has joined #ocaml
morphles has quit [Ping timeout: 272 seconds]
ontologiae_ has quit [Ping timeout: 272 seconds]
hhugo has joined #ocaml
jjwatt has quit [Remote host closed the connection]
ontologiae_ has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
mcclurmc has joined #ocaml
taion809 has quit [Ping timeout: 260 seconds]
taion809 has joined #ocaml
jc1 has joined #ocaml
jonludlam has quit [Ping timeout: 272 seconds]
martintrojer has quit [Ping timeout: 272 seconds]
martintrojer has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
koderok has quit [Ping timeout: 245 seconds]
jonludlam has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
mcclurmc has joined #ocaml
jabesed has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
hhugo has quit [Quit: Leaving.]
mcclurmc has quit [Ping timeout: 260 seconds]
johnnydiabetic has joined #ocaml
rgrinberg has joined #ocaml
mcclurmc has joined #ocaml
shinnya has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
mcclurmc has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
demonimin has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
demonimin has joined #ocaml
tane has quit [Quit: Verlassend]
mcclurmc has quit [Ping timeout: 272 seconds]
ggole has quit []
eikke__ has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 258 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
bytbox has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
willy_ has joined #ocaml
wwilly has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
oscar_toro has quit [Ping timeout: 272 seconds]
jabesed has quit [Remote host closed the connection]
flux has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 258 seconds]
jabesed has joined #ocaml
flux has joined #ocaml
eikke__ has joined #ocaml
thomasga has joined #ocaml
Guest2244 has quit [Remote host closed the connection]
<Drup> whitequark: what was the result of putting a Pexp_tuple with one element, already ? :p
<whitequark> Drup: it errors out, now
<whitequark> used to be a segfault
<Drup> right :D
jc1 has quit [Quit: Leaving.]
<companion_cube> ^^
tnguyen has joined #ocaml
zpe has joined #ocaml
badkins has joined #ocaml
rgrinberg has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
thomasga has quit [Quit: Leaving.]
Simn has joined #ocaml
philtom has joined #ocaml
zpe has quit [Remote host closed the connection]
hhugo has joined #ocaml
hhugo has quit [Client Quit]
eikke__ has quit [Ping timeout: 272 seconds]
msaegesser has joined #ocaml
darkf has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
Submarine has quit [Ping timeout: 245 seconds]
Submarine has joined #ocaml
ontologiae_ has quit [Ping timeout: 244 seconds]
tristero has joined #ocaml
Simn has quit [Quit: Leaving]