00:01
silver_ has quit [Read error: Connection reset by peer]
00:10
VermillionAzure has quit [Ping timeout: 248 seconds]
00:10
ousado has joined #ocaml
00:18
shinnya has quit [Ping timeout: 256 seconds]
00:23
kakadu has quit [Remote host closed the connection]
00:29
FreeBirdLjj has joined #ocaml
00:33
FreeBirdLjj has quit [Ping timeout: 240 seconds]
00:40
infinity0_ has joined #ocaml
00:40
infinity0 has quit [Ping timeout: 240 seconds]
00:40
infinity0_ has quit [Changing host]
00:40
infinity0 has joined #ocaml
00:49
sh0t has quit [Remote host closed the connection]
00:51
bartholin has quit [Ping timeout: 264 seconds]
01:08
spew has joined #ocaml
01:08
mfp has quit [Ping timeout: 252 seconds]
01:08
VermillionAzure has joined #ocaml
01:22
pierpa has joined #ocaml
01:22
jao has joined #ocaml
01:29
VermillionAzure has quit [Ping timeout: 264 seconds]
01:43
VermillionAzure has joined #ocaml
01:44
spew has quit [Quit: Leaving]
02:33
VermillionAzure has quit [Ping timeout: 240 seconds]
03:45
govg has joined #ocaml
03:54
jao has quit [Ping timeout: 252 seconds]
04:18
jbrown has quit [Ping timeout: 260 seconds]
05:03
cbot has joined #ocaml
05:10
spew has joined #ocaml
05:54
mbuf has joined #ocaml
06:14
sonologico has quit [Quit: WeeChat 1.9.1]
06:26
pierpa has quit [Quit: Page closed]
06:33
spew has quit [Quit: Leaving]
06:40
MercurialAlchemi has joined #ocaml
07:23
ninegrid has quit [Quit: leaving]
07:30
barcabuona has joined #ocaml
07:54
Haudegen has joined #ocaml
08:04
argent_smith has joined #ocaml
08:10
cbot has quit [Quit: Leaving]
08:18
bartholin has joined #ocaml
08:30
AltGr has joined #ocaml
08:55
mfp has joined #ocaml
08:56
mk9 has joined #ocaml
09:06
argent_smith has quit [Read error: Connection reset by peer]
09:08
argent_smith has joined #ocaml
09:10
zolk3ri has joined #ocaml
09:14
argent_smith1 has joined #ocaml
09:16
argent_smith has quit [Ping timeout: 240 seconds]
09:16
mk9 has quit [Quit: mk9]
09:18
argent_smith has joined #ocaml
09:19
argent_smith1 has quit [Ping timeout: 246 seconds]
09:30
zpe has joined #ocaml
09:32
zpe has quit [Remote host closed the connection]
09:42
xfbs has joined #ocaml
09:46
xfbs has quit [Client Quit]
09:50
webshinra_ is now known as webshinra
10:08
TarVanimelde has joined #ocaml
10:29
zolk3ri has quit [Quit: leaving]
10:32
dhil has joined #ocaml
10:35
zpe has joined #ocaml
10:36
zpe has quit [Remote host closed the connection]
10:49
TarVanimelde has quit [Quit: TarVanimelde]
10:52
mk9 has joined #ocaml
10:52
ziyourenxiang has joined #ocaml
10:55
noplamodo has joined #ocaml
10:55
noplamodo_ has quit [Read error: Connection reset by peer]
10:56
whoman has quit [Remote host closed the connection]
10:58
mk9 has quit [Remote host closed the connection]
11:03
mk9 has joined #ocaml
11:19
silver has joined #ocaml
11:19
Haudegen has quit [Remote host closed the connection]
11:23
lynn has joined #ocaml
11:29
_andre has joined #ocaml
11:37
kamog has joined #ocaml
11:37
cuicui has joined #ocaml
11:44
kakadu has joined #ocaml
11:44
kakadu has quit [Remote host closed the connection]
11:56
letoh has quit [Ping timeout: 256 seconds]
12:05
zpe has joined #ocaml
12:13
xfbs has joined #ocaml
12:20
Haudegen has joined #ocaml
12:37
andreas_ has joined #ocaml
12:39
rwmjones|hol is now known as rwmjones
12:45
govg has quit [Ping timeout: 252 seconds]
13:00
shinnya has joined #ocaml
13:12
mbuf has quit [Quit: Leaving]
13:13
letoh has joined #ocaml
13:15
dhil has quit [Ping timeout: 256 seconds]
13:29
mk9_ has joined #ocaml
13:30
jao has joined #ocaml
13:30
mk9 has quit [Ping timeout: 256 seconds]
13:30
mk9_ is now known as mk9
13:31
mk9 has quit [Client Quit]
13:33
zpe has quit [Remote host closed the connection]
13:37
mk9 has joined #ocaml
13:50
jbrown has joined #ocaml
13:57
dhil has joined #ocaml
13:58
jbrown has quit [Ping timeout: 240 seconds]
14:01
jbrown has joined #ocaml
14:14
mk9_ has joined #ocaml
14:15
mk9 has quit [Ping timeout: 264 seconds]
14:15
mk9_ is now known as mk9
14:23
Haudegen has quit [Read error: Connection reset by peer]
14:25
kamog has quit [Ping timeout: 252 seconds]
14:31
shinnya has quit [Ping timeout: 276 seconds]
14:36
Haudegen has joined #ocaml
14:39
sh0t has joined #ocaml
14:46
zpe has joined #ocaml
14:57
FreeBirdLjj has joined #ocaml
14:57
MercurialAlchemi has quit [Ping timeout: 268 seconds]
15:00
baboum has joined #ocaml
15:57
sepp2k has joined #ocaml
16:04
dhil has quit [Ping timeout: 240 seconds]
16:10
zpe has quit [Remote host closed the connection]
16:21
BitPuffin has joined #ocaml
16:40
kolko has quit [Ping timeout: 256 seconds]
16:41
ziyourenxiang has quit [Ping timeout: 248 seconds]
16:41
mk9 has quit [Quit: mk9]
16:43
Haudegen has quit [Read error: Connection reset by peer]
16:43
xfbs has joined #ocaml
16:52
Algebr has joined #ocaml
16:56
FreeBirdLjj has quit [Remote host closed the connection]
16:56
FreeBirdLjj has joined #ocaml
17:00
nicoo has quit [Ping timeout: 255 seconds]
17:01
FreeBirdLjj has quit [Ping timeout: 240 seconds]
17:04
philtor has joined #ocaml
17:11
jao has quit [Remote host closed the connection]
17:17
cuicui has quit [Quit: leaving]
17:18
jao has joined #ocaml
17:22
malc_ has joined #ocaml
17:23
jao has quit [Remote host closed the connection]
17:23
Jesin has joined #ocaml
17:24
jao has joined #ocaml
17:27
whoman has joined #ocaml
17:29
dhil has joined #ocaml
17:41
nicoo has joined #ocaml
17:42
Haudegen has joined #ocaml
17:54
Anarchos has joined #ocaml
18:02
Algebr has quit [Remote host closed the connection]
18:21
sonologico has joined #ocaml
18:31
jimt_ has joined #ocaml
18:33
slash^ has joined #ocaml
18:33
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
18:34
jimt has quit [Ping timeout: 248 seconds]
18:34
andreas_ has quit [Quit: Connection closed for inactivity]
18:44
olle has joined #ocaml
18:48
<
olle >
what's this [something] syntax?
18:48
dhil has quit [Ping timeout: 240 seconds]
18:49
<
Armael >
it's a list with a single element
18:52
<
olle >
anyone seens this?
18:52
<
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
18:52
<
olle >
reason-cli fuckup?
18:55
<
reynir >
considering the path I would have guessed permission issues, but the message suggests otherwise
18:57
<
olle >
will try to uninstall reason-cli
18:57
<
olle >
yep, now it worked.
18:57
<
olle >
death to reason-cli and npm!
18:59
<
reynir >
(what is reason-cli)
18:59
<
olle >
reynir: uh, not sure, something related to facebook's ocaml dialect reason
19:00
<
reynir >
there's a 'reason' package on opam that (AFAIK) doesn't use npm
19:05
<
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.
19:06
<
olle >
which ocamlfind --> /home/olle/.opam/4.03.0+flambda/bin/ocamlfind
19:06
andreas_ has joined #ocaml
19:07
<
olle >
should I remove my non-opam ocamlfind package?
19:09
<
olle >
OK, now the makefile can't find the ocamlfind command, although I can run it from commandline myself.
19:10
<
companion_cube >
be sure to eval `opam config env`
19:11
<
olle >
did not help
19:12
<
olle >
another package that generates json functions from type defs?
19:12
<
olle >
like "type a = {bla bla bla} with json"
19:12
<
olle >
yojson doesn't seem to have it.
19:13
<
companion_cube >
ppx_deriving_yojson
19:14
<
olle >
companion_cube: any example code online?
19:14
<
companion_cube >
in the readme of ppx_deriving_yojson :p
19:14
<
olle >
right, just saw it
19:16
<
olle >
companion_cube: deriving would also replace dyntype, I take it?
19:16
mk9 has joined #ocaml
19:16
<
companion_cube >
I don't know, never used dyntype
19:16
<
companion_cube >
sounds dirty tho
19:17
mk9 has quit [Client Quit]
19:19
<
olle >
is camlp4 deprecated?
19:19
<
olle >
or, disabled?
19:19
<
companion_cube >
more or less
19:20
<
companion_cube >
deprecated
19:25
<
olle >
camlp4 can't handle [@@deriving] ?
19:25
jnavila has joined #ocaml
19:26
shinnya has joined #ocaml
19:27
<
olle >
urgh. old code base. too many changes.\
19:30
john51 has quit [Read error: Connection reset by peer]
19:31
john51 has joined #ocaml
19:34
zolk3ri has joined #ocaml
19:40
kakadu has joined #ocaml
19:45
<
olle >
do I have to run eval opam init in makefile, too?
19:45
BitPuffin has quit [Remote host closed the connection]
19:47
zpe has joined #ocaml
19:48
AltGr has left #ocaml [#ocaml]
19:49
<
olle >
hm. maybe some problem with the makefile config. works in test.
20:01
<
olle >
jesus christ, it compiled!
20:07
slash^ has quit [Read error: Connection reset by peer]
20:25
mk9 has joined #ocaml
20:25
_andre has quit [Quit: leaving]
20:28
<
sh0t >
hi guys i am getting this at run time:
20:28
<
sh0t >
symbol lookup error: ./prog undefined symbol: Z3_solver_from_file
20:31
<
sh0t >
it seems the problem is my z3 installation?
20:31
<
sh0t >
i just opam-installed it
20:35
<
companion_cube >
olle: try to use a proper build system when you can ;)
20:39
whoman has quit [Quit: Leaving]
20:40
zpe has quit [Remote host closed the connection]
20:42
Algebr has joined #ocaml
20:49
<
olle >
companion_cube: I know, I know.
20:49
<
olle >
sh0t: can you run z3?
20:51
<
sh0t >
olle yes i can run z3
20:54
<
sh0t >
it says some symbols are undefined
20:56
argent_smith has quit [Quit: Leaving.]
21:08
mk9 has quit [Quit: mk9]
21:09
mk9 has joined #ocaml
21:30
VermillionAzure has joined #ocaml
21:45
<
companion_cube >
you might have a discrepancy between the installed libz3.so and the OCaml bindings?
21:49
<
sh0t >
companion_cube, it might be i just don't really know how to see that
21:49
<
sh0t >
(i m not very expert on OCaml)
21:54
VermillionAzure has quit [Ping timeout: 252 seconds]
22:00
jnavila has quit [Quit: Konversation terminated!]
22:18
Jesin has quit [Quit: Leaving]
22:19
Haudegen has quit [Remote host closed the connection]
22:21
steve_ has joined #ocaml
22:22
<
steve_ >
Does someone here has experience with working as a freelancer with OCaml ?
22:32
spew has joined #ocaml
22:38
Haudegen has joined #ocaml
22:41
zolk3ri has quit [Remote host closed the connection]
22:42
cbot has joined #ocaml
22:45
spew has quit [Read error: Connection reset by peer]
23:01
moei has quit [Quit: Leaving...]
23:06
sz0 has joined #ocaml
23:06
Algebr has quit [Remote host closed the connection]
23:13
barcabuona has quit [Ping timeout: 256 seconds]
23:16
steve_ has quit [Ping timeout: 260 seconds]
23:17
bartholin has quit [Ping timeout: 260 seconds]
23:26
kakadu has quit [Remote host closed the connection]
23:34
andreas_ has quit [Quit: Connection closed for inactivity]
23:36
VermillionAzure has joined #ocaml
23:41
mk9 has quit [Quit: mk9]
23:42
jmiven has quit [Quit: co'o]
23:44
jmiven has joined #ocaml
23:45
zozozo has quit [*.net *.split]
23:45
CcxWrk has quit [*.net *.split]
23:45
ski has quit [*.net *.split]
23:49
whoman has joined #ocaml
23:49
hooman has joined #ocaml
23:51
zozozo has joined #ocaml
23:51
CcxWrk has joined #ocaml
23:51
ski has joined #ocaml
23:57
hooman has quit [Quit: Leaving]