adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
silver_ has quit [Read error: Connection reset by peer]
VermillionAzure has quit [Ping timeout: 248 seconds]
ousado has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
kakadu has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]
infinity0_ has quit [Changing host]
infinity0 has joined #ocaml
sh0t has quit [Remote host closed the connection]
bartholin has quit [Ping timeout: 264 seconds]
spew has joined #ocaml
mfp has quit [Ping timeout: 252 seconds]
VermillionAzure has joined #ocaml
pierpa has joined #ocaml
jao has joined #ocaml
VermillionAzure has quit [Ping timeout: 264 seconds]
VermillionAzure has joined #ocaml
spew has quit [Quit: Leaving]
VermillionAzure has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
jbrown has quit [Ping timeout: 260 seconds]
cbot has joined #ocaml
spew has joined #ocaml
mbuf has joined #ocaml
sonologico has quit [Quit: WeeChat 1.9.1]
pierpa has quit [Quit: Page closed]
spew has quit [Quit: Leaving]
MercurialAlchemi has joined #ocaml
ninegrid has quit [Quit: leaving]
barcabuona has joined #ocaml
Haudegen has joined #ocaml
argent_smith has joined #ocaml
cbot has quit [Quit: Leaving]
bartholin has joined #ocaml
AltGr has joined #ocaml
mfp has joined #ocaml
mk9 has joined #ocaml
argent_smith has quit [Read error: Connection reset by peer]
argent_smith has joined #ocaml
zolk3ri has joined #ocaml
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
mk9 has quit [Quit: mk9]
argent_smith has joined #ocaml
argent_smith1 has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
xfbs has joined #ocaml
xfbs has quit [Client Quit]
webshinra_ is now known as webshinra
TarVanimelde has joined #ocaml
zolk3ri has quit [Quit: leaving]
dhil has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
TarVanimelde has quit [Quit: TarVanimelde]
mk9 has joined #ocaml
ziyourenxiang has joined #ocaml
noplamodo has joined #ocaml
noplamodo_ has quit [Read error: Connection reset by peer]
whoman has quit [Remote host closed the connection]
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
silver has joined #ocaml
Haudegen has quit [Remote host closed the connection]
lynn has joined #ocaml
_andre has joined #ocaml
kamog has joined #ocaml
cuicui has joined #ocaml
kakadu has joined #ocaml
kakadu has quit [Remote host closed the connection]
letoh has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
xfbs has joined #ocaml
Haudegen has joined #ocaml
andreas_ has joined #ocaml
rwmjones|hol is now known as rwmjones
govg has quit [Ping timeout: 252 seconds]
shinnya has joined #ocaml
mbuf has quit [Quit: Leaving]
letoh has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
mk9_ has joined #ocaml
jao has joined #ocaml
mk9 has quit [Ping timeout: 256 seconds]
mk9_ is now known as mk9
mk9 has quit [Client Quit]
zpe has quit [Remote host closed the connection]
mk9 has joined #ocaml
jbrown has joined #ocaml
dhil has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 264 seconds]
mk9_ is now known as mk9
Haudegen has quit [Read error: Connection reset by peer]
kamog has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
sh0t has joined #ocaml
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 268 seconds]
baboum has joined #ocaml
sepp2k has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
zpe has quit [Remote host closed the connection]
xfbs has quit []
BitPuffin has joined #ocaml
kolko has quit [Ping timeout: 256 seconds]
ziyourenxiang has quit [Ping timeout: 248 seconds]
mk9 has quit [Quit: mk9]
Haudegen has quit [Read error: Connection reset by peer]
xfbs has joined #ocaml
Algebr has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
nicoo has quit [Ping timeout: 255 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
philtor has joined #ocaml
jao has quit [Remote host closed the connection]
cuicui has quit [Quit: leaving]
jao has joined #ocaml
malc_ has joined #ocaml
jao has quit [Remote host closed the connection]
Jesin has joined #ocaml
jao has joined #ocaml
whoman has joined #ocaml
dhil has joined #ocaml
nicoo has joined #ocaml
Haudegen has joined #ocaml
Anarchos has joined #ocaml
Algebr has quit [Remote host closed the connection]
sonologico has joined #ocaml
jimt_ has joined #ocaml
slash^ has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
jimt has quit [Ping timeout: 248 seconds]
andreas_ has quit [Quit: Connection closed for inactivity]
olle has joined #ocaml
<olle> what's this [something] syntax?
<olle> namespace?
<olle> new?
dhil has quit [Ping timeout: 240 seconds]
<olle> [json]
<Armael> it's a list with a single element
<Drup> :D
<Armael> :D
<reynir> o/ olle
<olle> ouch
<olle> haha
<olle> anyone seens this?
<olle> ocamlfind: Bad configuration: Cannot mkdir /usr/local/lib/node_modules/reason-cli/.bin/../rel/node_modules/.cache/_esy/store/s/reason_cli_actual-1.13.7-0c16a1ac/lib/json-tc because a path component does not exist or is not a directory
<olle> reason-cli fuckup?
<reynir> considering the path I would have guessed permission issues, but the message suggests otherwise
<olle> will try to uninstall reason-cli
<olle> yep, now it worked.
<olle> death to reason-cli and npm!
<olle> ----E
<olle> \o/
<reynir> heh
<reynir> (what is reason-cli)
<olle> reynir: uh, not sure, something related to facebook's ocaml dialect reason
<olle> ReasonML
<reynir> there's a 'reason' package on opam that (AFAIK) doesn't use npm
<olle> ok
<olle> eh, so. running "make install" on package json-tc installs the package for /usr/bin/ocamlfind, but I'm using my local .opam ocamlfind.
<olle> which ocamlfind --> /home/olle/.opam/4.03.0+flambda/bin/ocamlfind
andreas_ has joined #ocaml
<olle> should I remove my non-opam ocamlfind package?
<olle> testing...
<olle> OK, now the makefile can't find the ocamlfind command, although I can run it from commandline myself.
<companion_cube> be sure to eval `opam config env`
<olle> did not help
<olle> :P
<olle> another package that generates json functions from type defs?
<olle> like "type a = {bla bla bla} with json"
<olle> yojson doesn't seem to have it.
<companion_cube> ppx_deriving_yojson
<olle> hm hm
<olle> companion_cube: any example code online?
<companion_cube> in the readme of ppx_deriving_yojson :p
<olle> right, just saw it
<olle> thank you.
<olle> companion_cube: deriving would also replace dyntype, I take it?
mk9 has joined #ocaml
<companion_cube> I don't know, never used dyntype
<companion_cube> sounds dirty tho
mk9 has quit [Client Quit]
<olle> ok
<olle> is camlp4 deprecated?
<olle> or, disabled?
<companion_cube> more or less
<companion_cube> deprecated
<olle> ok
<olle> thanks
<olle> camlp4 can't handle [@@deriving] ?
jnavila has joined #ocaml
shinnya has joined #ocaml
<olle> urgh. old code base. too many changes.\
john51 has quit [Read error: Connection reset by peer]
john51 has joined #ocaml
zolk3ri has joined #ocaml
kakadu has joined #ocaml
<olle> do I have to run eval opam init in makefile, too?
BitPuffin has quit [Remote host closed the connection]
zpe has joined #ocaml
AltGr has left #ocaml [#ocaml]
<olle> hm. maybe some problem with the makefile config. works in test.
<olle> jesus christ, it compiled!
<olle> whoho!
slash^ has quit [Read error: Connection reset by peer]
mk9 has joined #ocaml
_andre has quit [Quit: leaving]
<sh0t> hi guys i am getting this at run time:
<sh0t> symbol lookup error: ./prog undefined symbol: Z3_solver_from_file
<sh0t> it seems the problem is my z3 installation?
<sh0t> i just opam-installed it
<companion_cube> olle: try to use a proper build system when you can ;)
whoman has quit [Quit: Leaving]
zpe has quit [Remote host closed the connection]
Algebr has joined #ocaml
xfbs has quit []
<olle> companion_cube: I know, I know.
<olle> sh0t: can you run z3?
<olle> check ldd?
<sh0t> olle yes i can run z3
<sh0t> it says some symbols are undefined
argent_smith has quit [Quit: Leaving.]
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
VermillionAzure has joined #ocaml
<companion_cube> you might have a discrepancy between the installed libz3.so and the OCaml bindings?
<sh0t> companion_cube, it might be i just don't really know how to see that
<sh0t> (i m not very expert on OCaml)
VermillionAzure has quit [Ping timeout: 252 seconds]
jnavila has quit [Quit: Konversation terminated!]
Jesin has quit [Quit: Leaving]
Haudegen has quit [Remote host closed the connection]
steve_ has joined #ocaml
<steve_> Does someone here has experience with working as a freelancer with OCaml ?
spew has joined #ocaml
Haudegen has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
cbot has joined #ocaml
spew has quit [Read error: Connection reset by peer]
moei has quit [Quit: Leaving...]
sz0 has joined #ocaml
Algebr has quit [Remote host closed the connection]
barcabuona has quit [Ping timeout: 256 seconds]
steve_ has quit [Ping timeout: 260 seconds]
bartholin has quit [Ping timeout: 260 seconds]
kakadu has quit [Remote host closed the connection]
andreas_ has quit [Quit: Connection closed for inactivity]
VermillionAzure has joined #ocaml
mk9 has quit [Quit: mk9]
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
zozozo has quit [*.net *.split]
CcxWrk has quit [*.net *.split]
ski has quit [*.net *.split]
whoman has joined #ocaml
hooman has joined #ocaml
zozozo has joined #ocaml
CcxWrk has joined #ocaml
ski has joined #ocaml
hooman has quit [Quit: Leaving]