adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
cokanut has joined #ocaml
cokanut has quit [Ping timeout: 246 seconds]
sh0t has quit [Remote host closed the connection]
segmond has quit [Ping timeout: 246 seconds]
segmond has joined #ocaml
segmond has quit [Ping timeout: 246 seconds]
Onemorenickname_ has quit [Read error: Connection reset by peer]
segmond has joined #ocaml
segmond has quit [Max SendQ exceeded]
segmond has joined #ocaml
jabroney has joined #ocaml
jabroney1 has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 246 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
jabroney has quit [Ping timeout: 256 seconds]
al-damiri has quit [Quit: Connection closed for inactivity]
infinity0 has quit [Remote host closed the connection]
ajhager2 has quit [Quit: WeeChat 1.7]
spew has quit [Ping timeout: 260 seconds]
freusque has quit [Quit: WeeChat 1.4]
atsampson has quit [Ping timeout: 255 seconds]
jmasseo has quit [Quit: Lost terminal]
spew has joined #ocaml
atsampson has joined #ocaml
ncthom91 has joined #ocaml
silver has quit [Read error: Connection reset by peer]
igt0 has joined #ocaml
ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]
jimt is now known as Jim7J1AJH
FreeBirdLjj has joined #ocaml
mfp_ has quit [Ping timeout: 256 seconds]
cokanut has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
cokanut has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
thewickedaxe has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
<tautologico> companion_cube: does ZMQ (the ocaml bindings) depend on Lwt?
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
ygrek_ has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
wtetzner has joined #ocaml
FreeBirdLjj has joined #ocaml
spew has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
thewickedaxe has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
thewickedaxe has joined #ocaml
Jim7J1AJH is now known as jimt
cokanut has joined #ocaml
cokanut has quit [Ping timeout: 258 seconds]
spew has joined #ocaml
govg has joined #ocaml
wtetzner has quit [Remote host closed the connection]
igt0 has quit [Quit: Connection closed for inactivity]
spew has quit [Quit: foobar]
cokanut has joined #ocaml
FreeBirdLjj has joined #ocaml
thewickedaxe has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
MercurialAlchemi has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 256 seconds]
govg has quit [Ping timeout: 240 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
wagle has quit [Ping timeout: 260 seconds]
wagle has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
govg has joined #ocaml
rpcope has quit [Quit: ZNC - http://znc.in]
ygrek_ has joined #ocaml
rpcope has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
Simn has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
cokanut has quit [Ping timeout: 260 seconds]
rpcope has quit [Quit: ZNC - http://znc.in]
nicoo has joined #ocaml
larhat has joined #ocaml
rpcope has joined #ocaml
cokanut has joined #ocaml
<companion_cube> no, there's lwt-zmq that bridges bothj
jnavila has joined #ocaml
rpcope has quit [Quit: ZNC - http://znc.in]
rpcope has joined #ocaml
freusque has joined #ocaml
larhat has quit [Quit: Leaving.]
octachron has joined #ocaml
cokanut has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
rpcope has quit [Quit: ZNC - http://znc.in]
cokanut has joined #ocaml
ohama has quit [Ping timeout: 240 seconds]
AltGr has joined #ocaml
ohama has joined #ocaml
rpcope has joined #ocaml
xmonader has joined #ocaml
cokanut has quit [Ping timeout: 258 seconds]
MercurialAlchemi has joined #ocaml
freusque has quit [Ping timeout: 260 seconds]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
ygrek_ has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
rcsole has joined #ocaml
zpe has quit [Remote host closed the connection]
Bluddy[m] has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
Bluddy[m] has joined #ocaml
M-ErkkiSeppl has quit [Ping timeout: 255 seconds]
rcsole has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has joined #ocaml
ygrek has joined #ocaml
zpe has quit [Read error: No route to host]
zpe has joined #ocaml
justicefries has joined #ocaml
infinity0 has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zv has quit [Ping timeout: 256 seconds]
zpe has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zv has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 258 seconds]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
mfp_ has joined #ocaml
kakadu has joined #ocaml
infinity0 has quit [Remote host closed the connection]
tormen has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
tormen has joined #ocaml
dhil has joined #ocaml
zpe has joined #ocaml
AlexDenisov has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
silver has joined #ocaml
cokanut has joined #ocaml
cokanut has quit [Ping timeout: 260 seconds]
cokanut has joined #ocaml
cokanut has quit [Quit: Lost terminal]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
CcxWrk has quit [Read error: Connection reset by peer]
yomimono has joined #ocaml
CcxWrk has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
freusque has joined #ocaml
d0nn1e has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
d0nn1e has joined #ocaml
kino` has joined #ocaml
<kino`> Hey folks
<ollehar> hi
<zozozo> hey
<ollehar> hi
<kino`> I started OCaml not too long ago, and was looking at ast_iterator in the compiler -
<kino`> I tried implementing something similar, which works - you can change behavior by updating the default_iterator record
<kino`> But is it possible to add a field to that record ?
jbrown has joined #ocaml
<kino`> Like - Say I want to build a list with all of my identifiers
<kino`> Do I have to use a ref list on the side - or can I just add a field?
<ollehar> kino`: extend a record defined else where?
<kino`> ollehar: What do you mean?
<ollehar> I believe there was an OCaml branch that let you do that
<kino`> Oh yeah, ok
<def`> kino`: you do have to use a list ref on the side
<kino`> Hm, ok.
<kino`> Thanks.
<kino`> I also have a kinda similar question about the ast_mapper (https://github.com/ocaml/ocaml/blob/trunk/parsing/ast_mapper.ml). In the type signature, each node returns something of the same type.
<kino`> Is there any way to make such a mapper function return some other type?
freusque has quit [Quit: WeeChat 1.7]
freusque has joined #ocaml
<octachron> kino`, it is possible in general, but I don't think it would make sense for ast_mapper which default value is a tree homomorphism
<kino`> Hm, I see. What would be the recommended approach then?
BitPuffin|osx has joined #ocaml
<octachron> kino`, first what are you trying to do?
<rightfold> What does ## mean?
<rightfold> I see it in some examples.
<ollehar> rightfold: command in command-line tool
<ollehar> to load libs
<ollehar> or what's the context?
<ollehar> wait, maybe it's only #use topfind
<ollehar> :P
<octachron> rightfold, js_of_ocaml uses it for javascript methods and properties
<rightfold> ollehar: as part of an expression, such as `context##fillRect (!x,!y, 20., 20.)`
<rightfold> octachron: ah, so it's JS-specific, thanks
<ollehar> ah
<rightfold> I see bucklescript also uses it
<octachron> rightfold, the generic rule for # operators is that if there is at least two #, it is an extension specific operators
<kino`> octachron: Let's say I've got an `equation` node that I want to transform in `annotated equation`
dhil has quit [Ping timeout: 240 seconds]
<kino`> But not to rewrite all the AST traversal
<rgrinberg> Did the ocamlbuild upgrade go well for everyone?
<ollehar> octachron: it's also for object method calling?
AlexDenisov has joined #ocaml
<octachron> ollehar, the standard single "#" operator is for Ocaml object method call, yes
apache3 has quit [Remote host closed the connection]
apache3 has joined #ocaml
_andre has joined #ocaml
<octachron> kino`, and an annotated equation and a normal equation have different node types?
<kino`> Yes
<octachron> kino`, a solution might be to find the closest ancestor node whose type is left unchanged and implement the equation transformation at this level
<kino`> And relaunch the mapper on the child nodes post transformation
<kino`> Yeah, that might work
<kino`> Thanks a lot.
shinnya has joined #ocaml
dhil has joined #ocaml
cheater has quit [Ping timeout: 260 seconds]
cheater has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
agarwal1975 has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
freechips has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
<kino`> Would you have a link to some documentation or article about opening/organizing modules stored in a folder hierarchy?
freechips has joined #ocaml
AlexDenisov has joined #ocaml
cheater has quit [Ping timeout: 260 seconds]
cheater has joined #ocaml
freechips has quit [Ping timeout: 246 seconds]
<kino`> Ah, found something on SO.
freechips has joined #ocaml
snowcrshd has joined #ocaml
govg has quit [Ping timeout: 258 seconds]
dch_ has joined #ocaml
freechips has quit [Ping timeout: 256 seconds]
<kino`> Did anybody had issues with a menhir parser in folder referenced by a .mlpack file?
cheater has quit [Ping timeout: 260 seconds]
spew has joined #ocaml
cheater has joined #ocaml
dch_ has quit [Quit: ZZ]
abeaumont has joined #ocaml
govg has joined #ocaml
thewickedaxe has joined #ocaml
freechips has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
al-damiri has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
jao has joined #ocaml
<kino`> What is the complexity of Ocaml's String.concatenate function?
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
<flux> I assume O(∑n_m)
<octachron> flux, it made me remember that there is no notation for bivariant type parameter in the surface language :(
shinnya has quit [Ping timeout: 260 seconds]
<infinity0> flux: look up "algebraic subtyping" by stephen dolan, 2016-09 phd thesis
<infinity0> will be interesting to see that in a "real language" some time
cheater has quit [Ping timeout: 264 seconds]
cheater has joined #ocaml
gasche has joined #ocaml
<gasche> rgrinberg: please let us know (for example on the issue tracker) if you hear of ocamlbuild-upgrade troubles
yomimono has quit [Ping timeout: 240 seconds]
<gasche> (this is the first release in a while that includes a change that is known to be breaking in some situations)
jabroney has joined #ocaml
ryanartecona has joined #ocaml
cheater has quit [Ping timeout: 240 seconds]
cheater has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
freusque has quit [Quit: WeeChat 1.7]
dhil has quit [Ping timeout: 258 seconds]
AlexDenisov has joined #ocaml
hxegon has joined #ocaml
hxegon has quit [Client Quit]
sepp2k has joined #ocaml
copy` has joined #ocaml
hxegon has joined #ocaml
hxegon has quit [Client Quit]
thewickedaxe has quit [Ping timeout: 240 seconds]
hxegon has joined #ocaml
hxegon has quit [Client Quit]
hxegon has joined #ocaml
hxegon has quit [Client Quit]
yomimono has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
jnavila has quit [Quit: It was time]
<kino`> Is there a way to share a file level module with two different packed modules?
abeaumont has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<octachron> kino`, having copies of same compilation unit in different packs works
BitPuffin|osx has quit [Ping timeout: 240 seconds]
<octachron> however, they are not shared, for a module A with a type t, Pack_1.A.t ≠ Pack_2.A.t
yomimono has quit [Ping timeout: 260 seconds]
BitPuffin|osx has joined #ocaml
<kino`> Hm.
<kino`> Apparently, I can open Shared.A in Pack_1 and in Pack_2, which should do what I wanted (?)
malc_ has joined #ocaml
<octachron> kino`, using the same compilation unit is different packs is fine; I thought you meant to include it in several different packs
<kino`> Oh
ygrek has joined #ocaml
<kino`> Do you know how one can contribute to ocaml.org/learn ?
spew has quit [Ping timeout: 260 seconds]
<octachron> kino`, afaik by PR on https://github.com/ocaml/ocaml.org/
<kino`> Thanks
jnavila has joined #ocaml
jnavila has quit [Client Quit]
tane has joined #ocaml
larhat has joined #ocaml
jnavila has joined #ocaml
sh0t has quit [Ping timeout: 256 seconds]
larhat has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
sh0t has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
AlexDenisov has joined #ocaml
ryanartecona has joined #ocaml
orbifx has joined #ocaml
thewickedaxe has joined #ocaml
gasche has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
jnavila has quit [Ping timeout: 240 seconds]
thewickedaxe has left #ocaml [#ocaml]
ygrek has quit [Ping timeout: 264 seconds]
frefity has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
frefity has joined #ocaml
TarVanim_ has joined #ocaml
ygrek has joined #ocaml
kakadu has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
thewickedaxe has joined #ocaml
malc_ has quit [Remote host closed the connection]
spew has joined #ocaml
kino` has quit [Ping timeout: 246 seconds]
TheLemonMan has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
frefity has quit [Ping timeout: 256 seconds]
xmonader has quit [Ping timeout: 258 seconds]
bacam has quit [Quit: reboot]
frefity has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
bacam has joined #ocaml
snowcrshd has quit [Ping timeout: 258 seconds]
octachron has quit [Quit: Leaving]
dch_ has joined #ocaml
dch_ has quit [Client Quit]
jnavila has quit [Ping timeout: 240 seconds]
Simn has quit [Quit: Leaving]
kino` has joined #ocaml
hannes has quit [Quit: Coyote finally caught me]
hannes has joined #ocaml
moei has quit [Quit: Leaving...]
orbifx has quit [Ping timeout: 246 seconds]
hannes has quit [Quit: Coyote finally caught me]
moei has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hannes has joined #ocaml
hannes has quit [Client Quit]
hannes has joined #ocaml
<kakadu> Folks, can I write something like this using ppx_tools.metaquot?
<kakadu> [%stri class [%p Pat.var "asdf" ] = object end ]
<kakadu> I'm kind of curious how to write my own extension for class-related stuff
<kakadu> At the moment I think that I need to hack payload type https://github.com/ocaml/ocaml/blob/trunk/parsing/parsetree.mli#L59 but I'm not sure
silver_ has joined #ocaml
silver has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
AltGr has left #ocaml [#ocaml]
TarVanim_ has quit [Quit: TarVanim_]
seangrove has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<seangrove> Hey all, I'd like to start two unix processes with LWT concurrently, and if one fails I'd like to restart it. What module should I be looking at? I haven't been able to google any examples.
kakadu has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
<rgrinberg> seangrove: Lwt_process
sepp2k has quit [Quit: Leaving.]
kino` has quit [Ping timeout: 260 seconds]
wtetzner has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]