adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
hlisp has quit [Remote host closed the connection]
olle has quit [Ping timeout: 260 seconds]
olle_ has joined #ocaml
Anarchos has quit [Ping timeout: 246 seconds]
jbrown has quit [Ping timeout: 272 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 246 seconds]
hlisp has joined #ocaml
vicfred_ has quit [Quit: Leaving]
vicfred has joined #ocaml
hlisp has quit [Ping timeout: 272 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 272 seconds]
mfp has quit [Ping timeout: 240 seconds]
hlisp has joined #ocaml
mbuf has joined #ocaml
hlisp has quit [Ping timeout: 258 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
dborisog has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
jao has quit [Remote host closed the connection]
hlisp has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 264 seconds]
hlisp has quit [Remote host closed the connection]
hlisp has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 260 seconds]
hlisp has quit [Remote host closed the connection]
jbrown has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
hlisp has joined #ocaml
ferd has quit [Ping timeout: 272 seconds]
amiloradovsky has joined #ocaml
olle__ has joined #ocaml
hlisp has quit [Remote host closed the connection]
hlisp has joined #ocaml
ferd has joined #ocaml
<prsafont[m]> the conduit blogpost exploded :( https://blog.x25519.net/2020-02-27--tuyau.html
<prsafont[m]> looks like a plex server now
hlisp has quit [Remote host closed the connection]
hlisp has joined #ocaml
Anarchos has joined #ocaml
hlisp has quit [Ping timeout: 272 seconds]
hlisp has joined #ocaml
peterbb has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
pigeonv has joined #ocaml
mfp has joined #ocaml
<prsafont[m]> (he's fixing the blog soon-ish)
hlisp has quit [Remote host closed the connection]
hlisp has joined #ocaml
<theblatte> when using dune to generate docs do people typically publish the whole lot or is it ok to remove the entries corresponding to the "library trick" modules like MyLib__MyModule/ (and keep only MyLib/MyModule/)?
* theblatte trying to cut down on the 40MB of generated documentation in _build/default/_doc/
<olle__> dune is so hot right now
<olle__> like a sand dune
<olle__> in the desert
<olle__> hot
engil1 is now known as engil
engil has joined #ocaml
engil has quit [Changing host]
hlisp has quit [Remote host closed the connection]
<olle__> Makefile - so cold
<olle__> (ice cold)
<theblatte> speaking of new hotness: trying to install 4.11 alpha in opam gets me unmet availability conditions: enable-ocaml-beta-repository
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
<theblatte> I don't know what opam wants me to do
<vsiles> theblatte: add beta .... from https://github.com/ocaml/ocaml-beta-repository ?
<theblatte> haha, ok
<theblatte> this wasn't very discoverable, to say the least
hlisp has joined #ocaml
<vsiles> j'ai googlé enable-ocaml-beta-repository
<theblatte> I googled the error to but no luck (might be duckduckgo giving worse results)
<theblatte> too*
<theblatte> - infer → ppx_deriving >= 4.1 → ocaml < 4.11.0
<theblatte> oh well, ppx for the lose again
Guest53758 has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Guest53758 is now known as jao
<olle__> did 4.11 change it?
<theblatte> it's been fixed recently so it looks like ppx_deriving just needs an opam release
<companion_cube> theblatte: what a surprise :p
<theblatte> companion_cube: took you long enough :p
<companion_cube> sorry, just got to my computer
<theblatte> :D
<companion_cube> my spidey-sense was tingling
<olle__> ppx_spidersense
nullifidian_ has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
Haudegen has joined #ocaml
hlisp has quit [Remote host closed the connection]
<dmbaturin> Leonidas: There's no mystery in my handle really. It's my initials and last name. Daniil M. Baturin.
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
<Leonidas> pa_spidersense
<Drup> that's not tingling anymore, that's actively itching and scratching
<companion_cube> well, before I logged in
<dmbaturin> Drup: Do you think the work from https://discuss.ocaml.org/t/ann-prototype-dismas-a-tool-for-automatically-making-cross-versions-of-opam-packages/5404 and its future directions can make an acceptable ML Workshop talk?
<Drup> ML: no
<Drup> OCaml: probably, up to the reviewers
<dmbaturin> Ok, thanks!
<Drup> But it's definitely more of an OCaml thing than an ML thing :)
<dmbaturin> I'm just wondering if I have anything to participate with, now that first time in my life I can.
<Drup> you are encouraged to participate!
<dmbaturin> Wait, what if the >OCaml: probably, up to the reviewers part referring to?
<Drup> there are 2 workshops, ML and OCaml
<Drup> I encourage you to submit it to the OCaml workshops, rather than the ML one.
<dmbaturin> Hhm. The letter didn't mention it. Where's the info?
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
Anarchos has left #ocaml [#ocaml]
<dmbaturin> Ah, I see. Thanks!
waleee-cl has joined #ocaml
Anarchos has joined #ocaml
ferd has quit [Ping timeout: 264 seconds]
UltraMonkey has joined #ocaml
<UltraMonkey> why are there no bytecode files (.cmo) in /usr/lib/ocaml?
<UltraMonkey> how can I generate the bytecode files for the standard library?
<Anarchos> UltraMonkey make world ?
<UltraMonkey> where? do I have to download the ocaml source?
<companion_cube> UltraMonkey: there should be .cma files
<waleee-cl> UltraMonkey: which distro? On mine I have some in /usr/lib64/ocaml/
<companion_cube> .cmo are like .o, individual object files
<companion_cube> .cma are the proper archives
<UltraMonkey> indeed there are cma files. how can I unpack a cma? I want to run ocamldumpobj on a standard library module
<UltraMonkey> google is failing me :/
<companion_cube> it might be an `ar` archive? not sure
<UltraMonkey> `ar` doesn't recognize
<UltraMonkey> `file` reports that it's an OCaml library file
<companion_cube> hmm, then idk :/
<companion_cube> look in the manual maybe
<Anarchos> UltraMonkey you need to verify a type of the stdlib ?
<UltraMonkey> well I have interest in seeing how the bytecode "escapes" to a native function, like I suppose it must do in Random.self_init
<def> ocamlobjinfo can print the summary of the cma contents
<def> bytecode escape to native function with a dedicated instruction
<UltraMonkey> yeah, I noticed that about ocamlobjinfo ... too bad it doesn't produce bytecodes
<Anarchos> UltraMonkey the fucntion is declared with two C functions name
<Anarchos> then the compiler associates them to the ocaml function, and the runtime tries to call them
<UltraMonkey> external random_seed: unit -> int array = "caml_sys_random_seed"
andreas303 has quit [Remote host closed the connection]
<UltraMonkey> well maybe I will get somewhere by compiling ocaml from source
ferd has joined #ocaml
<Armael> what are you looking for?
andreas303 has joined #ocaml
<UltraMonkey> Armael: I want the bytecodes of the standard library, basically as if I had run ocamldumpobj on it
<UltraMonkey> unfortunately it appears that nobody knows how to unpack a cma
<Armael> as def said, the bytecode itself won't contain the code for the primitives implemented in C
<UltraMonkey> that's fine I just want to see the call site and how it interacts with the surrounding code
<Anarchos> UltraMonkey it is implemented as CAMLprim("caml_sys_random_seed")
<Anarchos> and the runtime (written in C) just calls that function
<Anarchos> which should be defined in its C file
<Anarchos> and linked against the runtime
<Armael> UltraMonkey: relevant reads might be the code of the bytecode interpreter, and http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html
<flux1> UltraMonkey: related to the comment of byte codes, are you aware of ocamldumpobj?
<Armael> (this page of the manual describes how one should write functions in C so that they can be declared as external and be called by ocaml code)
<UltraMonkey> flux1: yes I am but the ocaml installation doesn't come with .cmo files for standard library only .cma
<UltraMonkey> am compiling ocaml now let's see if I get cmos
<UltraMonkey> got cmos! so excited. but the build isn't done maybe it will remove them all ..
<flux1> I wouldn't think a typical build would remove any files before `make clean` :)
<flux1> hmm, though I guess it could happen for intermediate files such as those, soo
<octachron> Not when they are still needed for incremental rebuild
Anarchos has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Anarchos has joined #ocaml
<UltraMonkey> well now I got the cmos but they're no good -- ocamlobjdump says "not an object file" ???
<UltraMonkey> I'm trying to run it on stdlib__random.cmo
Anarchos has quit [Client Quit]
<octachron> If you build the dev version, you need to run ocamlobjdump from the tree.
<octachron> (also opam installs the cmo)
<companion_cube> there's no `bool_attribute` in tyxml? (cc Drup)
olle__ has quit [Ping timeout: 258 seconds]
<Drup> no, because the standard doesn't even define booleans, and many booleans are represented with different strings (on/off, yes/no, absence/presence, etc)
<def> lovely
<UltraMonkey> found what I was looking for: C_CALL1 caml_sys_random_seed .. thanks everyone
<Drup> booleans are a lisp delusion anyway, they don't exists, every programmers knows that
<companion_cube> ugh, indeed, it's strings. anyway.
<pigeonv> s/strings/lambdas xD
<companion_cube> Drup: lisps are not necessarily the best citizens wrt. booleans :p
UltraMonkey has quit [Remote host closed the connection]
<Drup> #t
<companion_cube> yeah and everything has a truthy value
silver has joined #ocaml
smazga has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
peterbb has quit [Quit: peterbb]
silver_ has joined #ocaml
cantstanya has quit [Write error: Connection reset by peer]
silver has quit [Read error: Connection reset by peer]
cantstanya has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
silver_ has quit [Read error: Connection reset by peer]
<def> truthiness... that brings back bad memories
FreeBirdLjj has quit [Remote host closed the connection]
peterbb has joined #ocaml
Haudegen has joined #ocaml
dborisog has quit [Ping timeout: 256 seconds]
mbuf has quit [Quit: Leaving]
waleee-cl has quit [Quit: Connection closed for inactivity]
tane has joined #ocaml
HaikuUser has joined #ocaml
HaikuUser is now known as Anarchos
Anarchos has quit [Client Quit]
HaikuUser has joined #ocaml
HaikuUser has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
wreed has joined #ocaml
wreed has quit [Client Quit]
cantstanya has quit [Remote host closed the connection]
cantstanya has joined #ocaml
waleee-cl has joined #ocaml
bartholin has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
peterbb has quit [Quit: peterbb]
mengu has joined #ocaml
wreed has joined #ocaml
raver has quit [Quit: Gateway shutdown]
peterbb has joined #ocaml
leah2 has quit [Ping timeout: 260 seconds]
cheater has quit [Ping timeout: 246 seconds]
cheater has joined #ocaml
leah2 has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
leah2 has quit [Ping timeout: 272 seconds]
narimiran has quit [Ping timeout: 258 seconds]
leah2 has joined #ocaml
raver has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
leah2 has quit [Ping timeout: 272 seconds]
leah2 has joined #ocaml
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
tane has quit [Quit: Leaving]
nore has quit [Ping timeout: 258 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
nore has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 256 seconds]
<yomimono> Modern Dune charmingly spits out a Dune (the novel) quote, modified to be about not crashing, and then crashes when I try to build my project. -_-
Haudegen has quit [Ping timeout: 256 seconds]
* yomimono puts on running shoes for upgrade treadmill
kvda has joined #ocaml
mal`` has quit [Quit: Leaving]
rwmjones has quit [Ping timeout: 246 seconds]
rwmjones has joined #ocaml