<d_bot>
<salt rock lamp> Posting this here because we discussed it recently and i was apparently not the only one who was still a bit confused
Corbin has quit [Ping timeout: 240 seconds]
<d_bot>
<froyo> argh I'm a little stuck with ocamlmklib.. got a stub and a module and i want to produce a .cma like that of unix etc.. that means just the cma loaded in a repl should be enough (without needing to load any dlls), but doing that seems to just not work
<d_bot>
<froyo> `ocamlc -c test_stub.c`
<d_bot>
<froyo> `ocamlc -c test.ml`
<d_bot>
<froyo> `ocamlmklib -o test -custom test.cmo test_stub.o -ccopt -static`
<d_bot>
<froyo> despite using -custom and -static i still get a "couldn't find dlltest.so" error
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
Everything has joined #ocaml
sagax has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
<d_bot>
<ggole> Hmm, the usual method for getting a toplevel with C stubs is to use `ocamlmktop` afaik
<d_bot>
<ggole> You might be able to use the `-cclib` stuff to tell it the name of the library so it can be used with `load`, but I've never tried that
favonia has joined #ocaml
conjunctive has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
conjunctive has joined #ocaml
rgrinberg has joined #ocaml
justsomeguy has joined #ocaml
justsomeguy has left #ocaml [WeeChat 3.2]
wilfred has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Nahra has quit [Ping timeout: 252 seconds]
gravicappa has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
xd1le has joined #ocaml
xenu has quit [Read error: Connection reset by peer]
Corbin has joined #ocaml
xenu has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
hendursaga has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
wonko has joined #ocaml
rgrinberg has joined #ocaml
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
hendursa1 has joined #ocaml
gravicappa has quit [Ping timeout: 252 seconds]
hendursaga has quit [Ping timeout: 276 seconds]
<d_bot>
<KangPro> Hey guys, how is cross compilation performed in OCaml?
<d_bot>
<mseri> I use reason-mobile
waleee has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
Nahra has joined #ocaml
bartholin has joined #ocaml
wilfred has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot>
<mseri> Afaik mirage uses another approach, but I can’t find where I read about it
Everything has quit [Quit: leaving]
bartholin has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
Haudegen has joined #ocaml
<d_bot>
<dinosaure> mostly centered to `opam monorepo` which solves and downloads your dependencies. Then, `dune` does the job as explained into your link 🙂
<d_bot>
<KangPro> Alright thanks
<d_bot>
<dinosaure> the big pain about cross-compilation and/or static linking is about C stubs
<d_bot>
<dinosaure> MirageOS 3 asks libraries maintainers to compile C stubs multiple times with different flags (passed via `pkg-config`), but it does not really scale. So MirageOS 4 will take the `dune`'s ability to fix the compilation/link context for all of your dependencies from a "special" OCaml compiler/runtime
mro has joined #ocaml
wonko has quit [Ping timeout: 256 seconds]
mro has quit [Remote host closed the connection]
bartholin has quit [Ping timeout: 245 seconds]
bartholin has joined #ocaml
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #ocaml
<d_bot>
<EduardoRFS> If you get reason-mobile to work it can compile to a lot of platforms any project.
<d_bot>
<EduardoRFS>
<d_bot>
<EduardoRFS> Currently windows is the only missing target, but I'm lazy and didn't provide it.
gravicappa has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 252 seconds]
bartholin has quit [Ping timeout: 252 seconds]
Anarchos has joined #ocaml
Skyfire has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
bartholin has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
xd1le has quit [Quit: xd1le]
<reynir>
I upgraded my switch with --unlock-base so now I have ocaml 4.12.0 - great! But the switch is called 4.10.1 >.<
<d_bot>
<froyo> so like, call ocamlmklib twice? one for the dll and one for the cma?
<d_bot>
<froyo> gonna try that sure why not
<d_bot>
<froyo> still, even with -custom -cclib it still expects dlltest.so in search path
bartholin has joined #ocaml
rgrinberg has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 252 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
jcob has joined #ocaml
<jcob>
Hi guys! I have a lil question: My professor gave us the following examples to study:
<jcob>
let o f g x = f (g (x))
<jcob>
let ooo = o o
<jcob>
I'm trying to figure out how the typing rules work for the second one
<jcob>
Its easy for me to determine the type of the first
<jcob>
but the second one is quite confusing
<jcob>
I'm aware of what weak means
<jcob>
first of all, why can o even take in o? o is not of type ('a -> 'b)
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
Everything has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
bartholin has quit [Ping timeout: 252 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
jcob has quit [Ping timeout: 256 seconds]
Tuplanolla has quit [Quit: Leaving.]
vicfred has joined #ocaml
rgrinberg has joined #ocaml
bartholin has joined #ocaml
bartholin has quit [Ping timeout: 252 seconds]
Serpent7776 has quit [Quit: leaving]
bartholin has joined #ocaml
<d_bot>
<NULL> The arrow is a binary operator, `'a->'b->'c` is chained application of arrow, with right precedence