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
sam___ has quit [Ping timeout: 240 seconds]
mfp__ has quit [Ping timeout: 240 seconds]
jbrown has quit [Remote host closed the connection]
enterprisey has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
enterprisey has quit [Ping timeout: 240 seconds]
eh_eff has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
MercurialAlchemi has joined #ocaml
reliability has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
reliability has joined #ocaml
reliability has quit [Ping timeout: 248 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
sam___ has joined #ocaml
cbot has joined #ocaml
rpip has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
enterprisey has quit [Remote host closed the connection]
reliability has joined #ocaml
sh0t has quit [Remote host closed the connection]
aphprentice has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
poindontcare has quit [Ping timeout: 264 seconds]
rdavison has quit [Quit: rdavison]
sam___ has joined #ocaml
poindontcare has joined #ocaml
reliability has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
reliability has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
reliability has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
reliability has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
sam___ has joined #ocaml
Algebr` has quit [Remote host closed the connection]
sam___ has quit [Ping timeout: 240 seconds]
Algebr has joined #ocaml
reliability has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
sam___ has joined #ocaml
reliability has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
reliability has quit [Ping timeout: 248 seconds]
enterprisey has quit [Ping timeout: 240 seconds]
eh_eff has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
reliability has joined #ocaml
reliability has quit [Ping timeout: 252 seconds]
mbuf has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
reliability has joined #ocaml
sam____ has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
sam____ has quit [Ping timeout: 248 seconds]
MercurialAlchemi has joined #ocaml
reliability has joined #ocaml
infinity0 has quit [Ping timeout: 260 seconds]
reliability has quit [Ping timeout: 255 seconds]
infinity0 has joined #ocaml
Ragora has quit [Remote host closed the connection]
sam____ has joined #ocaml
xpinguin has joined #ocaml
Ragora has joined #ocaml
sam____ has quit [Ping timeout: 264 seconds]
ShalokShalom has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
ShalokShalom has joined #ocaml
TheLemonMan has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
reliability has joined #ocaml
eh_eff has joined #ocaml
reliability has quit [Ping timeout: 252 seconds]
eh_eff has quit [Ping timeout: 264 seconds]
cbot has quit [Quit: Leaving]
samrat has joined #ocaml
andreas__ has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
AltGr has joined #ocaml
enterprisey has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
enterprisey has quit [Remote host closed the connection]
Ragora has quit [Ping timeout: 264 seconds]
MercurialAlchemi has quit [Remote host closed the connection]
sam___ has joined #ocaml
MercurialAlchemi has joined #ocaml
sam___ has quit [Ping timeout: 248 seconds]
samrat has quit [Ping timeout: 260 seconds]
mfp__ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
nore has quit [Quit: Je fais un peu de tri]
nore has joined #ocaml
copy_ has joined #ocaml
dhil has joined #ocaml
sam___ has joined #ocaml
samrat has joined #ocaml
argent_smith has joined #ocaml
sam___ has quit [Ping timeout: 260 seconds]
Algebr has quit [Ping timeout: 240 seconds]
samrat has quit [Ping timeout: 260 seconds]
ziyourenxiang has joined #ocaml
Algebr has joined #ocaml
Soni has quit [Ping timeout: 260 seconds]
sam___ has joined #ocaml
Algebr has quit [Ping timeout: 248 seconds]
sam___ has quit [Ping timeout: 252 seconds]
<Last0> Octachron : on my linux system, the file selection is not modal. Also, i like to make a GToolBox.question_box modal. I let the adress of my small example again, if someone can test it. https://github.com/marcsylvestre/helloworld_gtk.git
<Last0> Best Regards !
kakadu has joined #ocaml
Soni has joined #ocaml
BitPuffin|osx has joined #ocaml
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 260 seconds]
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 255 seconds]
samrat has joined #ocaml
sam___ has joined #ocaml
sam___ has quit [Ping timeout: 264 seconds]
ShalokShalom has quit [Read error: Connection reset by peer]
ShalokShalom has joined #ocaml
<Last0> Hi, on my linux system, the file selection is not modal. Also, i like to make a GToolBox.question_box modal. I let the adress of my small example again, if someone can test it. https://github.com/marcsylvestre/helloworld_gtk.git
<Last0> Just have to type lablgtk2 helloworld2.ml
<Last0> Best Regards !
ShalokShalom_ has joined #ocaml
_andre has joined #ocaml
<kakadu> Folks, does it make any sense trying to support OCaml packages in Debian repo?
ShalokShalom has quit [Ping timeout: 246 seconds]
<ousado> sure, why not
<Leonidas> not tied to any applications?
<Leonidas> I doubt it
<kakadu> I do not really use system package manager and totally moved to opam
<ousado> do you mean the language itself or third party packages?
<Leonidas> I recently orphaned all my ocaml libs in the Arch User Repository
<kakadu> ousado: third-party libs
<ousado> oh
<kakadu> The question has appeared because of this tweet: https://twitter.com/DebianRemove/status/910444413305880576
reliability has joined #ocaml
<theblatte> I'm still unsure how I feel about each language having its own package package manager on top of distributions... is it because distros move too slow?
<kakadu> It seems that minimal support (large enough to compile opam) will be OKay solution. What do you think?
<theblatte> I think packaging for distributions makes sense too
<Leonidas> I only see the point in keeping applications and their dependencies
<Leonidas> if noone uses camomile, don't package it.
reliability has quit [Ping timeout: 240 seconds]
<theblatte> well, distros also have foo-dev packages that are not (usually) necessary for any applications
Algebr has joined #ocaml
<kakadu> theblatte: arch seems haven't -dev packages
<theblatte> yes not all distros have this, I'm just saying that in absolute terms, packaging libraries makes sense even if no application depends on them
<theblatte> practically though, there are probably not enough maintainers to package everything in opam, and "some app depends on it" could be a good way to select what to package
<kakadu> does "there are probably not enough maintainers to package everything in opam" means the same for a distro?
Algebr has quit [Ping timeout: 264 seconds]
<theblatte> per-language package managers have sort of taken over and I'm not sure what the story about integrating with distributions is supposed to be
<theblatte> kakadu: sorry, I meant "make distro packages for everything in opam"
samrat has quit [Ping timeout: 264 seconds]
ShalokShalom_ is now known as ShalokShalom
Last0 has quit [Ping timeout: 260 seconds]
sam___ has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
sam___ has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
<flux> even if there is a package for everything in a distro, it's always going to lag behind what opam has to offer. so you're likely always going to need opam regardless, if you're writing real world apps
jbrown has joined #ocaml
dhil has joined #ocaml
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 248 seconds]
<Leonidas> theblatte: yes, but you need the -dev packages to build the applications.
<flux> but there is another story related to distributions: ie. debian doesn't integrate anything they cannot build with dpkg-buildpackage
<flux> ..and I bet dpkg-buildpackage that retrieves code over network is unacceptable :)
sam___ has joined #ocaml
Last0 has joined #ocaml
<Last0> Hi, on my linux system, the file selection is not modal. Also, i like to make a GToolBox.question_box modal. I let the adress of my small example again, if someone can test it. https://github.com/marcsylvestre/helloworld_gtk.git
mbuf has quit [Quit: BRB]
<Leonidas> flux: yes, if you package an application I would expect you to package the required libs for it as well
raphinou has joined #ocaml
raphinou has quit [Client Quit]
<Leonidas> (i.e. do not build it using opam dependencies)
<Leonidas> Last0: have you tried the ocaml discuss?
aciniglio has joined #ocaml
<Leonidas> anyone managed to write a ppx_type_conv converter?
<Leonidas> I can't seem to force it to register
sh0t has joined #ocaml
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 248 seconds]
sh0t has quit [Ping timeout: 264 seconds]
reliability has joined #ocaml
reliability has quit [Ping timeout: 248 seconds]
sh0t has joined #ocaml
<Drup> Leonidas: why don't you use deriving for that ?
Last0 has quit [Ping timeout: 260 seconds]
<Leonidas> Drup: because type_conv seemed easy enough and can give me a deriving plugin which is supposed to work with ppx_deriving
Algebr has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 248 seconds]
Algebr is now known as Guest85471
<Drup> Given you are writing your own deriver, I'm not sure what type_conv gives you, except another layer of indirection
<Leonidas> Something that is more likely to work with jbuilder and ppx_driver.
Guest85471 has quit [Ping timeout: 240 seconds]
<Drup> hm, the last version of deriving works with jbuilder, iirc
<Leonidas> need to revisit this at some time to check whether ppx_deriving_yojson works as well
jao has joined #ocaml
sam___ has quit [Quit: Lost terminal]
mbuf has joined #ocaml
eh_eff has joined #ocaml
dhil has quit [Ping timeout: 255 seconds]
eh_eff has quit [Ping timeout: 246 seconds]
<Leonidas> What happens if my ppx generates this?
Last0 has joined #ocaml
<Last0> Hello. I let an example of a lablgtk programm which works on debian (stable), but not on ubuntu. The file_selection is not modal on ubuntu. Can someone explain to me why ?
<Last0> Best Regards !
fredcy has quit [Quit: ZNC - http://znc.in]
ShalokShalom has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ShalokShalom has joined #ocaml
Guest85471 has joined #ocaml
fredcy has joined #ocaml
Guest85471 has quit [Ping timeout: 240 seconds]
<Drup> Leonidas: You should read the .mli instead, it contains lot's of documentation for all the constructors
<Drup> pexp_unreachable, iirc, is the dot in `my_pattern -> .`
Guest85471 has joined #ocaml
<reynir> I wasn't aware of that syntax
dhil has joined #ocaml
fredcy has quit [Quit: ZNC - http://znc.in]
<Drup> It's fairly recent
<Drup> It's to indicate (GADT) patterns that are impossible
<AltGr> It can be abused though
reliability has joined #ocaml
<Drup> AltGr: it has to do with GADTs, of course it can be abused :D
<AltGr> (don't click if you fear for your sanity)
<AltGr> haha, fair enough :D
fredcy has joined #ocaml
<AltGr> (note: the date of that post was supposed to be 2017-04-01)
reliability has quit [Client Quit]
ziyourenxiang has quit [Ping timeout: 248 seconds]
dhil has quit [Ping timeout: 240 seconds]
jnavila has joined #ocaml
AltGr has left #ocaml [#ocaml]
MercurialAlchemi has joined #ocaml
aciniglio has quit [Ping timeout: 240 seconds]
<octachron> Last0, since your example worked on my archlinux system, it may be a problem with ubuntu's gtk patches: ubuntu patches heavily gtk libraries to improve the integration with unity.
tane has joined #ocaml
dhil has joined #ocaml
dedgrant_ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
allana has joined #ocaml
copy_ has quit [Quit: Connection closed for inactivity]
jnavila has quit [Ping timeout: 240 seconds]
kakadu has quit [Quit: Konversation terminated!]
mbuf has quit [Quit: Good night!]
al-damiri has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 248 seconds]
samrat has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 264 seconds]
Ragora has joined #ocaml
enterprisey has joined #ocaml
dhil has joined #ocaml
<Last0> Thanks octachron. Sorry to make the nobe, but how can i sovle the problem ?
<Last0> I put again my question :
<Last0> Hello. I let an example of a lablgtk programm which works on debian (stable), but not on ubuntu. The file_selection is not modal on ubuntu. Can someone explain to me why ? https://github.com/marcsylvestre/helloworld_gtk Best Regards !
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Ping timeout: 255 seconds]
<octachron> Last0, rather than repeating your question again and again, you should post on http://discuss.ocaml.org/. Anyway, it looks like ubuntu does have some problems with modal windows, see for instance https://bugs.launchpad.net/ubuntu/+source/overlay-scrollbar/+bug/903302
eh_eff has joined #ocaml
enterprisey has quit [Ping timeout: 248 seconds]
Soni has quit [Ping timeout: 248 seconds]
Soni has joined #ocaml
eh_eff has quit [Ping timeout: 248 seconds]
aciniglio has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 248 seconds]
kakadu has joined #ocaml
Denommus has joined #ocaml
BitPuffin|osx has joined #ocaml
jnavila has joined #ocaml
lyxia has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
enterprisey has quit [Ping timeout: 260 seconds]
allana has quit [Read error: Connection reset by peer]
jnavila has quit [Remote host closed the connection]
groovy2shoes has quit [Quit: Leaving]
tane has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
aciniglio has quit [Ping timeout: 255 seconds]
benzrf has joined #ocaml
<benzrf> hey! i dont really know ocaml but im trying to browse coq's implementation
<benzrf> i do know haskell
<benzrf> what does this mean? "type +'a focus"
<smondet[m]> benzrf: the `+` is a variance annotation
<benzrf> what does it mean?
<benzrf> and separately from that: what is this doing, exactly? is it a module parameter
<smondet[m]> it means that the type, while abstract, is covariant https://realworldocaml.org/v1/en/html/objects.html#variance
<benzrf> ty
pierpa has joined #ocaml
<benzrf> man, ocaml seems more complicated than haskell...
xuanrui has joined #ocaml
xuanrui has quit [Client Quit]
<smondet[m]> you mean Haskell 98 right? because Haskell today is GHC and its hundreds of somewhat incompatible extensions...
<pierpa> not a fun state anyway
<benzrf> heh, true :)
<benzrf> but come on, you dont really need more than GADTs, TypeFamilies, FlexibleContexts, UndecidableInstances, ScopedTypeVariables, MultiParamTypeClasses, TypeOperators, to write a real program
<benzrf> ;)
argent_smith has quit [Quit: Leaving.]
groovy2shoes has joined #ocaml
<Last0> Thanks octachron. Sorry, i m not used to irc boards...
jao has quit [Ping timeout: 260 seconds]
mengu has joined #ocaml
jimmyrcom_ has joined #ocaml
cbot has joined #ocaml
ubeatlenine has joined #ocaml
Soni has quit [Excess Flood]
Soni has joined #ocaml
ubeatlenine has quit [Quit: Bye]
benzrf has left #ocaml ["WeeChat 1.9"]
govg has quit [Ping timeout: 240 seconds]
Simn has quit [Quit: Leaving]
mengu has quit [Quit: Leaving...]
Guest85471 has quit [Ping timeout: 240 seconds]
nous1024 has joined #ocaml
Soni has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
Soni has joined #ocaml
cbot has quit [Ping timeout: 248 seconds]
Soni has quit [Ping timeout: 260 seconds]