flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.03.0 announced http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
agarwal1975 has joined #ocaml
yunxing_ has joined #ocaml
dhil has quit [Ping timeout: 246 seconds]
yunxing_ has quit [Client Quit]
agarwal1975 has quit [Quit: agarwal1975]
silver has quit [Quit: rakede]
diphuser has quit [Ping timeout: 264 seconds]
dmj` has joined #ocaml
walter|r has quit [Ping timeout: 246 seconds]
walter|r has joined #ocaml
yunxing_ has joined #ocaml
yunxing_ has quit [Client Quit]
yoohoo has joined #ocaml
<yoohoo> Does anyone know if there's a good description of ocaml bytecode available? Just curious.
yunxing_ has joined #ocaml
copy` has joined #ocaml
yoohoo has quit [Ping timeout: 246 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
yunxing_ has quit [Quit: Leaving...]
tmtwd has joined #ocaml
yegods has joined #ocaml
walter|r has quit [Remote host closed the connection]
pierpa has quit [Ping timeout: 276 seconds]
dmj`` has joined #ocaml
dmj` has quit [Ping timeout: 260 seconds]
dmj`` is now known as dmj`
shinnya has joined #ocaml
FreeBirdLjj has joined #ocaml
tmtwd_ has joined #ocaml
tmtwd has quit [Ping timeout: 246 seconds]
dmj` has quit [Ping timeout: 244 seconds]
Algebr` has quit [Ping timeout: 252 seconds]
dariusc93 has quit [Quit: Bye bye now :)]
shinnya has quit [Ping timeout: 246 seconds]
scarygelatin has quit [Quit: Leaving]
yegods has quit [Remote host closed the connection]
slash^ has joined #ocaml
MercurialAlchemi has joined #ocaml
Simn has joined #ocaml
ygrek has joined #ocaml
tmtwd_ has quit [Ping timeout: 244 seconds]
copy` has quit [Quit: Connection closed for inactivity]
tmtwd_ has joined #ocaml
shinnya has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
slash^ has quit [Remote host closed the connection]
slash^ has joined #ocaml
pyon is now known as recursive-pyon
tane has joined #ocaml
kushal has joined #ocaml
tmtwd_ has quit [Ping timeout: 258 seconds]
d0nn1e has quit [Ping timeout: 244 seconds]
d0nn1e has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Leaving]
jonasen has joined #ocaml
tane has joined #ocaml
A1977494 has joined #ocaml
A1977494 has quit [Quit: Leaving.]
<hannes> gasche: not sure whether your merge of #607 was intentional -- it is merged into 4.03 branch (not trunk)
recursive-pyon is now known as pyon
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mcc has quit [Quit: Connection closed for inactivity]
tane has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
mcspud has joined #ocaml
yegods has joined #ocaml
shinnya has joined #ocaml
tobast has quit [Ping timeout: 260 seconds]
tobast has joined #ocaml
julienXX has quit [Ping timeout: 260 seconds]
julienXX has joined #ocaml
malc_ has joined #ocaml
tautologico has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
sdothum has joined #ocaml
malc_` has joined #ocaml
malc_ has quit [Ping timeout: 240 seconds]
octachron has joined #ocaml
yoohoo has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yoohoo has quit [Quit: Leaving]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
jnavila has joined #ocaml
jonasen has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
mcspud has joined #ocaml
dr_toboggan has joined #ocaml
<dr_toboggan> i'm getting a weird error when i use sexplib's syntax package and this: http://pastebin.com/KSKYzW7g
<dr_toboggan> #mod_use "debug_error.ml";;
<dr_toboggan> Error: Parse error: [module_type] expected after ":" (in [module_binding0])
<dr_toboggan> any ideas?
<companion_cube> moduletype needs to be capitalized
<dr_toboggan> thanks
dhil has joined #ocaml
mcspud has quit [Ping timeout: 250 seconds]
mcspud has joined #ocaml
tane has quit [Quit: Leaving]
A1977494 has joined #ocaml
dhil has quit [Quit: Quit]
malc_`` has joined #ocaml
malc_` has quit [Ping timeout: 260 seconds]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
jnavila has quit [Ping timeout: 276 seconds]
darkf has quit [Quit: Leaving]
yegods has quit [Ping timeout: 264 seconds]
yegods has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
agarwal1975 has joined #ocaml
silver has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
larhat has joined #ocaml
tane has joined #ocaml
jonasen has joined #ocaml
tane has quit [Ping timeout: 244 seconds]
pierpa has joined #ocaml
<gasche> hannes: thanks for the notice
<gasche> this stuff is fairly error-prone
tane has joined #ocaml
octachron has quit [Ping timeout: 252 seconds]
mcc has joined #ocaml
<gasche> (a good description of the OCaml bytecode and runtime is in the ocamljit2 publication)
MercurialAlchemi has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
walter|r has joined #ocaml
<Drup> there was also a big pdf on xavier clerc's website, which I can't find anymore
MercurialAlchemi has quit [Ping timeout: 244 seconds]
jnavila has joined #ocaml
<gasche> it's part of the ocamljava documentation
<gasche> but it's more of a reference than an introduction
<gasche> (for the fine points of the *design* of the instruction set, Xavier Leroy's zinc descriptions or MPRI courses would be good references)
jnavila has quit [Ping timeout: 260 seconds]
<companion_cube> o/ gasche
jnavila has joined #ocaml
kushal has quit [Ping timeout: 276 seconds]
jeffmo has quit [Quit: jeffmo]
jnavila has quit [Ping timeout: 276 seconds]
pyon has quit [Remote host closed the connection]
pyon has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
A1977494 has quit [Remote host closed the connection]
AlexRussia has joined #ocaml
tmtwd_ has joined #ocaml
walter|r has quit [Remote host closed the connection]
octachron has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
Sakarah has joined #ocaml
MercurialAlchemi has joined #ocaml
shinnya has joined #ocaml
<Sakarah> Hello, do you know a way to force the linking of a standard module (like Genlex) into a plugin by using ocamlbuild ?
<Sakarah> I mean by default plugins (.cmxs) do not include any part of the standard lib
<Sakarah> but when you compile your core program that will load plugins, it removes the unused functions
<Sakarah> here what i want is to get Genlex functions in a plugin without forcing the core program to link it because it is likely to not be used
A1977494 has joined #ocaml
sh0t has joined #ocaml
psnively has joined #ocaml
jolabrycol has joined #ocaml
psnively has quit [Quit: Textual IRC Client: www.textualapp.com]
Sakarah has quit [Ping timeout: 246 seconds]
Sakarah has joined #ocaml
Algebr` has joined #ocaml
Sakarah has quit [Client Quit]
Sakarah has joined #ocaml
jnavila has joined #ocaml
srcerer_ is now known as srcerer
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
<tormen_> 2~
A1977494 has quit [Quit: Leaving.]
<gasche> Sakarah: you should use a .dynlib file that names the module to include in the corresponding .cmxs
<Sakarah> But the problem is Genlex is a standard module not one of mine
<gasche> .mldylib, sorry
<gasche> hm
A1977494 has joined #ocaml
octachron has quit [Ping timeout: 264 seconds]
<gasche> Sakarah: I just tried to do what you want, and it fails on my machine because the standard library does not seem to distribute the .o for the standard modules
yegods has quit [Remote host closed the connection]
<gasche> (this is independent of ocamlbuild)
<gasche> does running "ocamlopt.opt -shared genlex.cmx -o test.cmxs" work on your system?
TheLemonMan has joined #ocaml
<gasche> (the way I got ocamlbuild to add genlex.cmx at linking time was, in myocamlbuild.ml: flag ["file:test.cmxs"] (S[A "genlex.cmx"]))
octachron has joined #ocaml
<Sakarah> if i execute ocamlopt like you said there is the missing .o problem
<Sakarah> gcc: error: /usr/lib/ocaml/genlex.o: Aucun fichier ou dossier de ce type
<Sakarah> File "caml_startup", line 1:
<Sakarah> Error: Error during linking
<MercurialAlchemi> how do you tell oasis to build your project with a backtrace?
<gasche> (in ocamlbuild, "-tag debug")
<gasche> adding "true: debug" in _tags should do it
<gasche> of course you may use oasis with another build system
walter|r has joined #ocaml
copy` has joined #ocaml
Sakarah has quit [Ping timeout: 244 seconds]
Sakarah has joined #ocaml
<Sakarah> well in fact the required functions are all in stdlib.a and not in genlex.o as ocamlopt expect
<Sakarah> can we force ocamlopt to search compiled functions in a custom file ?
<gasche> are you sure you want to link stdlib modules in a .cmxs file?
<gasche> because you could as well delay the linking of stdlib to the consumer application, couldn't you?
<gasche> (warning: I don't know much about native dynamic linking)
<Sakarah> That is what i thought initially
<Sakarah> the problem is when you compile in native code the unused functions of stdlib.a are discarded
<gasche> -linkall may be your friend then
<malc_``> gasche: -ccopt -Wl,-E
<gasche> ah
<MercurialAlchemi> gasche: thx
<gasche> MercurialAlchemi: for ocamlbuild feel free to use "ocamlbuild -documentation" and search its output for the name of tags to enable stuff
<gasche> malc_``: if "-ccopt -Wl,-E" is indeed what solves this use-case, it would be good to document it somewhere
<gasche> I wasn't able to find any documentation page that explains that it is the solution, it should come up if one looks for it
<gasche> for example http://caml.inria.fr/pub/docs/manual-ocaml/native.html may mention this
<malc_``> gasche: man ld /export-dynamic
<gasche> yep, but OCaml users may not know how to break this abstraction boundary
<gasche> a note in the manual could help
<gasche> (for example around the documentation of the -linkall option, or where the role of .a files during compilation is described)
yegods has joined #ocaml
<gasche> (I'm trying to encourage whoever understands these issues better to act on this problem that is offered and submit a PR somewhere to improve documentation)
<gasche> (but this probably imples checking that it works for Sakarah first)
kushal has joined #ocaml
<Sakarah> gasche: With -linkall it seems to work quite well and I think this is a really better design than relying on plugin creators to load their chunk of standard lib
<Sakarah> so thanks a lot
<gasche> you're welcome
<gasche> I don't understand the issues very well myself, so I'll create a small repro-case and check with malc_`` that I have the story right
<gasche> dinosaure: thanks for the journal comment (I hadn't seen it while writing mine so there is overlap, but well)
kushal has quit [Ping timeout: 264 seconds]
Sakarah has quit [Ping timeout: 240 seconds]
Algebr` has quit [Remote host closed the connection]
Algebr` has joined #ocaml
Sorella has joined #ocaml
Kakadu has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
Sakarah has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Sakarah has quit [Ping timeout: 260 seconds]
jonasen_ has joined #ocaml
jonasen has quit [Ping timeout: 272 seconds]
octachron_ has joined #ocaml
octachron has quit [Ping timeout: 260 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
octachron_ has quit [Quit: Leaving]
malc_`` has left #ocaml ["ERC (IRC client for Emacs 25.0.50.2)"]
lyxia has quit [Quit: WeeChat 1.5]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
lyxia has joined #ocaml
MercurialAlchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
manizzle has quit [Ping timeout: 246 seconds]
walter|r has quit [Remote host closed the connection]
jonasen_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yegods has quit []
d0nn1e has quit [Ping timeout: 264 seconds]
d0nn1e has joined #ocaml
walter|r has joined #ocaml
tane has quit [Ping timeout: 244 seconds]
jnavila has quit [Quit: Konversation terminated!]
Algebr` has joined #ocaml
ygrek has joined #ocaml
walter|r has quit [Remote host closed the connection]
A1977494 has quit [Remote host closed the connection]
silver has quit [Quit: rakede]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
tmtwd_ has quit [Ping timeout: 244 seconds]
tmtwd has joined #ocaml
wolfcore has quit [Ping timeout: 276 seconds]
wolfcore has joined #ocaml
Kakadu has quit [Remote host closed the connection]
darkf has joined #ocaml
madroach_ has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
jolabrycol has left #ocaml ["Leaving"]
Simn has quit [Quit: Leaving]
<Algebr`> can't seem to get ppx_conv_type to install
<Algebr`> for 4.03.0, # Error: Signature mismatch: # [...] # unit -> deriver # Command exited with code 2.