adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
unyu has joined #ocaml
niklasl has quit [Quit: Nettalk6 - www.ntalk.de]
bramford has joined #ocaml
silver has quit [Read error: Connection reset by peer]
weird_error has joined #ocaml
oni_on_ion has joined #ocaml
oni-on-ion has quit [Disconnected by services]
oni_on_ion is now known as oni-on-ion
AtumT has quit [Quit: AtumT]
jao has quit [Ping timeout: 246 seconds]
mfp has quit [Ping timeout: 246 seconds]
unyu is now known as okuu
xuib has quit [Ping timeout: 268 seconds]
xuib has joined #ocaml
bartholin has quit [Ping timeout: 246 seconds]
Facebird has joined #ocaml
fengshaun has joined #ocaml
Intensitea has joined #ocaml
bartholin has joined #ocaml
fengshaun has left #ocaml ["Leaving"]
xuib has quit [Quit: xuib]
Facebird has quit [Ping timeout: 268 seconds]
AnAverageHuman has joined #ocaml
gravicappa has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
_whitelogger has joined #ocaml
Facebird has joined #ocaml
oni_on_ion has joined #ocaml
oni-on-ion has quit [Disconnected by services]
oni_on_ion is now known as oni-on-ion
sspi has quit [Ping timeout: 250 seconds]
rwmjones has quit [Ping timeout: 250 seconds]
rwmjones_ has joined #ocaml
sspi__ has joined #ocaml
mildtaste has joined #ocaml
freyr69 has joined #ocaml
pierpal has joined #ocaml
freyr69 has quit [Remote host closed the connection]
rwmjones_ is now known as rwmjones
pierpal has quit [Ping timeout: 245 seconds]
octachron has quit [Quit: ZNC 1.7.2 - https://znc.in]
octachron has joined #ocaml
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