adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
zlsyx has joined #ocaml
nomicflux has quit [Quit: nomicflux]
mathZ has quit [Remote host closed the connection]
shinnya has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
zlsyx has quit [Quit: Leaving...]
infinity0 has quit [Ping timeout: 240 seconds]
infinity0 has joined #ocaml
nomicflux has joined #ocaml
Haudegen has quit [Remote host closed the connection]
caltelt has quit [Ping timeout: 240 seconds]
nomicflux has quit [Quit: nomicflux]
Bronsa` has quit [Ping timeout: 240 seconds]
_etc has joined #ocaml
baboum has joined #ocaml
<copy`> Quick survey: In vim, should the attribute of a ppx node (the "deriving" in [@@deriving]) be styled like 1) an identifier, 2) a keyword or 3) something else?
<companion_cube> right now it's identifier, I think, and it's fine
<copy`> Cool, leaving the default as is then
baboum has quit [Quit: WeeChat 2.0.1]
<companion_cube> wait for more datapoints :D
sh0t has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
nullifidian has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
hdon has joined #ocaml
<copy`> Too late. Anyway, it can now be configured separately (Using "HiLink ocamlPpxIdentifier …")
<copy`> And if many people complain I'm open to changing the default
hdon has quit [Ping timeout: 248 seconds]
ygrek has joined #ocaml
<companion_cube> nice!
caltelt has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
mfp has quit [Ping timeout: 260 seconds]
<copy`> (contributed by andreypopp, I should mention)
pmetzger has joined #ocaml
_etc has quit [Quit: leaving]
malina has quit [Ping timeout: 260 seconds]
_etc has joined #ocaml
<_etc> octachron: Yep! I'm already working with the typechecker as a dependency. The goal is to ensure that a given block of code doesn't call anything but a few previously-specified modules
<_etc> any idea how to do that?
dtornabene has joined #ocaml
moolc has joined #ocaml
malina has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 268 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
sh0t has quit [Remote host closed the connection]
nullifidian has joined #ocaml
nullifidian has quit [Remote host closed the connection]
pmetzger has quit []
nullifidian has joined #ocaml
isd has joined #ocaml
jimmyrcom has quit [Ping timeout: 240 seconds]
jimmyrcom has joined #ocaml
jimmyrcom has quit [Max SendQ exceeded]
jimmyrcom has joined #ocaml
_etc has quit [Ping timeout: 260 seconds]
nullifidian has quit [Remote host closed the connection]
hdon has joined #ocaml
govg has joined #ocaml
_etc has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
nullifidian has joined #ocaml
pierpa has quit [Quit: Page closed]
<_xvilka_> hi
<_xvilka_> in OCaml Ctypes library, when I have the structure with "char* something" field, and use "get struct (field struct "something" string)", how can I check if the pointer is NULL before dereferencing?
pierpal has joined #ocaml
isd has quit [Quit: Leaving.]
darktena1bre has quit [Remote host closed the connection]
caltelt has quit [Quit: Leaving]
<moolc> _xvilka_: i assume you mean "is _NOT_ NULL" in any case no idea, just passing the time, sorry
<_xvilka_> moolc: anyway, already solved, just used (ptr_opt char) and then if Some -> coerce (ptr char) string
<moolc> _xvilka_: cool
_etc has quit [Read error: No route to host]
nicoo has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
Denommus has quit [Ping timeout: 268 seconds]
nullifidian has quit [Remote host closed the connection]
magicbit has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
nullifidian has joined #ocaml
muelleme has joined #ocaml
jimmyrcom has quit [Ping timeout: 260 seconds]
muelleme has quit [Ping timeout: 260 seconds]
jnavila has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 264 seconds]
shinnya has joined #ocaml
ShalokShalom has joined #ocaml
<ShalokShalom> is there a benefit in the implementation of pattern matching compared to a simple if the else?
<ShalokShalom> so, performance wise or so?
jnavila has quit [Ping timeout: 240 seconds]
ShalokShalom2 has joined #ocaml
ShalokShalom has quit [Read error: Connection reset by peer]
steenuil has joined #ocaml
<M-ErkkiSeppl> Benchmark ;). I doubt there's a performance difference. With match you of course get to extract values with the patterns.
<M-ErkkiSeppl> Perhaps some people like to match on booleans for some purity reasons..
ShalokShalom has joined #ocaml
ShalokShalom2 has quit [Read error: Connection reset by peer]
<ShalokShalom> thanks
<_xvilka_> probably there is a difference on a complex patterns
<ShalokShalom> is there any sane way to extract values from if then else?
sz0 has quit [Quit: Connection closed for inactivity]
<ShalokShalom> i like to avoid two very similar concepts
<Armael> no, you should use if then else on booleans, and match on anything else
<ShalokShalom> thanks
<Armael> if you wanted to only use one of the two it would be pattern matching. In practice though, pattern matching on booleans is a bit heavyweight, so people use if then else which is a bit more natural
ShalokShalom has quit [Read error: Connection reset by peer]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
steenuil has quit [Remote host closed the connection]
dtornabene has quit [Remote host closed the connection]
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
hdon has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
zolk3ri has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
gareppa has joined #ocaml
gareppa has quit [Max SendQ exceeded]
gareppa has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
kakadu has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
gareppa has quit [Quit: Leaving]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
argent_smith has joined #ocaml
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
<Leonidas> ShalokShalom: I match on booleans for reasons of exhaustivity. I don't like the "implicit else ()" behaviour and can't for the life of me remember the syntax of if/then/else
ShalokShalom has joined #ocaml
zolk3ri has quit [Quit: leaving]
zolk3ri has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom has quit [Remote host closed the connection]
ShalokShalom has joined #ocaml
ShalokShalom2 has joined #ocaml
ShalokShalom has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
moolc has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
kakadu has quit [Ping timeout: 240 seconds]
moolc has joined #ocaml
moolc has quit [Client Quit]
muelleme has joined #ocaml
kakadu has joined #ocaml
<_xvilka_> hi
<_xvilka_> I am converting some code from Python to OCaml
<_xvilka_> it is a file format parser which uses heavily "struct.unpack"
<_xvilka_> is there any similar pattern in OCaml?
<_xvilka_> some library making life easier on parsing binary data?
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
<zozozo> there is the Marshall module
<_xvilka_> but it is created for dumping and reading OCaml types/objects, not the some external formats, afaik
<zozozo> right
<_xvilka_> so it has no use in my case
<zozozo> what kind of format do you want to parse actually ?
<_xvilka_> it is a filesystem image
<_xvilka_> so I have a python library to do that, it uses struct.unpack for parsing headers
<_xvilka_> I found Parsifal, but it seems a kind of abandoned and rely on old Camlp4, I do not want to build my software on something that will rot tomorrow
<zozozo> I don't know any parser for filesystem image unfortunately
Haudegen has joined #ocaml
ShalokShalom2 has quit [Read error: No route to host]
ShalokShalom2 has joined #ocaml
<_xvilka_> zozozo: I don't need a ready parsers, I need a library for creating them
<zozozo> oh okay; but you're reading binary files if I understand correctly ?
<_xvilka_> yes
<_xvilka_> found
ShalokShalom2 has quit [Read error: No route to host]
<_xvilka_> seems http://xguer.in/bitstring/examples is what I need
ShalokShalom2 has joined #ocaml
ShalokShalom2 has quit [Remote host closed the connection]
<zozozo> great ! sorry I wasn't more help, ^^
ShalokShalom2 has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
ShalokShalom2 has quit [Remote host closed the connection]
ShalokShalom2 has joined #ocaml
ShalokShalom2 has quit [Remote host closed the connection]
ShalokShalom2 has joined #ocaml
demonimin has quit [Ping timeout: 256 seconds]
demonimin has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 256 seconds]
ziyourenxiang has joined #ocaml
argent_smith has joined #ocaml
argent_smith1 has quit [Ping timeout: 255 seconds]
ziyourenxiang has quit [Client Quit]
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 260 seconds]
mk9_ is now known as mk9
ShalokShalom2 has quit [Read error: Connection reset by peer]
<Leonidas> _xvilka_: bitstring or possibly ctypes?
<_xvilka_> Leonidas: yes, decided to use bitstring
<_xvilka_> cstruct looks good though too
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 255 seconds]
mk9_ is now known as mk9
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
mk9 has quit [Ping timeout: 264 seconds]
hdon has joined #ocaml
silver has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
tarptaeya has joined #ocaml
ratsch has quit [Remote host closed the connection]
pmetzger has joined #ocaml
ratsch has joined #ocaml
JeanMax has joined #ocaml
JeanMax has quit [Remote host closed the connection]
sz0 has joined #ocaml
steenuil has joined #ocaml
jao has joined #ocaml
sh0t has joined #ocaml
slash^ has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
theglass has joined #ocaml
theglass has joined #ocaml
theglass has quit [Changing host]
hdon has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
hdon has quit [Ping timeout: 264 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 264 seconds]
spew has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
nomicflux has joined #ocaml
spew has quit [Read error: Connection reset by peer]
jbrown has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
shinnya has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
nomicflux has quit [Quit: nomicflux]
nomicflux has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
caltelt has joined #ocaml
argent_smith has quit [Quit: Leaving.]
Haudegen has joined #ocaml
jimmyrcom has joined #ocaml
<caltelt> I'm mucking around with ocsigen, and wondering if it's possible to get .merlin files generated for a newly created project. Anyone familiar with this?
isd has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
hdon has joined #ocaml
<rgr[m]> caltelt: i don't even think there's a way to make eliom work with hand written .merlin files.
hdon has quit [Ping timeout: 256 seconds]
<Drup> merlin doesn't work with .eliom files, so no :(
<caltelt> Huh. Do you mean it doesnt check them? Because it seems to be checking lwt fine for me. Reading this https://github.com/ocaml/merlin/issues/614 it seemed like someone else was having partial luck with it so I thought it was kinda supported
shinnya has joined #ocaml
<caltelt> Is it the eliom dependencies that don't work? Because that's the part I was trying to figure out.
bairui has quit [Ping timeout: 276 seconds]
<Drup> caltelt: it's the new eliom constructs, like %client/%server
<Drup> eliom doesn't know about them
<caltelt> sadness
Haudegen has joined #ocaml
pmetzger has quit []
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
bairui has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
isd has quit [Quit: Leaving.]
kakadu has quit [Quit: Konversation terminated!]
mk9 has joined #ocaml
jimmyrcom_ has joined #ocaml
mk9 has quit [Client Quit]
argent_smith has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 264 seconds]
hdon has joined #ocaml
jimmyrcom_ has joined #ocaml
jack5638 has quit [Ping timeout: 248 seconds]
jack5638 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
jimmyrcom_ has quit [Ping timeout: 255 seconds]
muelleme has joined #ocaml
jimmyrcom_ has joined #ocaml
kakadu has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
nicolasbourdon has joined #ocaml
<nicolasbourdon> hello, Im french.I studied by my self logicl mathematic and Im looking for a job on automated theorem proving research in France, I live near Paris, can someone give me tricks ? i can of course explain more in detais what I know, what i would lie to do
zolk3ri has quit [Ping timeout: 264 seconds]
muelleme has quit [Ping timeout: 264 seconds]
slash^ has quit [Read error: Connection reset by peer]
hdon has joined #ocaml
jnavila has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
zolk3ri has joined #ocaml
TheRuralJuror has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
jnavila has quit [Remote host closed the connection]
neiluj__ has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
hdon has joined #ocaml
<nicolasbourdon> I'm sorry if I disturb you. I must be clearer about what I would like:
hdon has quit [Ping timeout: 240 seconds]
<nicolasbourdon> I studied by myself how to create an efficient software to solve mathematic problems, during 7 years...( a little bit like automated theorem proving) but more imitating humain way of thinking.
<nicolasbourdon> I now don't have the software which resolve such mathematical problems
<nicolasbourdon> but i got lot of important ideas and tricks which I must add into such a sofware if I want it to works little human way of thinking
<nicolasbourdon> My idea is that if anyone is interested by my point of view, I can present it during 10 minutes to 30 minutes in a presentation
<nicolasbourdon> If the person find it interesting, we could continue discuting by mail or other
<nicolasbourdon> dont hesitate to contact me by mp, if the idea interest you
neiluj has joined #ocaml
Wikipedia[m] has joined #ocaml
Wikipedia[m] has left #ocaml ["User left"]
neiluj__ has quit [Quit: WeeChat 2.1]
<Drup> nicolasbourdon: this really not the place you should ask for this. Contact researchers in your field and see if they have positions
<nicolasbourdon> thanks Drup
hdon has joined #ocaml
sh0t has quit [Ping timeout: 268 seconds]
nicolasbourdon has quit [Remote host closed the connection]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
malina has joined #ocaml
nicolasbourdon has joined #ocaml
argent_smith has quit [Quit: Leaving.]
nicolasbourdon has quit [Ping timeout: 260 seconds]
nicolasbourdon has joined #ocaml
nicolasbourdon has quit [Remote host closed the connection]
pierpa has joined #ocaml
isd has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
nomicflux has joined #ocaml
sh0t has joined #ocaml
exarkun has joined #ocaml
sh0t has quit [Ping timeout: 268 seconds]
sh0t has joined #ocaml
Dairyfarm has joined #ocaml
<Dairyfarm> Can someone tell me what this error means?
<Dairyfarm> Error: Required module `Sha1' is unavailable
barcabuona has joined #ocaml
<pierpa> seems pretty clear?
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
<tizoc> Dairyfarm: what are you doing? running code in the repl? compiling a program? if compiling, how?
<Dairyfarm> I am trying to compile Liquidsoap but it's beyond torturing me.
<Dairyfarm> I got as far as that error.
<Dairyfarm> I believe it's part of the SSL support in Liquidsoap.
<Dairyfarm> I'm not even sure how I compiled this program back in December.
zv has quit [Ping timeout: 240 seconds]
<Dairyfarm> Ultimately it stems from this error I get
<Dairyfarm> File "tools/rqueue.ml", line 1:
<Dairyfarm> Error: Could not find the .cmi file for interface tools/rqueue.mli.
<Dairyfarm> Which I just manually compiled the .mli files as it errored out
<Dairyfarm> And I got to the SHA1 error of which I am not sure what "Unavailable" means.
kakadu_ has quit [Remote host closed the connection]
<tizoc> Dairyfarm: sorry, I don't know, your problems looks very specific to the liquidsoap compiling process (I'm not familiar with it)
<tizoc> Dairyfarm: the opam install instructions here seem the easiest to me, have you tried that? http://liquidsoap.info/download.html
hdon has quit [Ping timeout: 256 seconds]
<Dairyfarm> No, I was trying just the git clone method.
<Dairyfarm> I will try that...
sh0t has quit [Remote host closed the connection]
pmetzger has joined #ocaml
<Dairyfarm> Nope
<Dairyfarm> =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
<Dairyfarm> └─
<Dairyfarm> │ λ build ffmpeg 0.1.1
<Dairyfarm> ┌─ The following actions failed
<Dairyfarm> ╶─ No changes have been performed
<Dairyfarm> The packages you requested declare the following system dependencies. Please make sure they are installed before retrying:
<Dairyfarm> ffmpeg-devel
<Dairyfarm> It's installed...