companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
ygrek has quit [Remote host closed the connection]
<d_bot> <EduardoRFS> there is any good way to call OCaml code on another shared library directly? I'm compiling native code during execution and I can load the shared library, but I want to call a symbol following the OCaml convention
dhil has quit [Ping timeout: 240 seconds]
sm2n_ has joined #ocaml
sm2n has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
ygrek has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
dan64- has quit [Quit: ZNC - http://znc.in]
Tuplanolla has quit [Quit: Leaving.]
dan64 has joined #ocaml
borne has quit [Ping timeout: 246 seconds]
lizzin has joined #ocaml
lizzin is now known as Guest67375
Seylerius has joined #ocaml
borne has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]
Guest67375 has quit [Ping timeout: 246 seconds]
infinity0 has quit [Ping timeout: 272 seconds]
infinity0 has joined #ocaml
<oni-on-ion> EduardoRFS : ffi ?
octachron has quit [Quit: ZNC 1.7.5 - https://znc.in]
chripell_ has joined #ocaml
octachron has joined #ocaml
<d_bot> <EduardoRFS> I wanted zero overhead ;/
chripell has quit [Ping timeout: 240 seconds]
DanielRichman has quit [Ping timeout: 240 seconds]
<oni-on-ion> EduardoRFS : ah. i use foreign for this:
<oni-on-ion> like : let initWindow = foreign "InitWindow" (int @-> int @-> string @-> returning void)
<oni-on-ion> using "open Foreign , open CTypes"
<d_bot> <EduardoRFS> I actually wanted to call OCaml code, so foreign will not respect the OCaml ABI. But I did some hacks using Obj.magic and wrapping pointers
<oni-on-ion> ah, there must be a way for this. bytecode files can be loaded/reloaded tho
<oni-on-ion> of course there must be. most packages etc. are linked as shared library, and they are ocaml code.
<oni-on-ion> using dune and topfind it is automatic
madroach_ has joined #ocaml
madroach has quit [Ping timeout: 256 seconds]
tryte has quit [Ping timeout: 240 seconds]
tryte has joined #ocaml
_whitelogger has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
lizzin has joined #ocaml
lizzin is now known as Guest88720
Guest88720 has quit [Ping timeout: 256 seconds]
<d_bot> <EduardoRFS> yes but this packages they're known at build time, what I want is to call a symbol that isn't known at build time, dynamically
narimiran has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
lizzin has joined #ocaml
lizzin is now known as Guest14169
<d_bot> <EduardoRFS> Maybe there is a primitive to apply non closure functions? Maybe a way to inject assembly instructions at any point?
_whitelogger has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
steenuil has joined #ocaml
borne has quit [Ping timeout: 260 seconds]
urek__ has quit [Ping timeout: 272 seconds]
ygrek has quit [Remote host closed the connection]
borne has joined #ocaml
vicfred has quit [Quit: Leaving]
borne has quit [Ping timeout: 272 seconds]
<oni-on-ion> hmm. i feel you may be overcomplicating it, but i am not ocaml expert
<oni-on-ion> make ocaml library with dune and then open it
shawnw has joined #ocaml
decentpenguin has quit [Read error: Connection reset by peer]
decentpenguin has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
steenuil_ has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
steenuil has quit [Ping timeout: 260 seconds]
<reynir> I've never used it, but is dynlink relevant?
dborisog has joined #ocaml
dborisog has quit [Ping timeout: 240 seconds]
DanC has quit [Ping timeout: 256 seconds]
DanC has joined #ocaml
dborisog has joined #ocaml
wonko7 has joined #ocaml
Tuplanolla has joined #ocaml
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
<d_bot> <n4323> to me it sounds like the use case of dynlink precisely
<d_bot> <n4323> there you would have to make a mutable table of symbols before dynlinking which the dynlinked code can fill with its own functions. so at least the types of any dynamically loaded functions have to be known beforehand. afaiu.
berberman_ has quit [Ping timeout: 260 seconds]
berberman has joined #ocaml
dborisog has quit [Ping timeout: 264 seconds]
borne has joined #ocaml
<d_bot> <Cyclomatic Complexity> What is `with type := t` in OCaml? I can't find it in the man. It is not part of module constraints described there: https://caml.inria.fr/pub/docs/manual-ocaml/modtypes.html . And I can't guess its semantics from an interpreter.
Haudegen has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
urek__ has joined #ocaml
gareppa has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
gareppa has quit [Remote host closed the connection]
nicoo has joined #ocaml
mfp has joined #ocaml
steenuil_ has quit [Read error: Connection reset by peer]
dhil has joined #ocaml
daimrod has quit [Quit: WeeChat 2.8]
steenuil has joined #ocaml
borne has quit [Ping timeout: 272 seconds]
tane has joined #ocaml
elfring has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]
urek__ has quit [Read error: Connection reset by peer]
urek__ has joined #ocaml
elfring has quit [Ping timeout: 256 seconds]
elfring has joined #ocaml
daimrod has joined #ocaml
DanC has quit [Ping timeout: 256 seconds]
DanC has joined #ocaml
waleee-cl has joined #ocaml
bartholin has joined #ocaml
mxns has joined #ocaml
steenuil has joined #ocaml
<d_bot> <tjammer> ocaml tooling keeps pleasantly surprise me. After being already impressed with dune, odoc just worked out of the box. And odig is simply amazing. No comparison to the hoops I usually have to jump through with cmake and doxygen
<d_bot> <Anurag> the tooling is indeed really nice. That said a lot of C++ tooling sets a really low bar when it comes to developer UX....
<d_bot> <Drup> And you haven't seen the next version of odoc yet 💪
<d_bot> <Lupus> What's the latest on exception backtraces? Running some lwt code, it seems that backtrace is lost at the moment I do `switch%lwt` and pattern match on exception. I'm running on 4.08, may be things have improved since that?
mxns has quit [Ping timeout: 260 seconds]
vicfred has joined #ocaml
ygrek has joined #ocaml
Guest14169 has quit [Ping timeout: 246 seconds]
<d_bot> <Lupus> If there are no exceptions between my exception being raised, and retrieval of backtrace sometime later, should I be able to see that backtrace?
urek has joined #ocaml
mxns has joined #ocaml
urek__ has quit [Ping timeout: 272 seconds]
vicfred has quit [Quit: Leaving]
lizzin has joined #ocaml
lizzin is now known as Guest26445
bartholin has quit [Ping timeout: 240 seconds]
shawnw has quit [Ping timeout: 264 seconds]
bartholin has joined #ocaml
hnOsmium0001 has joined #ocaml
madroach has joined #ocaml
bartholin has quit [Ping timeout: 258 seconds]
madroach_ has quit [Ping timeout: 256 seconds]
daimrod has quit [Quit: WeeChat 2.9]
daimrod has joined #ocaml
yomimono has joined #ocaml
Guest26445 has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
ygrek has quit [Remote host closed the connection]
lizzin has joined #ocaml
lizzin is now known as Guest89029
nkatte has joined #ocaml
Guest89029 has quit [Ping timeout: 240 seconds]
noonien has joined #ocaml
lizzin_ has joined #ocaml
berberman_ has joined #ocaml
Jesin has quit [Quit: Leaving]
berberman has quit [Ping timeout: 258 seconds]
sagax has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
Jesin has joined #ocaml
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
lizzin_ has quit [Ping timeout: 256 seconds]
dhil has quit [Ping timeout: 264 seconds]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
lizzin has joined #ocaml
amiloradovsky has joined #ocaml
lizzin is now known as Guest11970
ransom has joined #ocaml
dhil has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
borne has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
benschza has joined #ocaml
bartholin has quit [Ping timeout: 258 seconds]
Jesin has quit [Quit: Leaving]
dhil has joined #ocaml
bartholin has joined #ocaml
Jesin has joined #ocaml
rpcope has quit [Ping timeout: 268 seconds]
rpcope has joined #ocaml
narimiran has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
tryte has quit [Remote host closed the connection]
tryte has joined #ocaml
steenuil has quit [Read error: Connection reset by peer]
_whitelogger has joined #ocaml
urek has quit [Ping timeout: 260 seconds]
_whitelogger has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
madroach_ has joined #ocaml
madroach has quit [Ping timeout: 256 seconds]
bartholin has quit [Ping timeout: 258 seconds]
madroach_ has quit [Ping timeout: 256 seconds]
madroach has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
urek has joined #ocaml
madroach_ has joined #ocaml
madroach has quit [Ping timeout: 256 seconds]
borne has quit [Ping timeout: 272 seconds]
madroach has joined #ocaml
madroach_ has quit [Ping timeout: 256 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
tane has quit [Quit: Leaving]
amiloradovsky has quit [Remote host closed the connection]
madroach_ has joined #ocaml
madroach has quit [Ping timeout: 256 seconds]
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
madroach_ has quit [Quit: leaving]
dhil has quit [Quit: Leaving]
borne has joined #ocaml
ransom has joined #ocaml
madroach has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
Guest11970 has quit [Ping timeout: 260 seconds]
webshinra has quit [Remote host closed the connection]
ygrek has quit [Remote host closed the connection]
lizzin has joined #ocaml
webshinra has joined #ocaml
lizzin is now known as Guest21538
ygrek has joined #ocaml
artymort has quit [Quit: Ping timeout (120 seconds)]
artymort has joined #ocaml
mxns has joined #ocaml
Guest21538 has quit [Ping timeout: 256 seconds]
mxns has quit [Ping timeout: 264 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mxns has joined #ocaml
<d_bot> <bikal> @Drup sounds exciting. Does the odoc master work, i.e. if I pin in it opam will dune b @doc work?
<d_bot> <Drup> well, if you try and it doesn't, please report your results 😄
<d_bot> <Drup> (I think it should be ok now, there are probably still a few bugs around :p)
ygrek has quit [Ping timeout: 240 seconds]