companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | 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
infinity0 has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
sgronblo has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
cggong has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
ryanartecona has quit [Client Quit]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
segmond has joined #ocaml
segmond has quit [Quit: l8r]
jimt has quit [Ping timeout: 240 seconds]
keyjoo_ has quit [Ping timeout: 246 seconds]
Merv_ has joined #ocaml
jlam_ has joined #ocaml
jlam has quit [Ping timeout: 255 seconds]
markhkim has left #ocaml [#ocaml]
sgronblo has joined #ocaml
cggong has quit [Quit: cggong]
copy` has quit [Quit: Connection closed for inactivity]
pete_8 has joined #ocaml
silver has quit [Read error: Connection reset by peer]
pete_8 has quit [Ping timeout: 255 seconds]
Merv_ has quit [Ping timeout: 268 seconds]
cggong has joined #ocaml
jimt has joined #ocaml
agravier has joined #ocaml
ryanartecona has joined #ocaml
ryanartecona has quit [Client Quit]
mfp_ has quit [Ping timeout: 240 seconds]
jimt is now known as Jim7J1AJH
Merv_ has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
enterprisey has joined #ocaml
phase has joined #ocaml
phase is now known as Guest67066
spew has joined #ocaml
Merv_ has quit [Ping timeout: 240 seconds]
jao has quit [Ping timeout: 260 seconds]
pete_8 has joined #ocaml
cggong has quit [Quit: cggong]
samrat has joined #ocaml
cggong has joined #ocaml
Jim7J1AJH is now known as jimt
samrat has quit [Ping timeout: 246 seconds]
samrat has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
agravier has quit [Quit: agravier]
Merv_ has joined #ocaml
cggong has quit [Quit: cggong]
enterprisey has quit [Read error: Connection reset by peer]
samrat has quit [Ping timeout: 240 seconds]
olibjerd has joined #ocaml
MercurialAlchemi has joined #ocaml
pete_8 has quit [Ping timeout: 268 seconds]
jimt has quit [Read error: Connection reset by peer]
agravier has joined #ocaml
Merv_ has quit [Ping timeout: 255 seconds]
infinity0 has joined #ocaml
jimt has joined #ocaml
barcabuona has quit [Ping timeout: 255 seconds]
lostman has joined #ocaml
barcabuona has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
pete_8 has joined #ocaml
spew has quit [Quit: foobar]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
keyjoo_ has joined #ocaml
jbrown has quit [Quit: Leaving]
lpaste has quit [Quit: Quit]
dwillems has quit [Ping timeout: 260 seconds]
ousado_ has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
olibjerd has quit [Quit: olibjerd]
ousado_ has joined #ocaml
ousado_ has quit [Remote host closed the connection]
freusque has joined #ocaml
ousado_ has joined #ocaml
ousado_ has quit [Read error: Connection reset by peer]
mcspud is now known as brogramming420
brogramming420 is now known as mcspud
ousado_ has joined #ocaml
ome has quit [Ping timeout: 255 seconds]
nicooo has quit [Remote host closed the connection]
nicooo has joined #ocaml
ome has joined #ocaml
FreeBirdLjj has joined #ocaml
alfredo has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
Simn has joined #ocaml
pete_8 has quit [Ping timeout: 256 seconds]
nicooo has quit [Remote host closed the connection]
pete_8 has joined #ocaml
nicootje has joined #ocaml
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 240 seconds]
sgronblo has quit [Ping timeout: 240 seconds]
Merv_ has joined #ocaml
toolslive has quit [Quit: Ex-Chat]
keyjoo_ has quit [Ping timeout: 240 seconds]
sgronblo has joined #ocaml
lostman has quit [Quit: Connection closed for inactivity]
AltGr has joined #ocaml
keyjoo_ has joined #ocaml
bbc has quit [K-Lined]
yawnt has quit [K-Lined]
bbc has joined #ocaml
yawnt has joined #ocaml
Merv__ has joined #ocaml
Merv_ has quit [Ping timeout: 268 seconds]
zpe has joined #ocaml
AltGr has left #ocaml [#ocaml]
samrat has quit [Ping timeout: 268 seconds]
picolino has quit [Ping timeout: 240 seconds]
picolino has joined #ocaml
jack5638 has quit [Ping timeout: 260 seconds]
jack5638 has joined #ocaml
sepp2k has joined #ocaml
srcerer has quit [Ping timeout: 260 seconds]
argent_smith has joined #ocaml
<reynir> apache2_: interesting, I have a bin/ppx_cstruct from May 26 while lib/ppx.exe is from Jun 12
<reynir> Maybe the binary isn't removed properly when upgrading/uninstalling ppx_cstruct, thus hiding the error
wonderer89 has joined #ocaml
<wonderer89> what does the `as` keyword mean in the following ocaml type signature. 'b -> 'c -> 'c * 'a as 'a
<companion_cube> it means that 'a is equal to the whole type 'b -> 'c -> 'c * 'a
<companion_cube> it's a cyclic type
<companion_cube> I'm a bit surprised this is accepted actually
<reynir> Hmm, I never saw it with ' on the left hand side
<reynir> 'a
keyjoo_ has quit [Ping timeout: 246 seconds]
<wonderer89> companion_cube: it's accepted with -rectypes
<companion_cube> ah, yes, sure
<companion_cube> but it's because rectypes is precisely what enables this kind of weird cyclic types
nicootje is now known as nicoo
pete_8 has quit [Ping timeout: 246 seconds]
<wonderer89> thanks companion_cube !
<apache2_> reynir: plausible!
<apache2_> when are rectypes useful?
dhil has joined #ocaml
sgronblo has quit [Ping timeout: 255 seconds]
wonderer89 has quit [Quit: Page closed]
Guest67066 has quit [Quit: cya l8r alig8r]
picolino has quit [Ping timeout: 246 seconds]
picolino has joined #ocaml
raphaelss has quit [Remote host closed the connection]
mfp_ has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
samrat has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
sgronblo has joined #ocaml
silver has joined #ocaml
govg has quit [Quit: leaving]
keyjoo_ has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
jack5638 has quit [Ping timeout: 260 seconds]
pete_8 has joined #ocaml
jack5638 has joined #ocaml
kakadu has joined #ocaml
<reynir> apache2_: Maybe you can try install an older version and then upgrade - then you might have the old bin/ppx_cstruct as well :D
<reynir> (ugly hack of the day)
freusque has quit [Quit: WeeChat 1.7]
<apache2_> I got everything working software-wise, it's just not reproducible anywhere else
<apache2_> whatever, I'm going to release my software as a zip file containing .opam
govg has joined #ocaml
apache2_ has quit [Quit: leaving]
cggong has joined #ocaml
ziyourenxiang has joined #ocaml
cggong has quit [Quit: cggong]
_andre has joined #ocaml
superherointj has joined #ocaml
cggong has joined #ocaml
pete_8 has quit [Ping timeout: 240 seconds]
cggong has quit [Quit: cggong]
pete_8 has joined #ocaml
dhil has quit [Ping timeout: 255 seconds]
nicoo has quit [Ping timeout: 248 seconds]
nicoo has joined #ocaml
olibjerd has joined #ocaml
cggong has joined #ocaml
dhil has joined #ocaml
cggong has quit [Quit: cggong]
shinnya has joined #ocaml
samrat has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
samrat has quit [Ping timeout: 246 seconds]
demonimin has joined #ocaml
cranmax has joined #ocaml
samrat has joined #ocaml
<Leonidas> apache2: a 7z file!
enterprisey has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
dhil has joined #ocaml
MercurialAlchemi has joined #ocaml
keyjoo_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
zpe has quit [Remote host closed the connection]
cggong has joined #ocaml
agravier has quit [Quit: agravier]
agravier has joined #ocaml
copy` has joined #ocaml
jao has joined #ocaml
FreeBird_ has joined #ocaml
al-damiri has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Merv__ has quit [Remote host closed the connection]
Merv__ has joined #ocaml
ryanartecona has joined #ocaml
sh0t has joined #ocaml
cggong has quit [Quit: cggong]
cggong has joined #ocaml
freusque has joined #ocaml
mengu has joined #ocaml
marsam has joined #ocaml
boojinks has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
cranmax has quit [Quit: Connection closed for inactivity]
<companion_cube> copy`: l'argument du mec me parait super bidon par contre
<companion_cube> "ohlala si tu fais un buffer à 1 elt t'as de l'overhead"
<companion_cube> et il propose d'ajouter un champ "length"… qui prend la même place
<companion_cube> (ah, pê pas)
<companion_cube> m'enfin quand même)
<companion_cube> boarf… faut des unsigned…
<copy`> Ah, right
<copy`> (this is the english room, by the way)
<companion_cube> ooops
<companion_cube> my bad
<companion_cube> shouldn't put both channels that close
<companion_cube> -_-
cggong has quit [Quit: cggong]
cranmax has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
cranmax has left #ocaml [#ocaml]
ontologiae_ has quit [Ping timeout: 240 seconds]
cranmax2 has joined #ocaml
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
<cranmax2> Hi, I have seen the popularity contest of OCaml installations in Ubuntu and Debian, it seems that there is more people using Debian. So I'm just curious about which operating system uses to develop in OCaml? Thanks
<companion_cube> I use arch, personnaly
<companion_cube> +l
<ousado_> cranmax2: do you have a link?
<zozozo> I also use arch
<Leonidas> cranmax2: I also use arch
sh0t has quit [Remote host closed the connection]
<Leonidas> ousado_: https://qa.debian.org/popcon.php?package=opam for Debian
superherointj has quit [Quit: Leaving]
<Leonidas> and no idea about ubuntu: http://popcon.ubuntu.com/
<cranmax2> Thanks, I'm actually using ubuntu. Yes, the popularity contest of ubuntu it's messy, I have compared the ocaml package because the opam package not appears.
<cranmax2> Here is the graph showing the opam installations in Debian, from 2013 until now:
agravier has quit [Quit: agravier]
<cranmax2> It would be nice also to see the opam installations in Arch, until now, here in this channel 2/3 uses Arch
agravier has joined #ocaml
<mengu> i use mac os
<boojinks> gentoo, currently
<boojinks> although realistically the choice of distro mostly comes down to choice of package manager in most instances
Merv__ has quit [Remote host closed the connection]
<Leonidas> cranmax2: I don't get why the choice of distribution is important to you?
<Leonidas> "Well I'm glad you are happy behind your walls, but outside these walls where some care about api documentation I'm afraid this is not the case."
<Leonidas> hahaha, dbunzli :D
cggong has joined #ocaml
cggong has quit [Client Quit]
<cranmax2> Leonidas I'm happy now, I don't see walls around me, I believe you are asking for help
<Leonidas> cranmax2: I was citing dzunzli from discuss.ocaml.org
<cranmax2> Okey, thanks
<zozozo> cranmax2: actually, opam is quite awesome at making the distro a lot less relevant for ocaml developpement
shinnya has quit [Ping timeout: 246 seconds]
enterprisey has quit [Remote host closed the connection]
KeyJoo has joined #ocaml
<reynir> cranmax2: I use both arch and debian :D
KeyJoo has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
cggong has joined #ocaml
TheLemonMan has joined #ocaml
enterprisey has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
cranmax2 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
kakadu has quit [Quit: Konversation terminated!]
cggong has quit [Quit: cggong]
Simn has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 255 seconds]
samrat has quit [Ping timeout: 260 seconds]
KeyJoo has joined #ocaml
cggong has joined #ocaml
jnavila has joined #ocaml
pete_8 has quit [Ping timeout: 240 seconds]
marsam has quit [Ping timeout: 246 seconds]
marsam has joined #ocaml
Simn has joined #ocaml
olibjerd has quit [Quit: olibjerd]
Merv_ has joined #ocaml
_whitelogger has joined #ocaml
kakadu has joined #ocaml
mengu_ has joined #ocaml
pete_8 has joined #ocaml
mengu has quit [Ping timeout: 255 seconds]
zpe has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
agravier has quit [Quit: agravier]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mengu has joined #ocaml
agravier has joined #ocaml
mengu_ has quit [Ping timeout: 255 seconds]
_andre has quit [Quit: leaving]
jnavila has quit [Remote host closed the connection]
<lobo> i've got ocp-index 1.1.6 and ocp-browser 1.0.0 in a 4.04.1 switch installed. but there is no ocp-browser binary. does anyone else have this issue?
<lobo> reinstall/uninstall/install of the packages didn't fix it. maybe i'll just give it a try in a new switch
<zozozo> lobo: have you run "eval `oam config env`" after switching ?
<zozozo> s/oam/opam
shinnya has joined #ocaml
<lobo> zozozo: yes, this was in my main switch. just realized that ocp-browser was gone after a few opam update/upgrade cycles during the last two or three weeks
<zozozo> hm.. that's strange
florian_ has joined #ocaml
<florian_> I am using atdgen generated json for communication between ocaml and python programs, but have an issue with the generated code
<florian_> why is this example https://pastebin.com/r8GtW9dZ translated to {'cmd' : [... ]} and not {'cmd' : { ... }}
<copy`> do you have lambda-term installed? iirc, ocp-browser is part of ocp-index and compiled when lambda-term (which is optional) is available
<florian_> Why a list and not an object
<mrvn> Is that suppsoed to be ocaml code?
<lobo> copy`: lambda-term is installed. i could reproduce it with a fresh 4.04.1 switch and ocp-index 1.1.5. i just did a "opam install ocp-index ocp-browser" after installing. and i ran eval prior to that
<copy`> Try reinstalling it and then ocp-index
<mrvn> florian_: "[ `Connection_Open of connection_open ]" is not a list type, its a type list. :)
<florian_> mrvn: is that directed at my question?
<lobo> copy`: wait. my fault. ocp-browser is there in the new switch
<mrvn> florian_: or better a constructor list
<lobo> copy`: i've pinned the devel repo with 1.1.6 in my main switch. maybe there is an issue at the moment with it. sorry for the noise :D
<florian_> mrvn: thats my atd code https://pastebin.com/f4LCX3ad
<florian_> i cant remove the brackets
<mrvn> huh? Without ` that [] makes no sense
enterprisey has quit [Remote host closed the connection]
<mrvn> # type cmd = [ | Connection_Open of connection_open ];;
<mrvn> Error: Syntax error
<mrvn> florian_: polymorphic variant types have [], normal variants do not.
argent_smith has quit [Quit: Leaving.]
Simn has quit [Read error: Connection reset by peer]
<florian_> mrvn: so what is the correct synatx for atd, that i end up with an object and not a list?
<mrvn> florian_: you don't have a list and you don't want an object.
<mrvn> what you have is a (polymophic) variant.
ryanartecona has quit [Quit: ryanartecona]
<mrvn> florian_: don't think your problem is the ocaml code.
<florian_> mrvn: i cant really follow you. the constructor list that is generated gets translated to an array in json, but i was expecting an object instead
<mrvn> florian_: Maybe. But it's not because the msg type is a list. A json array must be how constructors are encoded.
<mrvn> florian_: probably as [ <id of constructor> <arg1> <arg2> ... ]
<mrvn> florian_: Constructor arguments have no names so an object would make no sense.
<florian_> mrvn: i think i get it now, thanks a lot :)
<mrvn> I wonder how it encodes: type msg = Connection_Open of { protocol : string; version : int; }
<mrvn> That subelty is probably lost in the translation
<florian_> i will test it right now
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<florian_> i am using ocaml 4.02.3 so i dont have inline records
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
cggong has quit [Quit: cggong]
govg has quit [Ping timeout: 258 seconds]
cggong has joined #ocaml
agravier has quit [Quit: agravier]
marsam has quit [Ping timeout: 240 seconds]
agravier has joined #ocaml
agravier has quit [Client Quit]
agravier has joined #ocaml
agravier has quit [Client Quit]
florian_ has quit [Remote host closed the connection]
marsam has joined #ocaml
moei has quit [Quit: Leaving...]
ygrek has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
nightmared has quit [Ping timeout: 255 seconds]
cggong has quit [Quit: cggong]
Merv__ has joined #ocaml
Merv_ has quit [Ping timeout: 255 seconds]
marsam has quit [Ping timeout: 240 seconds]
slack3 has quit [Remote host closed the connection]
slack4 has joined #ocaml
moei has joined #ocaml
enterprisey has joined #ocaml
madroach has quit [Remote host closed the connection]
madroach has joined #ocaml
boojinks has quit [Quit: Lost terminal]
enterprisey has quit [Remote host closed the connection]
tormen_ has quit [Ping timeout: 255 seconds]
tormen has joined #ocaml
kakadu has quit [Remote host closed the connection]