oni-on-ion has quit [Remote host closed the connection]
freyr69 has joined #ocaml
oni-on-ion has joined #ocaml
johnelse has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
<adrien>
I'm looking for code that use ocamlnet's Nethttp_client; I think there was some codesearch for ocaml but I don't remember where and whether it's up-to-date, any idea what that was?
<adrien>
(yes, I need ocamlnet because cohttp is not available on debian stretch)
<adrien>
well, I was ranting with a colleague and he asked whether there were curl bindings and that reminded me of ocurl so maybe I'll switch to that
<adrien>
documentation of ocurl is a bit dry too but the API seems a bit simpler (although it's not very clear either)
mfp has joined #ocaml
Bahman has joined #ocaml
Facebird is now known as Birdface
dhil has joined #ocaml
kakadu has joined #ocaml
_whitelogger has joined #ocaml
jbrown has joined #ocaml
silver has joined #ocaml
<freyr69>
How to make Merlin use flymake instead of flycheck?
ggole has joined #ocaml
Haudegen has joined #ocaml
tg has quit [Ping timeout: 245 seconds]
tg has joined #ocaml
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
Bahman has quit [Quit: Ave atque vale]
jao has joined #ocaml
jao is now known as Guest1955
keep_learning has quit [Remote host closed the connection]
AnAverageHuman has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
al-damiri has joined #ocaml
jbrown has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jbrown has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
nicooo has quit [Remote host closed the connection]
nicooo has joined #ocaml
freyr69 has quit [Remote host closed the connection]
<rwmjones>
has anyone ported camlp4 to 4.08?
<rwmjones>
I'm in a twisty maze of ASTs
<kit_ty_kate>
nope
<kit_ty_kate>
afaik, the state of things is "I have no short term plan to support OCaml > 4.07."
<kit_ty_kate>
rwmjones: ^
<rwmjones>
yeah it seems unsupported
<rwmjones>
unfortunately it requires some guru-level genius to port it to each new ocaml version :-(
<companion_cube>
I'm afraid the interest for camlp4 is very low these days
FreeBirdLjj has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 250 seconds]
johnelse has quit [Quit: Lost terminal]
dimitarvp has joined #ocaml
Jesin has quit [Quit: Leaving]
ygrek has joined #ocaml
jnavila has joined #ocaml
Haudegen has joined #ocaml
<kakadu>
caml5 doesn't suit the needs?
Xizor has joined #ocaml
metreo has quit [Ping timeout: 245 seconds]
dimitarvp has quit [Quit: Bye]
Jesin has joined #ocaml
okuu is now known as unyu
dhil has quit [Ping timeout: 246 seconds]
Serpent7776 has joined #ocaml
Jesin has quit [Quit: Leaving]
AtumT has joined #ocaml
Jesin has joined #ocaml
madroach has joined #ocaml
<Leonidas>
kakadu: that one is not ported to 4.08 either so given it is a fork of camlp4 I assume the issues are the same.
gravicappa has quit [Ping timeout: 246 seconds]
<octachron>
camlp5 is not a fork of camlp4
Haudegen has quit [Remote host closed the connection]
<Leonidas>
oh. I thought it was forked from camlp4 when that chanced its syntax.
kakadu_ has joined #ocaml
<Armael>
I think the interest for camlp5 is also very low these days
<Armael>
afaik the coq people were the main users of it, and they migrated away from it recently
<companion_cube>
what do they use instead?
<Armael>
a very stripped down version of its engine + some new glue code
<Armael>
they were mainly using it for the extensible grammar features
<Armael>
which is only a relatively small part of it
<Armael>
(as far as I understood)
zolk3ri has joined #ocaml
<companion_cube>
ah, so they integrated it directly into Coq? makes sense
<bartholin>
It's the Coq notation system, isn't it?
Facebird has joined #ocaml
Birdface has quit [Ping timeout: 240 seconds]
<Armael>
yeah
Facebird has quit [Ping timeout: 240 seconds]
<Armael>
(that includes the vernacular / tactic notations)
Haudegen has joined #ocaml
pierpal has joined #ocaml
ggole has quit [Quit: Leaving]
ale64bit has joined #ocaml
Birdface has joined #ocaml
ale64bit has quit [Ping timeout: 250 seconds]
Birdface has quit [Ping timeout: 276 seconds]
Birdface has joined #ocaml
jnavila has quit [Remote host closed the connection]
Birdface has quit [Ping timeout: 250 seconds]
Serpent7776 has quit [Quit: leaving]
oni-on-ion has joined #ocaml
Guest1955 has quit [Remote host closed the connection]
jao has joined #ocaml
jao is now known as Guest76995
Birdface has joined #ocaml
c4rc4s has quit [Ping timeout: 264 seconds]
dh_work has joined #ocaml
<dh_work>
has anyone used the ocaml interface to z3?
Facebird has joined #ocaml
<dh_work>
i am trying to extract an array from a model result and nothing is working
Birdface has quit [Ping timeout: 250 seconds]
c4rc4s has joined #ocaml
Byrdface has joined #ocaml
Byrdface has quit [Client Quit]
Facebird has quit [Ping timeout: 240 seconds]
Haudegen has quit [Remote host closed the connection]
kakadu_ has quit [Remote host closed the connection]
<dh_work>
guess not :-(
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
<companion_cube>
it's a pain
<companion_cube>
especially with recent z3 where it gives abck a function
zolk3ri has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
AtumT has quit [Quit: AtumT]
silver has quit [Quit: rakede]
<dh_work>
it's giving me back an object in the list of constants such that get_const_interp throws an exception telling me to use FuncInterp, and using get_func_interp throws an exception saying it's not an array constant.
<dh_work>
so I'm not sure how to do anything else useful
<oni-on-ion>
possible to make it an array constant ?
<dh_work>
no idea how
<dh_work>
it's a function declaration object
<dh_work>
or rather, its ocaml type is Z3.FuncDecl