madpat has quit [Read error: Connection reset by peer]
madpata has joined #ocaml
kerrhau has joined #ocaml
madpata has quit [Quit: Have a good day! :)]
orbifx has quit [Ping timeout: 255 seconds]
infinity0 has joined #ocaml
spew has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
bramford has quit [Ping timeout: 240 seconds]
bramford has joined #ocaml
bramford has quit [Ping timeout: 240 seconds]
silver_ has quit [Quit: rakede]
mfp has quit [Ping timeout: 260 seconds]
jao has quit [Ping timeout: 255 seconds]
bramford has joined #ocaml
solrize has joined #ocaml
<solrize>
how complicated is the ocamlopt compiler? wondering about porting it to compile other languages. thinking of purescript atm.
<Drup>
solrize: take a look at malfunction
<solrize>
looking
<solrize>
nice, thanks
VermillionAzure has quit [Ping timeout: 255 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
enterprisey has joined #ocaml
sh0t has joined #ocaml
nomicflux has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
<solrize>
drup, this is great. thanks again.
j0ni has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
moei has quit [Quit: Leaving...]
spew has quit [Read error: Connection reset by peer]
spew has joined #ocaml
snhmib has quit [Quit: WeeChat 1.6]
nomicflux has quit [Quit: nomicflux]
spew has quit [Remote host closed the connection]
spew has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Quit: nomicflux]
pierpa has quit [Quit: Page closed]
nicoo has quit [Read error: Connection reset by peer]
nicoo has joined #ocaml
spew has quit [Ping timeout: 260 seconds]
sh0t has quit [Remote host closed the connection]
xvilka has quit [Read error: Connection reset by peer]
akochkov has joined #ocaml
akochkov is now known as _xvilka_
malc_ has joined #ocaml
noplamodo_ has quit [Ping timeout: 250 seconds]
Siegfried has joined #ocaml
noplamodo has joined #ocaml
tadzerini has joined #ocaml
kerrhau has quit [Ping timeout: 276 seconds]
kerrhau has joined #ocaml
clockish has quit [Ping timeout: 276 seconds]
clockish has joined #ocaml
cbot has joined #ocaml
osa1 has joined #ocaml
jimmyrcom_ has quit [Remote host closed the connection]
SpaceSheep has quit [Ping timeout: 258 seconds]
Soni has quit [Ping timeout: 240 seconds]
tadzerini has quit [Ping timeout: 240 seconds]
zmt00 has quit [Quit: Leaving]
tadzerini has joined #ocaml
mbuf has joined #ocaml
SpaceSheep has joined #ocaml
mehdib has quit [Quit: No Ping reply in 180 seconds.]
kerrhau has quit [Ping timeout: 255 seconds]
mehdib has joined #ocaml
tadzerini has quit [Ping timeout: 248 seconds]
multiocracy[m] has quit [Ping timeout: 276 seconds]
multiocracy[m] has joined #ocaml
moei has joined #ocaml
<_xvilka_>
hi! How to explicitly say the jbuilder to build statically linked binary? For some unknown reason it uses shared linking, wtf
thizanne has quit [Ping timeout: 258 seconds]
<_xvilka_>
I need statically link with my C stubs, the "library" part of the packages builds ok - producing both shared and static libs, but then application builds only for shared profile
raphaelss has quit [Remote host closed the connection]
sz0 has joined #ocaml
KeyJoo has joined #ocaml
freyr has joined #ocaml
donflopez has joined #ocaml
donflopez has quit [Ping timeout: 255 seconds]
cbot has quit [Quit: Leaving]
dmi3y has joined #ocaml
dmi3y has quit [Client Quit]
BitPuffin|osx has joined #ocaml
dmi3y has joined #ocaml
mk9 has joined #ocaml
raphaelss has joined #ocaml
mk9 has quit [Client Quit]
freyr has quit [Remote host closed the connection]
sapristi has joined #ocaml
robstewartuk has joined #ocaml
<robstewartuk>
why in ocaml is are these mutual let bindings valid: `let rec f x = g x and g x = f x`, but this is invalid: `let rec f = g and g = f` ?
freusque has joined #ocaml
VermillionAzure has joined #ocaml
AltGr has joined #ocaml
dmi3y has quit [Quit: dmi3y]
KeyJoo has quit [Ping timeout: 276 seconds]
freyr has joined #ocaml
grueni__ has joined #ocaml
Siegfried has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Soni has joined #ocaml
argent_smith has joined #ocaml
Onemorenickname has joined #ocaml
<orbifx[m]>
robstewartuk: try defining g first
<orbifx[m]>
sorry, misread the back-tick
<Onemorenickname>
Is it possible to "let open Functor(Module_Param) in" ? If so, I can't find the right syntax
KeyJoo has joined #ocaml
andreas_ has joined #ocaml
<orbifx[m]>
robstewartuk: it might be that there is no recursion with let rec f = g and g = f.
nullifidian has quit [Remote host closed the connection]
<orbifx[m]>
Onemorenickname: what are you wanting to achieve with open Functor... ? Are you using inside another module or as part of your expressions?
<Onemorenickname>
orbifx[m], as part of an other module
<Onemorenickname>
of my expression *
<robstewartuk>
orbifx[m]: ah, thanks, this looks like the answer:
<Onemorenickname>
(sorry, I'm a bit tired)
<robstewartuk>
It will be accepted if each one of expr1 … exprn is [..] is not immediately linked to any of name1 … namen,
<robstewartuk>
and
<Onemorenickname>
basically, i have a functor taking a value as param, and i want to build a module dynamically
<robstewartuk>
An expression e is said to be immediately linked to the variable name in the following cases: - e is name
<Onemorenickname>
and then open it
nullifidian has joined #ocaml
<orbifx[m]>
Onemorenickname: build a module dynamically?
<orbifx[m]>
You mean at runtime?
<Onemorenickname>
yep
<orbifx[m]>
Onemorenickname: I think you might want to look at "first class modules", heard of them?
rtm1046 has joined #ocaml
<Onemorenickname>
orbifx[m], yep, but i can't find the syntax to make them work with functors
<Onemorenickname>
oh wait
<Onemorenickname>
I found an old piece of code
<Onemorenickname>
yay
<Onemorenickname>
let module X = (val (sub_arraylike:a arraylike)) in
<Onemorenickname>
(module (Sub_arraylike(X)) : SUB_ARRAY with type array = X.array and type elt = X.elt)
<orbifx[m]>
:)
<Onemorenickname>
:D
<Onemorenickname>
(when you said "first class modules", it made me recall the time when i flddled with them)
<orbifx[m]>
Time to get some rest then :P
<Onemorenickname>
:)
mfp has joined #ocaml
KeyJoo has quit [Ping timeout: 258 seconds]
rtm1046 has quit [Remote host closed the connection]
shiyas has joined #ocaml
TarVanimelde has joined #ocaml
enterprisey has quit [Remote host closed the connection]
snhmib has joined #ocaml
enterprisey has joined #ocaml
gargawel has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
jao has joined #ocaml
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
enterprisey has quit [Remote host closed the connection]
nahra has quit [Remote host closed the connection]
lopex has quit [Quit: Connection closed for inactivity]
zolk3ri has joined #ocaml
Serpent7776 has joined #ocaml
donflopez has joined #ocaml
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
donflopez has joined #ocaml
Onemorenickname has quit [Read error: Connection reset by peer]
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<_xvilka_>
uh, ctypes documentation is really scarce about zero-copy memory buffers
<_xvilka_>
such a common case and barely covered
_andre has joined #ocaml
silver has joined #ocaml
donflopez has joined #ocaml
KeyJoo has joined #ocaml
<solrize>
is there a doc about how the ocaml runtime works? concurrency, garbage collection, etc thanks
<Drup>
the ocaml runtime is not concurent, so that's done :D
<companion_cube>
there's a oldish series of blog posts which is still mostly valid
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<_xvilka_>
question is - if I have a function that accepts buffer "int myfunc(char* buf, int size)" and in OCaml ctypes I use "let myfunc = foreign "myfunc" (string @-> int @-> (returning int))" it receives 1) wrong data, different from the data in OCaml String 2) will perform a copy, which is a bad idea for a big buffers. What is the simplest case to pass that bufer by a pointer?
<_xvilka_>
ctypes doc mentions bytes, bigarray but lacks even of single example
<Drup>
strings and bytes can be moved by the GC, you shouldn't let the C side manipulate them by pointer if you are not sure of the lifetime of the operations
<Drup>
CArray (and bigarray) are not moved by the OCaml GC
<_xvilka_>
Drup: yes, I read this, but no a full example. E.g. if I read from file, currently I read into the string. Should I read it in the CArray from the beginning? Or just convert String to Carray before passing to the C code?
mbuf has quit [Quit: Leaving]
<Drup>
That's up to you, really.
<_xvilka_>
ok, I see, so for the foreign declaration I should declare the function like "let myfunc = foreign "myfunc" (Ctypes.Carray @-> int @-> (returning int))", right?
<Drup>
just "array", iirc
<_xvilka_>
thank you, will try!
<_xvilka_>
no, it doesn't work
<Drup>
and with a bigarray ?
govg has joined #ocaml
osa1 has quit [Ping timeout: 248 seconds]
donflopez has joined #ocaml
donflopez has quit [Client Quit]
<_xvilka_>
Bigarray seems too complex for such a simple task tbh
<_xvilka_>
this is the first time I encounter the need of FFI in OCaml, and it's very bad, compared with my other languages experience :(
<Drup>
bigarrays aren't very complex
spew has joined #ocaml
<_xvilka_>
ok, I checked ocaml-lz4 library, seems using Bytes instead is easier
shinnya has joined #ocaml
<Drup>
bytes and strings have the same lifetime issues
<_xvilka_>
uh, you are right
spew has quit [Read error: Connection reset by peer]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
troydm has joined #ocaml
<_xvilka_>
seems that many libraries ignore that, hah
<octachron>
_xvilka_, I am surprised that CArray's do not work, what is the issue?
<_xvilka_>
or perform a copy
donflopez has joined #ocaml
<_xvilka_>
octachron: I think I just don't get how to use it in the foreign function declaraion
<_xvilka_>
octachron: "let myfunc = foreign "myfunc" (Ctypes.Carray @-> int @-> (returning int))" - seems like a wrong way to use it
<octachron>
oh, you need to pass a Ctypes.(ptr char)
<_xvilka_>
octachron: and then just write a wrapper which converts CArray to ptr char? like (CArray.start mybuf)?
donflopez has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
madpat_ has joined #ocaml
superherointj has joined #ocaml
<Leonidas>
Armael: hard to say, I removed the switch and went to a global switch where I have 0.12.0
<argent_smith>
hi ppl. is there a way to do `opam install` of a specific github version of, say, core_kernel?
emliunix has quit [Ping timeout: 260 seconds]
<Armael>
Leonidas: could you try to reproduce the issue? or what would be the steps to reproduce?
<Leonidas>
Armael: I'll try. Will take a moment to build a new switch
<Armael>
thanks
emliunix has joined #ocaml
aciniglio has joined #ocaml
donflopez has joined #ocaml
sh0t has joined #ocaml
tane has joined #ocaml
<Leonidas>
Armael: couldn't reproduce. Closed the issue again.
<grueni__>
I compiled 4.0.6 for OpenIndiana. When I use make all in ../testsuites I get 11 tests failed. One of them contains "# Only run this test for TOOLCHAIN=msvc" at the very beginning.
<grueni__>
Must I exclude some tests manually?
<Armael>
Leonidas: ok. I wonder if we could specify a constraint version for ocamlbuild when used with opam 2 local switches
robstewartuk has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
raphaelss has quit [Remote host closed the connection]
kakadu has quit [Read error: No route to host]
kakadu has joined #ocaml
orbifx has joined #ocaml
zmt00 has joined #ocaml
spew has joined #ocaml
shiyas has quit [Ping timeout: 240 seconds]
tadzerini has joined #ocaml
Serpent7776 has quit [Quit: Leaving]
jnavila has joined #ocaml
tadzerini has quit [Ping timeout: 240 seconds]
zaquest_ has quit [Ping timeout: 246 seconds]
nahra has joined #ocaml
zaquest_ has joined #ocaml
tadzerini has joined #ocaml
<grueni__>
Anybody using the tests when compiling ocaml? I found 3 problems (errors in the tests) in OpenIndiana and would like to compare the results with an another OS.
Denommus has joined #ocaml
<octachron>
The tests are fine currently on Linux and Windows
malina has joined #ocaml
<grueni__>
this line "@if ! $(SUPPORTS_SHARED_LIBRARIES) || ! which $(CSC_COMMAND) >/dev/null 2>&1; \" should resolve to TRUE because CSC_COMMAND is empty
<grueni__>
the test should be skipped but it fails because csc is failing. The second '!' is wrong.
<grueni__>
s/failing/missing/
aciniglio has quit [Ping timeout: 240 seconds]
<malc_>
grueni__: which is non a standard thing, `command -v' (which, no pun intended, is POSIX) should be used for portability..
<grueni__>
If I would konw how to open an issue with the ocaml project I would do it
<grueni__>
malc_: Thank you
<malc_>
grueni__: np, ocaml has mantis site plus a bug tracker on github, not sure what is preferable these days
<grueni__>
command -v csc => 1, which csc => 1 in OpenIndiana
<malc_>
grueni__: but you've said that CSC_COMMAND is empty? what testing _csc_ has to do with it?
<grueni__>
# Only run this test for TOOLCHAIN=msvc CSC_COMMAND=$(filter csc,$(subst msvc,csc,$(TOOLCHAIN))) CSC=$(CSC_COMMAND) $(CSC_FLAGS)
<grueni__>
This are the first 3 lines of the Makefile, CSC_COMMAND is empty, TOOLCHAIN is "cc"
snhmib has joined #ocaml
raphaelss has joined #ocaml
<octachron>
grueni__, will you mind prefixing your mantis bug reports with "OpenIndiana: …" ?
<grueni__>
octachron: can I change an existing issue?
<octachron>
I don't remember if you can as a normal user; otherwise I can do it for you
<grueni__>
octachron: so please change it. Solaris or Illumos based OS are concerned not only OpenIndiana.
<octachron>
Did you test on these systems?
<octachron>
(I am asking mostly for the sake of precision)
<grueni__>
octachron: I have another one. The ocamltest based test fails with the native test but the log (not _log!) contains only succeeded tests.
<grueni__>
Actually only with OpenIndiana, will do it for Solaris too.
<grueni__>
command -v csc => 1, which csc => 1 in Solaris 11.2
<octachron>
I have update the titles; support for OpenIndiana/Solaris/Illumos is limited due to lack of such configuration in the inria CI; so the probability of swift fix seems low
jnavila has joined #ocaml
<grueni__>
I would say the test is just wrong. Please have a look in the Makefile and check the logic. which returns in Linux/Solaris/OpenIndiana 0 when the file is found.
snhmib has quit [Ping timeout: 255 seconds]
<octachron>
The tests are correctly skipped on Linux
<octachron>
which returns 0 if the file is found; the file will be only found on windows; so the (… || ! which …) is true; thus the test is skipped. Or am I missing something?
sh0t has quit [Ping timeout: 255 seconds]
osa1 has joined #ocaml
orbifx has quit [Ping timeout: 276 seconds]
malc_ has quit [Remote host closed the connection]
snhmib has joined #ocaml
kakadu_ has joined #ocaml
tane has quit [Quit: Leaving]
BitPuffin|osx has quit [Ping timeout: 255 seconds]
osa1 has quit [Ping timeout: 248 seconds]
sh0t has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
jnavila has quit [Ping timeout: 260 seconds]
sapristi has quit [Quit: Leaving]
baboum has joined #ocaml
snhmib has quit [Quit: WeeChat 1.6]
snhmib has joined #ocaml
whoman has quit [Ping timeout: 240 seconds]
snhmib has quit [Ping timeout: 255 seconds]
baboum has quit [Ping timeout: 260 seconds]
baboum has joined #ocaml
snhmib has joined #ocaml
whoman has joined #ocaml
tadzerini has quit [Quit: Leaving]
VermillionAzure has joined #ocaml
KeyJoo has quit [Ping timeout: 240 seconds]
spew has quit []
MightyJoe is now known as cyraxjoe
enterprisey has joined #ocaml
kakadu__ has joined #ocaml
kakadu_ has quit [Ping timeout: 248 seconds]
jimmyrcom_ has joined #ocaml
spew has joined #ocaml
VermillionAzure has quit [Ping timeout: 260 seconds]
sh0t has quit [Remote host closed the connection]
jnavila has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
malina has joined #ocaml
kakadu has joined #ocaml
kakadu_ has quit [Ping timeout: 248 seconds]
jnavila has quit [Remote host closed the connection]
j00n has joined #ocaml
AltGr has left #ocaml [#ocaml]
andreas_ has quit [Quit: Connection closed for inactivity]
kakadu_ has joined #ocaml
kakadu__ has quit [Ping timeout: 260 seconds]
Jesin has quit [Quit: Leaving]
VermillionAzure has joined #ocaml
pierpa has joined #ocaml
barcabuona has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
sh0t has joined #ocaml
Anarchos has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
VermillionAzure has quit [Ping timeout: 260 seconds]