companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
vydd has quit [Ping timeout: 240 seconds]
gasche has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
zwild has joined #ocaml
<dxtr> Is there a way to convert a list of unknown length to a tuple?
<gasche> dxtr: what would the type of a such a function be ? :-)
<gasche> this sounds like the sort of problems where more information about what you are trying to do suggests solutions that actually are possible
zwild has quit [Remote host closed the connection]
zwild has joined #ocaml
pierpa has quit [Quit: Page closed]
jlam__ has quit [Ping timeout: 260 seconds]
sh0t has quit [Remote host closed the connection]
jlam has joined #ocaml
snowcrshd has quit [Remote host closed the connection]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
max3 has quit [Ping timeout: 248 seconds]
shinnya has joined #ocaml
shinnya has quit [Ping timeout: 248 seconds]
shinnya has joined #ocaml
shinnya has quit [Read error: Connection reset by peer]
shinnya has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
dreadedfrog has joined #ocaml
johnelse_ has quit [Quit: leaving]
dreadedfrog has quit [Ping timeout: 276 seconds]
shinnya has joined #ocaml
letoh_ has joined #ocaml
letoh has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
mfp__ has quit [Ping timeout: 240 seconds]
letoh_ is now known as letoh
handlex has joined #ocaml
dakk has quit [Remote host closed the connection]
handlex has quit [Quit: handlex]
snowcrshd has joined #ocaml
handlex has joined #ocaml
snowcrshd has quit [Ping timeout: 248 seconds]
mengu has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
sam___ has joined #ocaml
handlex has quit [Quit: handlex]
sam___ has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
mengu has joined #ocaml
jlam has quit [Ping timeout: 268 seconds]
jlam_ has quit [Ping timeout: 240 seconds]
jlam has joined #ocaml
mengu has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
jlam__ has joined #ocaml
jlam__ has quit [Read error: Connection reset by peer]
jlam__ has joined #ocaml
jlam has quit [Ping timeout: 246 seconds]
malina has joined #ocaml
olibjerd has joined #ocaml
rk[ghost] has quit [Ping timeout: 276 seconds]
rostero has quit [Quit: Connection closed for inactivity]
sam___ has joined #ocaml
rk[ghost] has joined #ocaml
malina is now known as soliptical
jlam has joined #ocaml
samrat_ has joined #ocaml
jlam_ has quit [Ping timeout: 260 seconds]
soliptical is now known as soliptical-catch
soliptical-catch is now known as mali-catch22
jimmyrcom has quit [Ping timeout: 240 seconds]
jimmyrcom has joined #ocaml
_y has quit [Ping timeout: 240 seconds]
tobiasBora has quit [Ping timeout: 240 seconds]
Fardale has quit [Ping timeout: 260 seconds]
MercurialAlchemi has joined #ocaml
xvilka has quit [Changing host]
xvilka has joined #ocaml
freusque has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
freusque has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
Fardale has joined #ocaml
Enamex has joined #ocaml
_y has joined #ocaml
jlam__ has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
jlam_ has quit [Ping timeout: 240 seconds]
zwild has quit [Remote host closed the connection]
tobiasBora has joined #ocaml
alexyan has joined #ocaml
dreadedfrog has joined #ocaml
vydd has joined #ocaml
vydd has quit [Remote host closed the connection]
<alexyan> Hi! Another question about json parsing in js of ocaml: I have a Js.json object as an argument to my function and I need to parse it. Recently I had an advice to parse it using ppx_deriving_yojson or in other similar way. As I understand, to do so, I first need to convert this Js.json object to Js.js_string. Maybe the better way would be to directly access to Js.json object fields, like foo##.response and then pattern match it? Can I gain access to Js.j
<alexyan> son fields directly, without parsing?
tobiasBora has quit [Ping timeout: 255 seconds]
_y has quit [Ping timeout: 276 seconds]
Fardale has quit [Ping timeout: 276 seconds]
Merv_ has joined #ocaml
<adrien> well, ##. will let you access the fields directly
<adrien> you'll have to check for null and undefined values however
<adrien> and I think you can't really expect to parse any json with yojson trivially because some JSON writers will output associative arrays where others output objects and you often need to account for that
Merv_ has quit [Client Quit]
tobiasBora has joined #ocaml
Fardale has joined #ocaml
<alexyan> Thanks for advice, I'll try and write here about results
freusque has quit [Ping timeout: 246 seconds]
_y has joined #ocaml
<alexyan> adrien: Thanks, it works.
<adrien> :)
<adrien> but pay attention to the opt part because people who write JSON love to forget fields
<adrien> or put nulls or do weird things
andreas_ has joined #ocaml
Lightsephi has quit [Remote host closed the connection]
mali-catch22 has quit [Remote host closed the connection]
Lightsephi has joined #ocaml
maarhart has joined #ocaml
maarhart has quit [Client Quit]
kakadu has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
dakk has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
kakadu has joined #ocaml
freusque has joined #ocaml
freusque has quit [Client Quit]
freusque has joined #ocaml
enterprisey has quit [Ping timeout: 246 seconds]
olibjerd has quit [Quit: olibjerd]
snowcrshd has joined #ocaml
argent_smith has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
jlam_ has joined #ocaml
ollehar has joined #ocaml
jlam has quit [Ping timeout: 248 seconds]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
jlam has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 276 seconds]
olibjerd has joined #ocaml
<rwmjones> gasche: to attend OCaml 2017, I just have to register for ICFP 2017, is that right?
ygrek has quit [Ping timeout: 268 seconds]
<rwmjones> at last an OCaml conference which is convenient for me :-)
<kakadu> rgrinberg: Should cohttp work under 4.05?
ollehar has left #ocaml [#ocaml]
<kakadu> I don't really know what is wrong. Probably someting in the intersection of opam and new ppx_deriving with migrate-parse-tree, and maybe ppx_fields_conv
dhil has joined #ocaml
mfp__ has joined #ocaml
Enamex_ has joined #ocaml
Enamex has quit [Ping timeout: 260 seconds]
<kakadu> Probably it is not related to 4.05....
kmerz has joined #ocaml
<rgrinberg> Yes, it's related to ppx deriving. Master doesn't use ppx driving anymore so it should work
Enamex_ is now known as Enamex
sam___ has joined #ocaml
<kakadu> ocamlfind: Package `cohttp-lwt-unix' not found - required by `cohttp.lwt'
<kakadu> This naming is rewlly weird
dreadedfrog has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
dreadedfrog has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
dreadedfrog has quit [Ping timeout: 246 seconds]
kmerz has quit [Read error: Connection reset by peer]
kmerz has joined #ocaml
zpe has joined #ocaml
kmerz has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 268 seconds]
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
zpe has joined #ocaml
<alexyan> I have an issue while parsing Js_of_ocaml.Js.json object. The object is an array of objects
<alexyan> Here it is: [{"id":1,"description":"Opus/VP8 live stream coming from gstreamer","type":"live","audio_age_ms":4,"video_age_ms":0},{"id":2,"description":"a-law file source (radio broadcast)","type":"live"},{"id":3,"description":"mu-law file source (music)","type":"on demand"}]
<alexyan> The array consists of 3 objects, but Array.length returns 2
<alexyan> And when I iterate over this array, only I also have only two iterations
<alexyan> What may cause such problem?
mengu has joined #ocaml
cranmax has joined #ocaml
_andre has joined #ocaml
silver has joined #ocaml
<rgrinberg> kakadu: yes that findlib sub package is transitional. You should use cohttp-lwt-unix. To do that you will also need to pin that package (from the same git repo)
<rgrinberg> Right now we're in mid transition getting rid of all these dep opts. So things look a little ugly
dreadedfrog has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
<kakadu> rgrinberg: I managed to install the stuff but these hacks are a little bit crazy :)
ziyourenxiang has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
zpe_ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
zpe has quit [Ping timeout: 246 seconds]
<adrien> so
<adrien> what do we do with lablgtk?
<adrien> I mean, I pretty much stopped with it because of GTK+3
<adrien> I think it's inactive
<adrien> it's still on the forge and without sign of being moved
<def`> adrien: is there a connection to a conversation I missed or are you talking about lablgtk out of the blue?
<adrien> I'm finally trying to handle this email: Jun 22 lablgtk-patches@forg [lablgtk-Patches][1756] Add editing_canceled signal for CellRenderer
<def`> Ah.
<adrien> and the thing is that I can't help because I think it's going to get lost, the forge is shutting down and there is no replacement home for lablgtk
<def`> I don't think anybody as plans for lablgtk beside you :>
<adrien> I haven't touched lablgtk in more than 2 or 3 years now
<adrien> (really because gtk+3)
<def`> (though some softwares rely on it -- why ide, coqide, frama-c-gui <- this one is getting rid of it)
dreadedfrog has joined #ocaml
<def`> Is gobject-introspection too messy to be helpful?
<kakadu> Is GTK3 a so dramatical change?
dreadedfrog has quit [Ping timeout: 268 seconds]
<adrien> def`: I've hated it, it's targetted at dynamic things
<adrien> but even then, there are issues intrinsics to gtk+3
<adrien> - some things need to be changed because internals have changed and I think that's mostly done but not tested and integrated
<def`> (also ocamltop )
<adrien> - gtk+3, and behaviours change and change and change
<def`> What about... giving up with GTK world?
<def`> If porting from GTK+2 to GTK+3 is not straightforward, then maybe projects should switch to something better, while legacy stuff can rely on existing lablgtk2 codebase.
<adrien> and there's gtk+4 brewing
<adrien> and I think there's no motivation to follow on something that moves fairly quickly now
sh0t has joined #ocaml
<adrien> there should now be a major version of GTK+ every 2 to 3 years
<adrien> "during the first 18 months of releases, the Gtk 4 series is absolutely going to be unstable, and you should not target it. On the other hand, when it does become stable, this fact will be very clearly communicated, and you can trust that there will not be any changes of the sort that have hurt some of the users of Gtk 3."
<adrien> and then 2 to 3 years of stability until the following version is called stable
picolino has joined #ocaml
snowcrshd has quit []
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 276 seconds]
aciniglio has joined #ocaml
dreadedfrog has joined #ocaml
samrat_ has joined #ocaml
<gasche> adrien: lablgtk does have users today and they are going to need occasional maintenance (fixing build stuff, adapting to changing packaging conventions, etc.)
<gasche> what you could do for them is to create a repo outside the forge, on the git{hub,lab,bucket} of your choice
<gasche> that said, I think that Jacques *does* care about lablgtk, so you should get in touch with him, let him know your plans, and maybe pick something that he is also a comfortable with
dreadedfrog has quit [Ping timeout: 240 seconds]
<gasche> .
<gasche> rwmjones: note that you do *not* need to register to "ICFP Conference (4th to 6th Sep)", only to the one day of the OCaml workshop
<adrien> yeah, I'm writing a mail about the topic
<gasche> although of course I would encourage you to take the opportunity to attend other workshops as well, for example the ML workshop the day before the OCaml one
<adrien> I prefer that lablgtk is announced to be maintenance-only now that left in an uncertain state
<gasche> yeah, you wouldn't want people be led astray, expecting the dashing vitality of the last few years
samrat_ has quit [Ping timeout: 240 seconds]
<def`> gasche: frama-c is moving away from lablgtk. Do you know if other projects relying on lablgtk have similar plans?
<gasche> I don't know
<gasche> but I was visiting LtU's "adrieng" last week and he has a small research program that he built a lablgtk UI for, and seemed happy with that
<gasche> (it's a program to inspect the traces of MLton-compiled SML programs!)
<gasche> I'm sure long-term a web UI could be used instead, but I would say that as long as people are willing to use it, and we manage to install the libraries, it is reasonable to keep it usable
<def`> of course, lablgtk2 is not going away. But the question is what to do with GTK3/4
cranmax has quit [Quit: Connection closed for inactivity]
<orbifx[m]> switch to Qt/QML :P
cranmax has joined #ocaml
Denommus has joined #ocaml
<rwmjones> gasche: ok .. I think
<kakadu> QML doesn't have good text editor
<kakadu> orbifx[m]: ^^
<gasche> rwmjones: I realize that I should put some documentation online on "how to attend the workshop" for people that do not live within the implicit conference codes of academia
<adrien> just point them to phdcomics
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 246 seconds]
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
elfring has joined #ocaml
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
<orbifx[m]> kakadu: text editor? you mean a "widget" to create text editors with?
<kakadu> yes
dreadedfrog has joined #ocaml
zpe has quit [Ping timeout: 258 seconds]
FreeBirdLjj has quit [Ping timeout: 258 seconds]
dreadedfrog has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
zpe has joined #ocaml
<elfring> How interested are you on further evolution for a software build tool? https://github.com/ocaml/ocamlbuild/pull/249
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
Denommus` is now known as Denommus
sam___ has quit [Ping timeout: 260 seconds]
ryanartecona has joined #ocaml
sam___ has joined #ocaml
samrat_ has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 258 seconds]
sam___ has quit [Ping timeout: 255 seconds]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
dreadedfrog has joined #ocaml
alexyan has quit [Remote host closed the connection]
dreadedfrog has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
zpe has joined #ocaml
sam____ has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<\h> hi, is there any different between `type x = X of int * int` and `type y = Y of (int * int)` in usage?
zpe has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
dreadedfrog has joined #ocaml
<kakadu> I expect some difference when you do pattern-matching on type x
<kakadu> and y
sam____ has quit [Ping timeout: 248 seconds]
ryanartecona has quit [Quit: ryanartecona]
slash^ has joined #ocaml
<\h> kakadu: thanks
shinnya has quit [Ping timeout: 248 seconds]
mars0i[m] has quit [*.net *.split]
orbifx[m] has quit [*.net *.split]
clockish has quit [Quit: bye]
clockish has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
aciniglio has quit [Ping timeout: 240 seconds]
zpe has quit [Remote host closed the connection]
Ragora|Away is now known as Ragora
M-martinklepsch has quit [Ping timeout: 240 seconds]
regnat[m] has quit [Ping timeout: 258 seconds]
aspiwack[m] has quit [Ping timeout: 255 seconds]
yetanotherion[m] has quit [Ping timeout: 255 seconds]
tcc[m] has quit [Ping timeout: 246 seconds]
isaachodes[m] has quit [Ping timeout: 246 seconds]
Bluddy[m] has quit [Ping timeout: 246 seconds]
M-jimt has quit [Ping timeout: 276 seconds]
timclassic has quit [Ping timeout: 276 seconds]
srenatus[m] has quit [Ping timeout: 258 seconds]
smondet[m] has quit [Ping timeout: 255 seconds]
sam___ has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
isaachodes[m] has joined #ocaml
srenatus[m] has joined #ocaml
aspiwack[m] has joined #ocaml
smondet[m] has joined #ocaml
M-jimt has joined #ocaml
M-martinklepsch has joined #ocaml
orbifx[m] has joined #ocaml
regnat[m] has joined #ocaml
timclassic has joined #ocaml
mars0i[m] has joined #ocaml
yetanotherion[m] has joined #ocaml
tcc[m] has joined #ocaml
Bluddy[m] has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
copy_ has joined #ocaml
Enamex has quit [Quit: Bye o/]
ygrek has joined #ocaml
nicoo has quit [Write error: Connection reset by peer]
nicoo has joined #ocaml
sam___ has quit [Ping timeout: 246 seconds]
kakadu_ has joined #ocaml
ryanartecona has joined #ocaml
kassens has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
kakadu has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
al-damiri has joined #ocaml
ousado_ is now known as ousado
ousado is now known as Guest11402
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 255 seconds]
Guest11402 has quit [Changing host]
Guest11402 has joined #ocaml
kassens has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
kassens has joined #ocaml
samrat_ has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
kassens has quit [Read error: Connection reset by peer]
dakk has quit [Remote host closed the connection]
cranmax has quit [Quit: Connection closed for inactivity]
tane has joined #ocaml
sam___ has quit [Ping timeout: 255 seconds]
ryanartecona has quit [Quit: ryanartecona]
mrvn has quit [Ping timeout: 255 seconds]
mrvn has joined #ocaml
jbrown has quit [Ping timeout: 255 seconds]
jbrown has joined #ocaml
ryanartecona has joined #ocaml
zpe has joined #ocaml
sam___ has joined #ocaml
shinnya has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
zpe has joined #ocaml
aciniglio has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
ryanartecona has quit [Quit: ryanartecona]
ryanartecona has joined #ocaml
keep_learning has quit [Remote host closed the connection]
keep_learning has joined #ocaml
mrvn has quit [Ping timeout: 268 seconds]
mrvn has joined #ocaml
jlam__ has joined #ocaml
tane has quit [Quit: Leaving]
jlam_ has quit [Ping timeout: 240 seconds]
mrvn has quit [Ping timeout: 260 seconds]
mrvn has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
sam___ has joined #ocaml
pierpa has joined #ocaml
dogui has quit [Ping timeout: 268 seconds]
olibjerd has quit [Quit: olibjerd]
ziyourenxiang has quit [Ping timeout: 240 seconds]
_andre has quit [Quit: leaving]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (wolfe.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
swalk has joined #ocaml
sam___ has quit [Ping timeout: 248 seconds]
sh0t has quit [Remote host closed the connection]
aciniglio has quit [Ping timeout: 248 seconds]
moei has quit [Quit: Leaving...]
Ragora has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Ragora has joined #ocaml
Denommus has quit [Remote host closed the connection]
Denommus has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
al-damiri has quit [Quit: Connection closed for inactivity]
dogui has joined #ocaml
dreadedfrog has quit [Ping timeout: 268 seconds]
argent_smith has quit [Quit: Leaving.]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
kakadu has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
pierpa has quit [Quit: Page closed]
jlam__ has quit [Ping timeout: 248 seconds]
iitalics has joined #ocaml
iitalics has left #ocaml [#ocaml]
sh0t has joined #ocaml
malc_ has joined #ocaml