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
malina has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
shinnya has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (niven.freenode.net (Nickname regained by services))]
marsam has joined #ocaml
VermillionAzure has joined #ocaml
Haudegen has quit [Remote host closed the connection]
marsam has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 265 seconds]
solrize has joined #ocaml
marsam has joined #ocaml
moei has quit [Quit: Leaving...]
mfp has quit [Ping timeout: 248 seconds]
marsam has quit [Ping timeout: 272 seconds]
malina has quit [Remote host closed the connection]
jao has quit [Ping timeout: 264 seconds]
kalio has quit [Ping timeout: 248 seconds]
pierpa has quit [Quit: Page closed]
kalio has joined #ocaml
rostero has quit [Quit: Connection closed for inactivity]
KeyJoo has joined #ocaml
Jesin has quit [Quit: Leaving]
mbuf has joined #ocaml
arecacea1 has quit [Remote host closed the connection]
arecacea1 has joined #ocaml
Jesin has joined #ocaml
sz0 has joined #ocaml
<adrien> nicoo: I don't like management bots I know basically nothing about
<nicoo> Fair enough
TarVanimelde has joined #ocaml
<adrien> companion_cube: how do you start ocabot in order to join here?
argent_smith has joined #ocaml
<adrien> afaict, I'm still being banned by freenode (which is one of the reasons I don't like to depend on freenode for bans)
nicoo has quit [Remote host closed the connection]
jnavila has joined #ocaml
nicoo has joined #ocaml
zv has quit [Quit: WeeChat 1.9]
jnavila has quit [Ping timeout: 240 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
maker has quit [Read error: Connection reset by peer]
andreas_ has joined #ocaml
littleli_ has quit []
maattdd has quit [Quit: WeeChat 2.0]
maattdd has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
zolk3ri has joined #ocaml
nore has quit [Quit: WeeChat 1.8]
jnavila has joined #ocaml
mfp has joined #ocaml
nore has joined #ocaml
nicoo has quit [Remote host closed the connection]
sh0t has joined #ocaml
nicoo has joined #ocaml
donflopez has joined #ocaml
donflopez has quit [Client Quit]
ziyourenxiang has joined #ocaml
silver has joined #ocaml
donflopez has joined #ocaml
_andre has joined #ocaml
mbuf has quit [Quit: Leaving]
shinnya has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
sh0t has quit [Ping timeout: 248 seconds]
jimmyrcom has quit [Ping timeout: 248 seconds]
<companion_cube> I just specify the nick
<companion_cube> it's all in systemd
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
andreas_ has quit [Quit: Connection closed for inactivity]
Guest74034 has joined #ocaml
rizo[m] has joined #ocaml
Guest74034 is now known as Haudegen
jao has joined #ocaml
donflopez has joined #ocaml
<companion_cube> rgrinberg being complimented by whitequark, nice :D
<companion_cube> (cross compilation towards which platforms, btw?)
<rgrinberg> Whichever platforms you can get a cross compiler for :)
<companion_cube> I have no idea what that would include :D
<companion_cube> otoh, entirely static linking would be interesting
<rgrinberg> So far that's iOS, Android, and windows. Those are the cross compilers whitequark setup
<rgrinberg> Those are patched versions of 4.04 I believe
<rgrinberg> Static linking is a different problem. At least on Linux. Just use musl and pass -static and you should be good.
<rgrinberg> If you use docker it's also really easy to setup
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
<companion_cube> yeah, but musl + flambda wasn't to be found last time I tried :(
<companion_cube> (ah, also gmp doesn't provide a .a on my distro, so annoying)
shinnya has quit [Ping timeout: 248 seconds]
FreeBirdLjj has quit [Ping timeout: 248 seconds]
<rgrinberg> companion_cube: this is why you need docker :/
<companion_cube> yeah, I had this problem that the binary would have to run on a cluster with an old redhat, no docker
<companion_cube> the solution is to ship .so files and ld.so…
<rgrinberg> you only need docker for the build phase though, once you make the binary inside docker
<rgrinberg> you can run it anywhere
<companion_cube> you mean you can run the docker image anywhere, right?
<nicoo> No
<rgrinberg> companion_cube: nah, I mean that once you produce the binary in the container - it's statically linked and is fully portable. So just copy it out of your container and distribute freely
<companion_cube> I'm not sure I see why the container is magical
<companion_cube> it's still going to dynlink some stuff
<companion_cube> (like libgmp.so)
<rgrinberg> companion_cube: well you said that gmp doesn't provide .a on your distro, with a container you can select a base image that doesn't suffer such a problem
<companion_cube> ah I see
<companion_cube> (still doesn't solve musl+flambda, tho)
<companion_cube> anyway
<rgrinberg> companion_cube: i recommend one of avsm's alpine opam iamges
<companion_cube> in the future it seems I'm going to work with docker :)
<rgrinberg> why is musl + flambda a problem?
<rgrinberg> there's the switch 4.06.0+musl+static+flambda, seems like it would do the job
<companion_cube> ah, didn't exist back then :D
FreeBirdLjj has joined #ocaml
VermillionAzure has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
marsam has joined #ocaml
FreeBirdLjj has joined #ocaml
sh0t has joined #ocaml
<argent_smith> ppl how to specify -ppxopt=lwt.ppx,-no-debug in OCAMLPARAM?
<argent_smith> i've already broken my brain around this ;)
<companion_cube> what build system do you use‽
<argent_smith> mirage which uses ocamlbuild/ocamlfind
<argent_smith> namely, ocamlfind
marsam has quit [Ping timeout: 252 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
<companion_cube> erf, no idea thne :s
<companion_cube> with ocamlbuild you should specify stuff in _tags, I think
Haudegen has quit [Remote host closed the connection]
GreyFaceNoSpace has joined #ocaml
<argent_smith> struggling with this key there as well )
ziyourenxiang has quit [Ping timeout: 240 seconds]
<GreyFaceNoSpace> hello...quick question: i don't understand why this isn't working: https://pastebin.com/Y8Cbi0gR
FreeBirdLjj has joined #ocaml
<GreyFaceNoSpace> i want the function that i pass to fold_left to add a pair (c,b) to the list which fold_left will return
rostero has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
<lyxia> GreyFaceNoSpace: what goes wrong?
<GreyFaceNoSpace> lyxia, i was using fold_left instead of fold_right
<GreyFaceNoSpace> :D
marsam has joined #ocaml
donflopez has joined #ocaml
okeuday_bak has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
<okeuday_bak> Hi, anyone know why Num was removed from core OCaml without providing a replacement? (I understand Zarith exists outside of the OCaml distribution) Is Zarith not considered good enough or portable enough?
maattdd has joined #ocaml
<okeuday_bak> (in 4.06)
<Fardale> okeuday_bak: it has been move to a separate package in opam
<Fardale> If I understand correctly
<okeuday_bak> Fardale: yes, but that removes bignum support from the OCaml language, if you want to have a minimal set of dependences
<Drup> okeuday_bak: zarith has always been better
<companion_cube> zarith is not maintained by the OCaml developers, so they want to minimize what they officially support
<Drup> it was more of a license issue
<okeuday_bak> Ok, that makes sense
marsam has quit [Ping timeout: 272 seconds]
<okeuday_bak> Drup: what is the license issue, I thought Num/Zarith are LGPL
FreeBirdLjj has joined #ocaml
<Drup> Zarith binds to GMP, which used to have a fairly delicate licensing situation
<okeuday_bak> Drup: ok, yeah, since that is GPL and could be GPLv3 only
<okeuday_bak> thanks, just wanted to check to understand this more
<Drup> but yeah, you should pretty much always use GMP if license is not an issue
<Drup> zarith*
<Drup> it's more efficient, the API is better
<okeuday_bak> Drup: ok, cool
<Drup> (there is the question about portability to js though)
<okeuday_bak> hehe, not concerned about that
FreeBirdLjj has quit [Ping timeout: 240 seconds]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
malc_ has joined #ocaml
FreeBirdLjj has joined #ocaml
<GreyFaceNoSpace> hello...i am new to ocaml and i am having trouble implementing some stuff. for instance i want to filter one list from the values of another list. can someone help me?
<malc_> GreyFaceNoSpace: you want to have a union, so to speak, of two lists?
<GreyFaceNoSpace> i want the compliment of a union of two lists
<GreyFaceNoSpace> example: l1 = [1;2;3] l2 = [1;2] result would be [3]
<GreyFaceNoSpace> so im filtering the values of l2 from l1
<malc_> GreyFaceNoSpace: gotcha
<GreyFaceNoSpace> so how i can i do that?
<GreyFaceNoSpace> i wanted to use List.filter
<GreyFaceNoSpace> but couldn't write an appropriate function for the filtering
<malc_> GreyFaceNoSpace: # let complunion l1 l2 = List.filter (fun e -> not @@ List.mem e l2) l1;;
<malc_> val complunion : 'a list -> 'a list -> 'a list = <fun>
<malc_> # complunion [1;2;3] [1;2];;
<malc_> - : int list = [3]
<malc_>
<GreyFaceNoSpace> oh
<GreyFaceNoSpace> thanks! :D
sh0t has quit [Remote host closed the connection]
jao has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
KeyJoo has quit [Ping timeout: 252 seconds]
KeyJoo has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has quit [Remote host closed the connection]
GreyFaceNoSpace has quit [Quit: Ex-Chat]
donflopez has joined #ocaml
jao has joined #ocaml
tg has quit [Read error: Connection reset by peer]
tg has joined #ocaml
kakadu has joined #ocaml
marsam has joined #ocaml
<argent_smith> does anybody know: is there any tag to specify -ppxopt parameter?
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
marsam has quit [Remote host closed the connection]
donflopez has quit [Ping timeout: 240 seconds]
pierpa has joined #ocaml
_andre has quit [Ping timeout: 248 seconds]
jao has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
mengu has joined #ocaml
_andre has joined #ocaml
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
mengu has quit [Remote host closed the connection]
leah2 has quit [Ping timeout: 272 seconds]
mengu has joined #ocaml
leah2 has joined #ocaml
mengu has quit [Remote host closed the connection]
jnavila has quit [Ping timeout: 240 seconds]
<aantron> argent_smith: oh man, the timing https://github.com/ocsigen/lwt/issues/528
<aantron> i recall having to define such a tag myself in myocamlbuild.ml, if you are using ocamlbuild
<argent_smith> aantron: my goodness! thank you )
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 252 seconds]
jao has quit [Disconnected by services]
silver has quit [Read error: Connection reset by peer]
jao has joined #ocaml
VermillionAzure has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
mengu has joined #ocaml
Jesin has quit [Quit: Leaving]
sh0t has joined #ocaml