adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
smondet has quit [Ping timeout: 240 seconds]
Algebr` has quit [Ping timeout: 246 seconds]
noddy has quit [Ping timeout: 256 seconds]
xorpse has joined #ocaml
Simn has quit [Quit: Leaving]
dhil has quit [Ping timeout: 246 seconds]
dhil has joined #ocaml
xorpse has quit [Ping timeout: 240 seconds]
beaumonta has quit [*.net *.split]
clockish has quit [*.net *.split]
zozozo has quit [*.net *.split]
igitoor has quit [*.net *.split]
reynir has quit [*.net *.split]
picolino has quit [*.net *.split]
nore has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
TheAuGingembre has quit [*.net *.split]
noplamodo has quit [*.net *.split]
mami has quit [*.net *.split]
breitenj has quit [*.net *.split]
tormen has quit [*.net *.split]
mal`` has quit [*.net *.split]
kolko has quit [*.net *.split]
mattg has quit [*.net *.split]
lobo has quit [*.net *.split]
dave_tucker has quit [*.net *.split]
grandy has quit [*.net *.split]
chelfi has quit [*.net *.split]
cross has quit [*.net *.split]
Drup has quit [*.net *.split]
seliopou has quit [*.net *.split]
myst|fon has quit [*.net *.split]
stephe has quit [*.net *.split]
inr has quit [*.net *.split]
\h has quit [*.net *.split]
louisriesener has quit [*.net *.split]
cyraxjoe has quit [*.net *.split]
pigoz has quit [*.net *.split]
tobast has quit [*.net *.split]
theblatte has quit [*.net *.split]
peddie has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
jun has quit [*.net *.split]
haesbaert has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
yminsky has quit [*.net *.split]
gregoire has quit [*.net *.split]
cschneid has quit [*.net *.split]
cthuluh has quit [*.net *.split]
jkni has quit [*.net *.split]
asmanur has quit [*.net *.split]
SaidinWoT has quit [*.net *.split]
riveter has quit [*.net *.split]
bacam has quit [*.net *.split]
noplamodo_ has joined #ocaml
dmbaturin has joined #ocaml
clockish has joined #ocaml
tormen has joined #ocaml
breitenj has joined #ocaml
picolino has joined #ocaml
theblatt1 has joined #ocaml
TheAuGingembre has joined #ocaml
mami has joined #ocaml
chelfi has joined #ocaml
beaumonta has joined #ocaml
zozozo has joined #ocaml
Asmadeus has joined #ocaml
kolko has joined #ocaml
haesbaert has joined #ocaml
jun has joined #ocaml
SaidinWoT has joined #ocaml
seliopou_ has joined #ocaml
cthuluh has joined #ocaml
Asmadeus has joined #ocaml
Asmadeus has quit [Changing host]
cross has joined #ocaml
igitoor has joined #ocaml
cschneid_ has joined #ocaml
asmanur has joined #ocaml
tobast has joined #ocaml
reynir has joined #ocaml
lobo has joined #ocaml
nore has joined #ocaml
riveter has joined #ocaml
\h has joined #ocaml
louisriesener has joined #ocaml
inr has joined #ocaml
pigoz has joined #ocaml
tobiasBora has joined #ocaml
peddie has joined #ocaml
mal`` has joined #ocaml
john51 has quit [Read error: Connection reset by peer]
reynir is now known as Guest27513
lobo is now known as Guest43228
john51 has joined #ocaml
igitoor has quit [Changing host]
igitoor has joined #ocaml
Drup has joined #ocaml
grandy____ is now known as grandy
JSharp has quit [Ping timeout: 258 seconds]
rfv has quit [Ping timeout: 258 seconds]
caw has quit [Ping timeout: 258 seconds]
cyraxjoe has joined #ocaml
ggherdov has quit [Ping timeout: 258 seconds]
srcerer has quit [Ping timeout: 258 seconds]
gregoire has joined #ocaml
grandy has quit []
Guest43228 has quit [Quit: WeeChat 1.0.1]
lobo__ has joined #ocaml
lobo__ is now known as lobo
grandy has joined #ocaml
yminsky has joined #ocaml
srcerer has joined #ocaml
myst|fon has joined #ocaml
JSharp has joined #ocaml
caw has joined #ocaml
stephe has joined #ocaml
dave_tucker has joined #ocaml
ggherdov has joined #ocaml
isd has joined #ocaml
mattg has joined #ocaml
rfv has joined #ocaml
silver has quit [Read error: Connection reset by peer]
isd has quit [Ping timeout: 248 seconds]
jkni has joined #ocaml
isd has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
teknozulu_ has joined #ocaml
noddy has joined #ocaml
two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
two_wheels has joined #ocaml
noddy has quit [Ping timeout: 246 seconds]
noddy has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jlongster has joined #ocaml
NJBS has quit [Quit: Catastrophic failure.]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
moei has quit [Ping timeout: 248 seconds]
copy` has quit [Quit: Connection closed for inactivity]
govg has quit [Ping timeout: 248 seconds]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 255 seconds]
pierpa has quit [Ping timeout: 245 seconds]
two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
two_wheels has joined #ocaml
sz0 has joined #ocaml
two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
wtetzner has quit [Remote host closed the connection]
noddy has quit [Quit: WeeChat 1.6]
wtetzner has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
nomicflux has quit [Quit: nomicflux]
teknozulu_ has quit [Ping timeout: 240 seconds]
jao has quit [Remote host closed the connection]
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
maattdd__ has joined #ocaml
maicki has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 258 seconds]
maattdd__ has quit [Ping timeout: 256 seconds]
zapu has quit [Ping timeout: 248 seconds]
artart78 has quit [Ping timeout: 268 seconds]
pigoz has quit [Ping timeout: 255 seconds]
Cypi has quit [Ping timeout: 258 seconds]
artart78 has joined #ocaml
Cypi has joined #ocaml
pigoz has joined #ocaml
wtetzner has quit [Remote host closed the connection]
sz0 has quit [Quit: Connection closed for inactivity]
maicki has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zapu has joined #ocaml
MercurialAlchemi has joined #ocaml
david_shaked has joined #ocaml
<david_shaked> hey everyone
<david_shaked> does anyone have experience using qcheck?
AlexDenisov has joined #ocaml
Guest27513 has quit [Quit: WeeChat 1.4]
<david_shaked> hey
reynir has joined #ocaml
<david_shaked> hey reynir
<david_shaked> does anyone know how to check if some value is an instance of a type 'a?
maicki has joined #ocaml
jnavila has joined #ocaml
<david_shaked> (at runtime)
david_shaked has quit [Quit: Konversation terminated!]
sepp2k has joined #ocaml
<companion_cube> aww
govg has joined #ocaml
wtetzner has joined #ocaml
slash^ has joined #ocaml
wtetzner has quit [Ping timeout: 248 seconds]
Simn has joined #ocaml
rom1504 has quit [Ping timeout: 260 seconds]
moei has joined #ocaml
stux|RC-only has quit [Read error: Connection reset by peer]
vodkaInferno has quit [Read error: Connection reset by peer]
companion_square has joined #ocaml
pwzoii_ has quit [Ping timeout: 248 seconds]
ia0_ has joined #ocaml
vbmithr has joined #ocaml
jbrown has quit [Ping timeout: 248 seconds]
DanielRi1hman has joined #ocaml
freusque has quit [Ping timeout: 245 seconds]
fold4 has quit [Ping timeout: 245 seconds]
rwmjones has quit [Ping timeout: 248 seconds]
j0sh_ has quit [Ping timeout: 248 seconds]
nopf has quit [Ping timeout: 248 seconds]
cthuluh has quit [Ping timeout: 245 seconds]
average has quit [Ping timeout: 245 seconds]
sepp2k has quit [Ping timeout: 245 seconds]
k1000_ has joined #ocaml
cthuluh has joined #ocaml
vodkaInferno has joined #ocaml
stux|RC-only has joined #ocaml
rom1504 has joined #ocaml
rwmjones has joined #ocaml
rpcope has quit [*.net *.split]
so has quit [*.net *.split]
eikke has quit [*.net *.split]
Rome has quit [*.net *.split]
pitastrudl has quit [*.net *.split]
jave has quit [*.net *.split]
orbitz has quit [*.net *.split]
Johann has quit [*.net *.split]
tianon has quit [*.net *.split]
profan has quit [*.net *.split]
unbalancedparen has quit [*.net *.split]
lyxia has quit [*.net *.split]
lukky513 has quit [*.net *.split]
SIGILL has quit [*.net *.split]
sigjuice has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
emias has quit [*.net *.split]
MasseR has quit [*.net *.split]
Drup has quit [*.net *.split]
jmct has quit [*.net *.split]
banjiewen has quit [*.net *.split]
fedruantine has quit [*.net *.split]
cheater has quit [*.net *.split]
sfri has quit [*.net *.split]
ansiwen has quit [*.net *.split]
vbmithr_ has quit [*.net *.split]
jmasseo has quit [*.net *.split]
ia0 has quit [*.net *.split]
_y has quit [*.net *.split]
wagle has quit [*.net *.split]
companion_cube has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
k1000 has quit [*.net *.split]
chenglou has quit [*.net *.split]
NhanH has quit [*.net *.split]
mankyKitty has quit [*.net *.split]
yunxing has quit [*.net *.split]
pippijn has quit [*.net *.split]
relrod has quit [*.net *.split]
vinoski has quit [*.net *.split]
danieli has quit [*.net *.split]
Muzer has quit [*.net *.split]
atsampson has quit [*.net *.split]
strmpnk has quit [*.net *.split]
spion has quit [*.net *.split]
StatelessCat has quit [*.net *.split]
tg has quit [*.net *.split]
wolfcore has quit [*.net *.split]
flux has quit [*.net *.split]
maufred has quit [*.net *.split]
milodavis has quit [*.net *.split]
xaimus has quit [*.net *.split]
aantron has quit [*.net *.split]
gargawel has quit [*.net *.split]
andyc has quit [*.net *.split]
Madars has quit [*.net *.split]
rbocquet has quit [*.net *.split]
asm89 has quit [*.net *.split]
apache3 has quit [*.net *.split]
andreypopp has quit [*.net *.split]
gustav__1 has quit [*.net *.split]
ewanas has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
jyc has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
AlexRussia has quit [*.net *.split]
Leonidas has quit [*.net *.split]
thegameg has quit [*.net *.split]
rixed has quit [*.net *.split]
Nazral has quit [*.net *.split]
vishesh has quit [*.net *.split]
cantstanya has quit [*.net *.split]
eagleflo has quit [*.net *.split]
tizoc has quit [*.net *.split]
metaglog has quit [*.net *.split]
pote_ has quit [*.net *.split]
jerith has quit [*.net *.split]
maker has quit [*.net *.split]
tokenrove has quit [*.net *.split]
trevorriles has quit [*.net *.split]
pwzoii has joined #ocaml
nopf has joined #ocaml
mbrock has quit [Ping timeout: 245 seconds]
bigs_ has quit [Ping timeout: 245 seconds]
dch has quit [Ping timeout: 250 seconds]
caw has quit [Ping timeout: 250 seconds]
parataxis has quit [Ping timeout: 240 seconds]
ggherdov has quit [Ping timeout: 248 seconds]
l1x has quit [Ping timeout: 240 seconds]
JSharp has quit [Ping timeout: 245 seconds]
rfv has quit [Ping timeout: 245 seconds]
MorTal1ty has quit [Ping timeout: 245 seconds]
danieli has joined #ocaml
relrod has joined #ocaml
Drup has joined #ocaml
Muzer has joined #ocaml
profan has joined #ocaml
rixed has joined #ocaml
Leonidas has joined #ocaml
AlexRussia has joined #ocaml
orbitz has joined #ocaml
sfri has joined #ocaml
spion has joined #ocaml
xaimus has joined #ocaml
thegameg has joined #ocaml
cheater has joined #ocaml
milodavis has joined #ocaml
fedruantine has joined #ocaml
unbalancedparen has joined #ocaml
wolfcore has joined #ocaml
vinoski has joined #ocaml
pippijn has joined #ocaml
lukky513 has joined #ocaml
_y has joined #ocaml
jmasseo has joined #ocaml
wagle has joined #ocaml
jave has joined #ocaml
ansiwen has joined #ocaml
flux has joined #ocaml
atsampson has joined #ocaml
eikke has joined #ocaml
apache3 has joined #ocaml
maufred has joined #ocaml
chenglou has joined #ocaml
tg has joined #ocaml
andyc has joined #ocaml
Rome has joined #ocaml
lyxia has joined #ocaml
gargawel has joined #ocaml
Johann has joined #ocaml
pote_ has joined #ocaml
Nazral has joined #ocaml
tokenrove has joined #ocaml
tianon has joined #ocaml
vishesh has joined #ocaml
rpcope has joined #ocaml
aantron has joined #ocaml
sigjuice has joined #ocaml
Geekingfrog has joined #ocaml
maker has joined #ocaml
trevorriles has joined #ocaml
MasseR has joined #ocaml
eagleflo has joined #ocaml
rbocquet has joined #ocaml
jerith has joined #ocaml
ewanas has joined #ocaml
tizoc has joined #ocaml
metaglog has joined #ocaml
emias has joined #ocaml
gustav__1 has joined #ocaml
jyc has joined #ocaml
bernardofpc has joined #ocaml
yunxing has joined #ocaml
SIGILL has joined #ocaml
Madars has joined #ocaml
Muzer has quit [Max SendQ exceeded]
freusque has joined #ocaml
jbrown has joined #ocaml
StatelessCat has joined #ocaml
DanielRi1hman is now known as Guest62099
sepp2k has joined #ocaml
StatelessCat has quit [Changing host]
StatelessCat has joined #ocaml
pitastrudl has joined #ocaml
fold4 has joined #ocaml
yminsky has quit [Ping timeout: 258 seconds]
lopex has quit [Ping timeout: 257 seconds]
asm89 has joined #ocaml
Sorella has quit [Ping timeout: 255 seconds]
jcloud has quit [Ping timeout: 245 seconds]
j0sh has joined #ocaml
average has joined #ocaml
companion_square is now known as companion_cube
srcerer has quit [Ping timeout: 248 seconds]
msch has quit [Ping timeout: 245 seconds]
parataxis has joined #ocaml
ia0_ is now known as ia0
JSharp has joined #ocaml
mbrock has joined #ocaml
cantstanya has joined #ocaml
MorTal1ty has joined #ocaml
Muzer has joined #ocaml
andreypopp has joined #ocaml
mrallen1 has joined #ocaml
AltGr has joined #ocaml
jmct has joined #ocaml
caw has joined #ocaml
maattdd__ has joined #ocaml
yminsky has joined #ocaml
ggherdov has joined #ocaml
lopex has joined #ocaml
moei has quit [Quit: Leaving...]
dch has joined #ocaml
mankyKitty has joined #ocaml
banjiewen has joined #ocaml
rfv has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
ggherdov has quit [Excess Flood]
NhanH has joined #ocaml
l1x has joined #ocaml
bigs_ has joined #ocaml
ziyourenxiang has joined #ocaml
ggherdov has joined #ocaml
strmpnk has joined #ocaml
fre has quit [Ping timeout: 255 seconds]
jcloud has joined #ocaml
msch has joined #ocaml
bacam has joined #ocaml
Sorella has joined #ocaml
Simn has joined #ocaml
so has joined #ocaml
maker has quit [Quit: = ""]
maker has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
mengu has joined #ocaml
maicki has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mfp has joined #ocaml
wtetzner has joined #ocaml
wtetzner has quit [Ping timeout: 256 seconds]
moei has joined #ocaml
ltadeu has joined #ocaml
maicki has joined #ocaml
ltadeu has quit [Remote host closed the connection]
ltadeu has joined #ocaml
silver has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
larhat has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
larhat has quit [Client Quit]
maicki has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
foo30303 has joined #ocaml
sepp2k has quit [Quit: Leaving.]
fre has joined #ocaml
ktosiek[m] has joined #ocaml
larhat has joined #ocaml
foo30303 has quit [Ping timeout: 258 seconds]
larhat has quit [Quit: Leaving.]
jbrown has quit [Ping timeout: 240 seconds]
RonnieHolm has joined #ocaml
larhat has joined #ocaml
larhat has quit [Client Quit]
Denommus has joined #ocaml
jbrown has joined #ocaml
foo30303 has joined #ocaml
maicki has joined #ocaml
Simn has quit [Ping timeout: 240 seconds]
maicki has quit [Client Quit]
Geekingfrog has quit [Quit: ZNC 1.6.3 - http://znc.in]
Geekingfrog has joined #ocaml
shinnya has joined #ocaml
mengu has quit [Quit: Leaving...]
Denommus has quit [Ping timeout: 248 seconds]
foo30303 has quit [Quit: leaving]
sfri has quit [Remote host closed the connection]
Enjolras has joined #ocaml
<flux> soo, what's the nice way to send messages from native ocaml thread to an Lwt thread?
<Drup> flux: Lwt_preemptive ? ^^'
<flux> drup, thank you for enabling my laziness :-). I just have something I want to finish in a couple hours and still integration work left ;).
maattdd__ has quit [Quit: WeeChat 1.5]
sfri has joined #ocaml
pizou has joined #ocaml
<pizou> i'm getting # Error: Cannot find file /home/user/.opam/system/lib/easy-format/easy_format.cmx when trying to install "opam install yojson"
<companion_cube> does `opam switch` still show "system"?
<pizou> companion_cube: it's fixed now i reinstalled easy-format :) thanks
<companion_cube> ah, cool
<pizou> i have another issue though: ppx_jane is not available because your system doesn't comply with ocaml-version = "4.02.3".
<companion_cube> ah, you need a particular version of OCaml
<companion_cube> most people use `opam switch` to install a compiler via opam, btw
<companion_cube> `opam switch 4.02.3`, then `eval $(opam config env)` then `opam install ppx_jane`
<companion_cube> this will compile OCaml in ~/.opam, change the environment so as to use it, then try to install
<pizou> companion_cube: my overall goal is to install https://github.com/jfeser/L2/, i'm doing ./configure && make
<pizou> i'm trying opam switch now
<pizou> it takes a while compiling everything :)
nomicflux has joined #ocaml
<companion_cube> yeah,but could be worse ^^
<companion_cube> oh, you can also `git clone L2`, then `cd L2; opam pin add L2 .` (it will use opam to build and install L2)
<companion_cube> if the opam file is written properly, it will install the dependencies ;)
<companion_cube> (wow, this L2 seems sophisticated, glancing over the module names)
<pizou> companion_cube: yes apparently they can synthesize nice functional programs by examples (see specs folder)
<pizou> their paper got accepted at PLDI
<Drup> ah yes, I saw that paper, it seemed very interesting
freusque has quit [Ping timeout: 245 seconds]
d0nn1e has quit [Ping timeout: 255 seconds]
<companion_cube> what does it use?
jlongster has joined #ocaml
d0nn1e has joined #ocaml
<Drup> companion_cube: I don't remember the detail, you might want to just read the paper :p
<reynir> pizou: what distribution are you runniing?
<pizou> companion_cube: i got an error when using opam min add L2 . : http://pastebin.com/tUrAQQ60
<pizou> reynir: ubuntu 14.04
<reynir> OK :-)
<pizou> there may be clashes between the ocaml distribution version and the opam version
<pizou> opam pin*
* reynir has had "fun" times with opam system compiler on rolling release distros
<pizou> i get the same error "core.cmi # is not a compiled interface for this version of OCaml." when using ./configure and make
<pizou> seems like when I install core, ocamlfind gets upgraded to 1.7.1, and when i want to install L2, ocamlfind gets downgraded to 1.6.1
<companion_cube> pizou: you need to `eval $( opam config env)`
<companion_cube> this looks like you use the wrong directory
<pizou> companion_cube: i did it after the opam switch; maybe i don't really want version 4.02.3?
<pizou> alright, I've just did opam remove core; opam install core; eval $( opam config env)
<companion_cube> (the eval must be done in every terminal you use)
<pizou> I
<companion_cube> (people usually put it in their ~/.bashrc)
<Drup> (opam init should put it in your bashrc automatically, too)
<pizou> isn't opam init done only once?
ltadeu has quit [Ping timeout: 245 seconds]
<Drup> yes
ltadeu has joined #ocaml
<pizou> companion_cube: is there perhaps an issue with their opam file?
freusque has joined #ocaml
<pizou> they require "ocamlfind" {build & <= "1.6.2"}
MercurialAlchemi has quit [Ping timeout: 256 seconds]
gjaldon has joined #ocaml
<companion_cube> I don't think it's related
<pizou> ok, i'm now recompiling everything for 1.6.2
<pizou> but i still get the error with core.cmi
<companion_cube> does `opam switch` show 4.02.3 now?
<pizou> companion_cube: yes
<companion_cube> weird.
<pizou> companion_cube: on their github it's written "We rely on 4.03.0 features, so remove 4.02."
<pizou> in a commit
<companion_cube> there is probably some partial compilation state in your ~/.opam, with remnants of the previous compilation
<companion_cube> e.g. in /home/user/.opam/4.02.3/build/L2.1.0/
<pizou> companion_cube: should I do make clean in this foldeR?
<companion_cube> yes, try it
john51 has quit [Write error: Connection reset by peer]
<pizou> companion_cube: it did the clean
<companion_cube> now try the opam install again
john51_ has joined #ocaml
<pizou> companion_cube: http://pastebin.com/QaLjudyA
<companion_cube> heh
<companion_cube> in the same directory, remove _build entirely
jbrown has quit [Ping timeout: 240 seconds]
<companion_cube> ah, also `rm setup.data`
<companion_cube> (this might be the issue here)
<pizou> companion_cube: i don't see setup.data (maybe it was removed with make clean?)
<companion_cube> ah, possibly
<companion_cube> but remove _build entirely
<pizou> companion_cube: by the way if I succeed in installing L2, where will the bin file be?
<companion_cube> (oasis is nice but it's a bit stateful)
<companion_cube> pizou: in ~/.opam/4.02.3/bin probably
<pizou> companion_cube: i don't see the setup.data even after trying to install
<pizou> companion_cube: i still get the same error unfortunately
<companion_cube> this is weird, because it still tries with the "system" ocamlbuild
<jerith> What shell do you use?
<pizou> companion_cube: why does it use /usr/bin/ocamlbuild and not the opam ocamlbuild?
<jerith> If it's zsh or something you may need a "rehash" after switching.
<pizou> jerith: not sure it's yakuake/konsole, bash I think
<jerith> Maybe try "rehash" anyway. At worst it'll give you an error message.
<pizou> jerith: command not found
<jerith> Then that's not the problem.
<jerith> Hrm. Maybe you need to "./configure" or something?
<companion_cube> pizou: it should not happen if it's a bash in which the `eval` was done :/
<pizou> companion_cube: "which ocamlbuild" indeeds return ".opam/4.02.3/bin/ocamlbuild"
<companion_cube> very strange then
<pizou> indeed returns*
<pizou> sorry i got to go for now, i'll try on another system tonight
<pizou> thanks for the help :)
pizou has quit [Quit: Page closed]
jbrown has joined #ocaml
Simn has joined #ocaml
avsej has quit [Ping timeout: 240 seconds]
silver has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 256 seconds]
avsej has joined #ocaml
avsej has quit [Changing host]
avsej has joined #ocaml
silver has joined #ocaml
MercurialAlchemi has joined #ocaml
<flux> clearly next step for the automatic ocaml package compiler for different versions would be automatic bug filing if there's a version where it doesn't work
<flux> I'm not going to opam switch the slow, slow raspberry pi just because ppx_deriving gives syntax error with 4.02.1 :-)
al-damiri has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ziyourenxiang has quit [Quit: Leaving]
<flux> actually a feedback loop for opam would be great.. "configuration X failed to build", possibly even including logs. I would sign up for that, if it meant that the information would end up somewhere that would allow further invocations to Just Work(TM)
<aantron> lwt 2.7.0 is out and installable https://github.com/ocsigen/lwt/releases/tag/2.7.0
<aantron> also trying out a new announcements issue https://github.com/ocsigen/lwt/issues/309
ryanartecona has joined #ocaml
<gjaldon> I'm trying to define a pp function that follows the Alcotest.TESTABLE signature https://mirage.github.io/alcotest/Alcotest.TESTABLE.html
<gjaldon> I don't get though how to get a `t Fmt.t` type
<gjaldon> not familiar with using Fmt or Formatters in OCaml
<jerith> gjaldon: The fmt documentation is pretty good and it links to the bits of the Format docs you need to read.
<gjaldon> I got a custom type like this `[(Equal of string array); (Deleted of string array); (Added of string array)]`
<gjaldon> I want to make a formatter for that but really don't grok even the docs of Fmt
<Drup> that's just about boxes
<Drup> not format in general
RonnieHolm has quit [Read error: Connection reset by peer]
<jerith> There's an example down at the bottom that might be useful.
<jerith> In general, you probably want your printer to be something like `let pp_mytype ppf v = Format.fprintf "..." ...` with the ... filled in with something appropriate for your type.
xorpse has joined #ocaml
<jerith> For your particular type, since alcotest is apparently already using Fmt, you might want `| Equal v -> Fmt.pf ppf "Equal: %a" (Fmt.array Fmt.string) v` or something for one of the variants.
<gjaldon> jerith: thanks a lot for the help! about to head out now so will only be able to test it out in 30mins. will let you know how it goes when I get back
<gjaldon> thanks again!
<jerith> gjaldon: :-)
<jerith> I'm not an expert, but I've been learning this stuff for my own code this week.
jlongster has joined #ocaml
jnavila has quit [Ping timeout: 258 seconds]
copy` has joined #ocaml
gjaldon has quit [Ping timeout: 272 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jbrown has quit [Ping timeout: 240 seconds]
beaumonta has quit [Remote host closed the connection]
beaumonta has joined #ocaml
jbrown has joined #ocaml
jlongster has joined #ocaml
Denommus has joined #ocaml
fre has quit [Quit: WeeChat 1.6]
AlexRussia has quit [Ping timeout: 268 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexRussia has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
gjaldon has joined #ocaml
groovy2shoes has quit [Quit: Leaving]
jlongster has joined #ocaml
ryanartecona has joined #ocaml
jnavila has joined #ocaml
smondet has joined #ocaml
NJBS has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
fraggle_ has quit [Ping timeout: 240 seconds]
jbrown has quit [Ping timeout: 240 seconds]
xorpse has quit [Ping timeout: 246 seconds]
KV has joined #ocaml
cocoabean has joined #ocaml
cocoabean has quit [Client Quit]
jbrown has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jlongster has joined #ocaml
jao has joined #ocaml
P4Titan has joined #ocaml
<P4Titan> Hi all. I want to play around with ocaml by writing a tcp client/server combo
pierpa has joined #ocaml
<P4Titan> As a looked about the internet, I only found concrete examples of this using the Unix libaries that come with the standard kit
<P4Titan> Is this the prefered method to approaching client/server code when using OCaml?
ryanartecona has quit [Quit: ryanartecona]
<aantron> P4Titan: i am not exactly unbiased on this matter anymore, but i think the preferred way today is to use lwt: https://github.com/ocsigen/lwt
<aantron> you can get away with Unix as well, but you will want to be careful and make sure that you write a stereotypical single-threaded server, i.e. don't try to start a thread for handling each request
<P4Titan> from my understanding, isn't that for expressing coroutines?
<P4Titan> lwt
<aantron> yeah, that's pretty close to it
gjaldon has quit []
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
octachron has joined #ocaml
jnavila has joined #ocaml
awal is now known as afk
eikke has quit [*.net *.split]
orbitz_ has joined #ocaml
so has quit [*.net *.split]
jave has quit [*.net *.split]
Rome has quit [*.net *.split]
orbitz has quit [*.net *.split]
RomanZ5 has joined #ocaml
<P4Titan> ic, thanks!
jao has quit [Read error: Connection reset by peer]
jave has joined #ocaml
<KV> aantron, why not create a thread to handle each request with Unix.socket?
<aantron> KV: you can do that, as long as you are aware that the threads are not running in parallel (except when blocked on I/O)
<aantron> so mainly because it is misleading, and maybe not worth the cost compared to a single threaded server with your event loop (i have no measurements)
<KV> aantron, ah okay thanks. Actually have a server doing just that, that's why I wondered. But I run one server for each core and have a load balancer to distribute the requests.
<aantron> my experience in C++ was that single threaded servers are faster in many cases anyway, with one thread per core.
<aantron> yeah
<aantron> that seems right :)
jao has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
jao has quit [Remote host closed the connection]
_andre has quit [Quit: leaving]
KV has quit [Quit: WeeChat 1.5]
<flux> aantron, you mean one process per core?
<aantron> in my case yes
<flux> ppx_core doesn't build with 4.04.0 due to "Error: Unbound value Pprintast.default", any remedy?
<flux> 114.20+69 that is, 113.33.03 doesn't install due to compiler version dependency
jbrown has joined #ocaml
jlongster has joined #ocaml
KV has joined #ocaml
KV has quit [Client Quit]
KV has joined #ocaml
kakadu has joined #ocaml
jao has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
axhixh has joined #ocaml
axhixh has quit [Remote host closed the connection]
axhixh has joined #ocaml
ryanartecona has joined #ocaml
KV has quit [Ping timeout: 272 seconds]
slash^ has quit [Read error: Connection reset by peer]
axhixh has left #ocaml [#ocaml]
P4Titan has quit [Ping timeout: 255 seconds]
Denommus has quit [Quit: going home]
chindy has joined #ocaml
<chindy> what is the let%... in like in lwt for example?
<chindy> nvm found an explanation
<aantron> ok :) it is bind, and explained sooner and more clearly (hopefully) in the WIP manual
<aantron> i will link to the appropriate functions from the README once that manual is posted
ltadeu has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
LACampbell has joined #ocaml
fraggle_ has joined #ocaml
<LACampbell> how do you use jane streets Int32? it has no "add". I recall there is some syntax to use it with infix ops but I can't remember
<ollehar> LACampbell: doesn't the module has an add?
<LACampbell> ollehar: nope. "Error: Unbound value Int32.add"
<LACampbell> THere is a way to do something like "Int32(1 + 2)" but I cannot remember the exact syntax
jlongster has joined #ocaml
<Drup> LACampbell: just add a dot: Int32.(1 + 2)
<LACampbell> ah! well, Int32.(1l + 2l) but close enough
<LACampbell> I see it has 'val (+) : t -> t -> t" in the sig
<LACampbell> can I create my own operators and use them with a module like that?
<ollehar> yes
<ollehar> check the implementation of Int32, maybe?
KV has joined #ocaml
AltGr has left #ocaml [#ocaml]
KV has quit [Ping timeout: 245 seconds]
chindy has quit [Ping timeout: 248 seconds]
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
atsampson has quit [Quit: time for a new irssi!]
atsampson has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
<aantron> LACampbell: let (+) a b = ...
<aantron> though watch out with *, let (*) a b = ... parses as a comment
<LACampbell> aantron: ah. simple as that. same syntax as the vals
jbrown has joined #ocaml
freusque has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
<flux> leonidas, is there a way to retrieve user icon for chat_post_message? I guess it might be inside the json profile of the user_obj type, but I cannot get the users_info function working, possibly because users_list doesn't work
picolino has quit [Ping timeout: 246 seconds]
jao has quit [Remote host closed the connection]
picolino has joined #ocaml
KV has joined #ocaml
ohama has quit [Ping timeout: 272 seconds]
napping has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
KV has quit [Ping timeout: 240 seconds]
<napping> regarding the "cheaper C call" http://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#sec449 is @@noalloc allowed if the C function calls back into OCaml?
jao has joined #ocaml
picolino has quit [Ping timeout: 246 seconds]
Simn has quit [Ping timeout: 240 seconds]
jao has quit [Remote host closed the connection]
picolino has joined #ocaml
sz0 has joined #ocaml
ohama has joined #ocaml
napping has quit [Quit: leaving]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jbrown has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
octachron has quit [Quit: Leaving]
jbrown has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
smondet has quit [Ping timeout: 248 seconds]
kakadu has quit [Remote host closed the connection]
KV has joined #ocaml
jlongster has joined #ocaml
KV has quit [Ping timeout: 258 seconds]
jlongster has quit [Client Quit]