adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
q9929t has joined #ocaml
keep_learning_M has joined #ocaml
q9929t has quit [Client Quit]
hio has quit [Quit: Connection closed for inactivity]
kvda has joined #ocaml
FreeBirdLjj has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
pgiarrusso has quit [Read error: Connection reset by peer]
pgiarrusso has joined #ocaml
monad_cat has quit [Ping timeout: 258 seconds]
strmpnk has quit [Ping timeout: 258 seconds]
terrorjack__ has quit [Ping timeout: 258 seconds]
niceplace has quit [Ping timeout: 258 seconds]
monad_cat has joined #ocaml
strmpnk has joined #ocaml
mfp has quit [Ping timeout: 272 seconds]
terrorjack__ has joined #ocaml
niceplace has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
rgrant has quit [Quit: rgrant]
AtumT has quit [Quit: AtumT]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
Guest87713 has quit [Changing host]
Guest87713 has joined #ocaml
Guest87713 is now known as lizzin
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrant has joined #ocaml
kvda has joined #ocaml
rgrant is now known as [rg]
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kvda has quit [Client Quit]
[rg] has quit [Quit: [rg]]
kvda has joined #ocaml
sonologico has quit [Remote host closed the connection]
lizzin has quit [Ping timeout: 245 seconds]
gravicappa has joined #ocaml
narimiran has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
mjvoge02_ has joined #ocaml
jerme__ has joined #ocaml
bytesighs_ has joined #ocaml
cemerick_ has joined #ocaml
robmyers_ has joined #ocaml
angerman_ has joined #ocaml
SrPx_ has joined #ocaml
Ankhers_ has joined #ocaml
timeless_ has joined #ocaml
flodin_ has joined #ocaml
Khady_ has joined #ocaml
mehdib_ has joined #ocaml
iorivur_ has joined #ocaml
sheijk has joined #ocaml
ZombieByte has joined #ocaml
cantstanya has quit [*.net *.split]
andreas303 has quit [*.net *.split]
nicoo has quit [*.net *.split]
klntsky has quit [*.net *.split]
iorivur has quit [*.net *.split]
robmyers has quit [*.net *.split]
jerme_ has quit [*.net *.split]
cemerick has quit [*.net *.split]
SrPx has quit [*.net *.split]
copy` has quit [*.net *.split]
bytesighs has quit [*.net *.split]
angerman has quit [*.net *.split]
timeless has quit [*.net *.split]
hdurer[m] has quit [*.net *.split]
Haudegen[m] has quit [*.net *.split]
sheijk_ has quit [*.net *.split]
flodin has quit [*.net *.split]
khady has quit [*.net *.split]
mjvoge02 has quit [*.net *.split]
Ankhers has quit [*.net *.split]
shenghi has quit [*.net *.split]
engil has quit [*.net *.split]
mehdib has quit [*.net *.split]
zozozo has quit [*.net *.split]
cemerick_ is now known as cemerick
robmyers_ is now known as robmyers
bytesighs_ is now known as bytesighs
SrPx_ is now known as SrPx
jerme__ is now known as jerme_
mjvoge02_ is now known as mjvoge02
angerman_ is now known as angerman
timeless_ is now known as timeless
gravicappa has quit [Ping timeout: 246 seconds]
Ankhers_ is now known as Ankhers
Khady_ has quit [Changing host]
Khady_ has joined #ocaml
Khady_ is now known as Khady
hdurer[m] has joined #ocaml
lizzin has joined #ocaml
engil has joined #ocaml
shenghi has joined #ocaml
lizzin is now known as Guest58726
copy` has joined #ocaml
Haudegen[m] has joined #ocaml
theglass has quit [Ping timeout: 248 seconds]
theglass has joined #ocaml
theglass has quit [Changing host]
theglass has joined #ocaml
Guest58726 has quit [Ping timeout: 272 seconds]
hio has joined #ocaml
gml8 has quit [Ping timeout: 258 seconds]
gahr has quit [Quit: leaving]
cranix has joined #ocaml
<cranix> hello
<cranix> i'm trying to install cow with opam
<cranix> but i got liblto_plugin.so not found
<cranix> when opam calls gcc to compile something
nolanv has quit [Read error: Connection reset by peer]
<cranix> search engines showed me only non relevant microcontroller toolchain related things
gahr has joined #ocaml
nolanv has joined #ocaml
<cranix> find found this file
<cranix> i added path to LD_PRELOAD
<cranix> but no luck
<cranix> gcc: fatal error: -fuse-linker-plugin, but liblto_plugin.so not found
<cranix> this is exact error
Haudegen has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
barockobamo has joined #ocaml
lizzin has joined #ocaml
lizzin is now known as Guest64062
Guest64062 has quit [Ping timeout: 248 seconds]
int-e has quit [Ping timeout: 258 seconds]
int-e has joined #ocaml
mfp has joined #ocaml
keep_learning_M has quit [Quit: This computer has gone to sleep]
<wilfredh> what's the difference between [ 1 ] and [| 1 |] in ocaml?
<hannes> wilfredh: [ ] constructs a list, [| |] an array
lizzin has joined #ocaml
lizzin is now known as Guest80672
Guest80672 has quit [Ping timeout: 245 seconds]
Haudegen has quit [Remote host closed the connection]
TC01 has quit [Ping timeout: 258 seconds]
TC01 has joined #ocaml
Jesin has quit [Ping timeout: 244 seconds]
<wilfredh> aha, thanks :)
Madars_ has joined #ocaml
Jesin has joined #ocaml
Madars has quit [Ping timeout: 264 seconds]
khodzha1 has joined #ocaml
khodzha1 has quit [Client Quit]
gravicappa has joined #ocaml
cantstanya has joined #ocaml
nicoo has joined #ocaml
lizzin has joined #ocaml
andreas303 has joined #ocaml
lizzin is now known as Guest95955
klntsky has joined #ocaml
cantstanya has quit [Ping timeout: 260 seconds]
cantstanya has joined #ocaml
cranix has left #ocaml [#ocaml]
ShalokShalom has quit [Remote host closed the connection]
Guest95955 has quit [Ping timeout: 258 seconds]
uzuki has quit [Quit: A sickening monstrous sight!]
lizzin has joined #ocaml
lizzin is now known as Guest97119
uzuki has joined #ocaml
sagax has quit [Ping timeout: 272 seconds]
sagax has joined #ocaml
Guest97119 has quit [Ping timeout: 245 seconds]
jaar has joined #ocaml
kaun_ has joined #ocaml
kapilp has left #ocaml [#ocaml]
jao has joined #ocaml
kaun_ has left #ocaml ["rcirc on GNU Emacs 26.1"]
kaun_ has joined #ocaml
kaun_ has left #ocaml ["rcirc on GNU Emacs 26.1"]
narimiran has quit [Ping timeout: 258 seconds]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
FreeBirdLjj has joined #ocaml
<simon> Haskell's HSpec has a `configFastFail = True` that exits testing after the first occurred failure. Does OUnit2 have something similar? I can't seem to find it.
<companion_cube> good question
ziyourenxiang has quit [Ping timeout: 245 seconds]
<simon> Does `val run_test_tt_main : ?exit:(int -> unit) -> test -> unit` mean that I can supply a function that terminates the test program on certain exit codes?
<companion_cube> yes but it will be called at the end, I think
<companion_cube> (so that in a unix context, if some tests fail, the test program exits with non-0)
<simon> yes, I tried. it will be called at the end.
gravicappa has quit [Ping timeout: 248 seconds]
dimitarvp has joined #ocaml
spew has joined #ocaml
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
louisg has joined #ocaml
jaar has quit [Quit: Leaving]
gravicappa has joined #ocaml
dmiles has quit [Ping timeout: 245 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
dmiles has joined #ocaml
Haudegen has joined #ocaml
barockobamo has quit [Remote host closed the connection]
shenghi has quit [Ping timeout: 272 seconds]
Jesin has quit [Quit: Leaving]
AtumT has joined #ocaml
shenghi has joined #ocaml
Jesin has joined #ocaml
Serpent7776 has joined #ocaml
ZombieByte has quit [Ping timeout: 246 seconds]
zozozo has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
andreas303 has quit [Ping timeout: 260 seconds]
andreas31 has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
iovec has joined #ocaml
lizzin has joined #ocaml
lizzin is now known as Guest57564
andreas31 has quit [Remote host closed the connection]
andreas31 has joined #ocaml
Guest57564 has quit [Ping timeout: 272 seconds]
lizzin has joined #ocaml
lizzin is now known as Guest32406
jnavila has quit [Ping timeout: 258 seconds]
Serpent7776 has quit [Quit: leaving]
Guest32406 has quit [Ping timeout: 268 seconds]
<dmbaturin> companion_cube: In Spell, there's no way to consider strings with mismatched case close ("foo", "Foo", "fOO")?
<dmbaturin> * Spelll
wilfredh has quit [Quit: Connection closed for inactivity]
<companion_cube> hmm no, I don't think so
<companion_cube> I guess you could uncapitalize_ascii everything
<dmbaturin> Yeah, but I want to implement "Bad word foo, did you mean Foo".
<companion_cube> ah!
<dmbaturin> I haven't looked into the source yet, do you think it's feasible to add support for custom comparison functions, or an option for case correction?
<companion_cube> I think in theory you could have custom distances between chars, yes
<companion_cube> (with a functor that assumes distance 1, and a functor with a more detailed argument that would let you tweak the distance)
<companion_cube> alternatively, s/custom distance/cutom edition operations/
<dmbaturin> I'll look into it then.
<companion_cube> (as long as it fits the automaton model.)
<dmbaturin> Speaking of friendlier error reporting, is there an example of using Menhir's .messages simpler than compcert's parser?
ygrek has quit [Ping timeout: 272 seconds]
<companion_cube> maybe reason? not sure
<dmbaturin> Hhm, I'll look into it.
dimitarvp has quit [Quit: Bye]
spew has quit [Quit: going home]
ocabot has quit [Ping timeout: 246 seconds]
ocabot has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
iovec has quit [Quit: Connection closed for inactivity]
rgrant has joined #ocaml
cantstanya has quit [Ping timeout: 260 seconds]
cantstanya has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
rgrant is now known as [rg]
[rg] has quit [Quit: [rg]]