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]
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)