<kuwze>
where should I put a binary that I created for ocamlfind to see? I am compiling cduce against 4.02.0, I am guessing ~/.opam/4.02.0/bin? but it seems ocamlfind is blind to it...
<companion_cube>
ocamlfind will not know what to do with a binary anyway, I think
<companion_cube>
but yeah, ~/.opam/<switch>/bin/ is typically the place to put binaries in
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
<kuwze>
companion_cube: yeah I tried putting it there but ocamlfind cannot seem to recognize it.
<Armael>
why do you want ocamlfind to recognize it for
<kuwze>
is there a tutorial about where to put a manually compiled ocaml project?
<kuwze>
Armael: I am building a second library, occduce, that uses ocamlfind to look for cduce
<companion_cube>
why does the second library need a *binary* ?
<kuwze>
companion_cube: good question, I am sure I am doing something wrong but not sure what.
<companion_cube>
it would make more sense that the first thing is also a library, so the second one can depend on it directly
<kuwze>
what extension does a library have? .cmo?
<companion_cube>
cma and cmxa and cmxs
<companion_cube>
(bytecode, native, native as a dynamic lib)
<companion_cube>
if it 's a new project, you'd be better off letting a build system manage that for you, I think
<companion_cube>
(be it jbuilder, oasis, ocamlbuild+topkg…)
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has quit [Killed (orwell.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
<companion_cube>
compiling and installing OCaml stuff by hand is a pain
<kuwze>
companion_cube: I'm with you on using a proper build system like dune. This is a somewhat old library and it just has makefiles.
<companion_cube>
:/
<kuwze>
I'm hoping that I can put the time into making it work with a modern ocaml version and using dune
<kuwze>
right now I got cduce to compile against 4.02.0 but opam fails to install merlin... and as a newbie I really depend on merlin
<companion_cube>
try on 4.02.3
<companion_cube>
4.02.0 is relatively broken (there were several minor releases)
<kuwze>
companion_cube: thanks, will do
nomicflux has joined #ocaml
cobreadmonster has joined #ocaml
infinity0 has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
niorrr has joined #ocaml
jack5638 has quit [Ping timeout: 240 seconds]
<kuwze>
okay I got cduce to compile under 4.02.3... is there an example of where I should put the libs? I am assuming ~/.opam/4.02.3/lib/cduce
<kuwze>
is the META in a lib folder necessary for ocamlfind to find it?
sh0t has quit [Remote host closed the connection]
<niorrr>
anyone have any experience with ocaml and nix?
jack5638 has joined #ocaml
<companion_cube>
kuwze: yes, META is how ocamlfind knows about your li
<companion_cube>
b
<companion_cube>
niorrr: not me, sorry
nullifidian has quit [Remote host closed the connection]
<kuwze>
companion_cube: thanks!
<companion_cube>
ocamlfind install nameoflib META fileoflib*
<companion_cube>
more or less
nullifidian has joined #ocaml
nomicflux has quit [Quit: nomicflux]
mfp has quit [Ping timeout: 264 seconds]
Haudegen has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
caltelt has joined #ocaml
<kuwze>
I am now getting this error and I don't know what to do: Error: Unbound module Eliom_pervasives
<keep_learning>
I am trying to convert a int list list to string list list, but I am getting error
<keep_learning>
at utop This expression has type int,This is not a function; it cannot be applied.
kakadu has joined #ocaml
<octachron>
keep_learning, third line, third element: "1 0"
<keep_learning>
octachron Thank you
zolk3ri has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 264 seconds]
Ulrar has quit [Ping timeout: 256 seconds]
jimmyrcom_ has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
dakk has joined #ocaml
TarVanimelde has joined #ocaml
tarptaeya has joined #ocaml
mfp has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
hdon has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 248 seconds]
Haudegen has joined #ocaml
hdon has quit [Ping timeout: 260 seconds]
andreas__ has joined #ocaml
dxtr has quit [Ping timeout: 248 seconds]
sh0t has joined #ocaml
jnavila has joined #ocaml
dakk has quit [Ping timeout: 264 seconds]
dhil has quit [Ping timeout: 276 seconds]
argent_smith has quit [Quit: Leaving.]
jnavila has quit [Ping timeout: 240 seconds]
silver has joined #ocaml
tarptaeya has quit [Ping timeout: 265 seconds]
jnavila has joined #ocaml
sh0t has quit [Remote host closed the connection]
jbrown has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
nomicflux has joined #ocaml
BitPuffin has joined #ocaml
kakadu has quit [Remote host closed the connection]
nomicflux has quit [Quit: nomicflux]
hdon has joined #ocaml
dhil has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
<exarkun>
Given `f : ?x:'a -> unit` and `x : 'a option`, is there a shortcut (avoiding pattern matching) to call f with x?
<Armael>
f ?x
<exarkun>
thanks
tarptaeya has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
sh0t has joined #ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
_berke_ has joined #ocaml
spew has joined #ocaml
dakk has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
jrslepak_ has joined #ocaml
jrslepak has quit [Disconnected by services]
jrslepak_ is now known as jrslepak
MercurialAlchemi has joined #ocaml
tilpner has quit [Quit: :wq]
pmetzger has joined #ocaml
dakk has quit [Ping timeout: 240 seconds]
tilpner has joined #ocaml
pierpal has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
pierpal has quit [Ping timeout: 256 seconds]
jrslepak has quit [Quit: Lost terminal]
govg has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
pierpal has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 248 seconds]
MercurialAlchemi has joined #ocaml
dhil has joined #ocaml
kuwze_ has joined #ocaml
govg has joined #ocaml
govg has quit [Ping timeout: 248 seconds]
spew has joined #ocaml
dedgrant has joined #ocaml
dedgrant_ has quit [Ping timeout: 256 seconds]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
govg has joined #ocaml
pmetzger has quit []
jrslepak has joined #ocaml
jnavila has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
invrsi has quit [Ping timeout: 255 seconds]
hdon has joined #ocaml
Geekingfrog has quit [Ping timeout: 260 seconds]
pitastrudl has quit [Ping timeout: 276 seconds]
Geekingfrog has joined #ocaml
hdon has quit [Ping timeout: 264 seconds]
pitastrudl has joined #ocaml
invrsi has joined #ocaml
pmetzger has joined #ocaml
m4lvin_ has quit [Read error: Connection reset by peer]
m4lvin has joined #ocaml
exarkun has joined #ocaml
dakk has joined #ocaml
pmetzger has quit []
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
dakk has quit [Remote host closed the connection]
dakk has joined #ocaml
argent_smith has joined #ocaml
dxtr has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
<remix2000[m]>
Hiyas! What libraries do we have for interfacing with REST APIs?
pierpal has joined #ocaml
zv has quit [Ping timeout: 240 seconds]
moolc has quit [Ping timeout: 268 seconds]
tarptaeya_ has joined #ocaml
kuwze_ has quit [Ping timeout: 260 seconds]
tarptaeya__ has joined #ocaml
moolc has joined #ocaml
tarptaeya__ has quit [Client Quit]
tarptaeya has quit [Ping timeout: 240 seconds]
tarptaeya_ has quit [Ping timeout: 248 seconds]
exarkun has quit [Read error: Connection reset by peer]
webshinra_ has joined #ocaml
webshinra has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
exarkun has joined #ocaml
tarptaeya has joined #ocaml
dhil has quit [Ping timeout: 265 seconds]
tarptaeya has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
dakk has quit [Ping timeout: 256 seconds]
hdon has joined #ocaml
zv has joined #ocaml
al-damiri has joined #ocaml
<hcarty[m]>
@remix2000:matrix.org: ocurl (pretty close binding to the C libcurl API) and cohttp. I think ocamlnet has something as well
<hcarty[m]>
ocurl is pretty low-level so a GET request takes more steps than one might expect. Along with that, though, it provides an impressive/overwhelming level of flexibility
<hcarty[m]>
sh0t: I'm not sure of the exact flag spelling, but I think you need to add `-thread` or maybe `-threads` to that command
<sh0t>
hi hcarty[m] thanks for the hint. How do I add a flag to the compilation if I am using oasis?
<sh0t>
i m checking on the webpage of oasis
jimmyrcom_ has joined #ocaml
<companion_cube>
typically it's the job of ocamlbuild, which oasis relies upon
<companion_cube>
so I'd modify _tags
<sh0t>
ok thanks companion_cube thanks hcarty[m]
<sh0t>
i'll try
exarkun has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
exarkun has joined #ocaml
<sh0t>
companion_cube, but once i modify _tags should i run oasis setup again?
<exarkun>
is there an env var or some such thing that I can set to cause jbuild to add a flag to all resulting ocamlopt invocations?
Haudegen has quit [Read error: Connection reset by peer]
<companion_cube>
sh0t: I don't think so, just be careful about not modifying the part generated by oasis
<companion_cube>
theer's a whole generation thing
<sh0t>
yeah i see ok
<exarkun>
I want to build this library with -afl-instrument but there's like 50 jbuild files
jimmyrcom_ has quit [Ping timeout: 256 seconds]
<exarkun>
There's OCAMLPARAM apparently - https://caml.inria.fr/pub/docs/manual-ocaml/native.html - but what syntax does it expect? If I set it to "-afl-instrument" then I get a zillion errors: Warning 46: illegal environment variable OCAMLPARAM : missing '=' in -afl-instrument
slash_ has quit [Read error: Connection reset by peer]
<exarkun>
I fuzzed my way to `OCAMLPARAM="_,afl-instrument=1"`
<sh0t>
Hi guys, how is it that here http://why3.lri.fr/api/index_values.html there is nothing referring to arrays? How do you deal with the theory of arrays using the ml why3 api?
muelleme has joined #ocaml
<remix2000[m]>
Thank you, hcarty ! The cohttp looks interesting. And, by the way, what's the best way to parse a JSON response?
<companion_cube>
yojson
<companion_cube>
for parsing manually, otherwise there are ways to auto-generate parsers and printers from type specifications
<companion_cube>
atdgen or ppx_deriving_yojson
<remix2000[m]>
companion_cube: Big thanks. Both atd and ppx_deriving_yojson look nice. I'll look into them tomorrow.
<companion_cube>
atdgen
orbifx has joined #ocaml
moolc has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
<orbifx>
Hello all
<remix2000[m]>
companion_cube: What makes it better?
<companion_cube>
just saying it's atdgen, not atd
<remix2000[m]>
Ok, I see now… 😉
<orbifx>
anyone ever had opam fail to build a few dependencies but without any actual errors?
<orbifx>
hmm, I think I might have figured this one out
<orbifx>
how is it going companion_cube ?
<companion_cube>
pretty good
<companion_cube>
how 'bout you?
<orbifx>
All good
<orbifx>
other than that minor stall
<orbifx>
going to start my gopher server written in OCaml to test it :)
<companion_cube>
ôO
<orbifx>
woot?
<companion_cube>
gopher… in 2018‽ how quaint
<orbifx>
It's coming back. The web is going to implode, clearly :P
<companion_cube>
yeah, but instead we'll have https over blockchain
<orbifx>
web browsers are fat, even if http(s) is acceptable, it's missing the index protocol, so everyone makes their own flash, html+js+css crap
pzp has joined #ocaml
trillpoli[m] has joined #ocaml
argent_smith has quit [Quit: Leaving.]
pierpal has quit [Ping timeout: 240 seconds]
jnavila has quit [Remote host closed the connection]
dxtr has quit [Quit: leaving]
Haudegen has joined #ocaml
orbifx has quit [Ping timeout: 264 seconds]
pierpa has joined #ocaml
malina has joined #ocaml
moei has quit [Quit: Leaving...]
RalfJ has quit [Remote host closed the connection]
RalfJ has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
gtrak has quit [Ping timeout: 256 seconds]
argent_smith has joined #ocaml
argent_smith has quit [Ping timeout: 256 seconds]
dxtr has joined #ocaml
zolk3ri has quit [Quit: leaving]
kakadu has quit [Ping timeout: 260 seconds]
<rom1504>
index protocol ?
pzp has quit [Quit: Connection closed for inactivity]
argent_smith has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
Haudegen has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
BitPuffin has quit [Remote host closed the connection]