adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
hlisp has joined #ocaml
olle_ has quit [Ping timeout: 260 seconds]
mal`` has joined #ocaml
olle has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
amiloradovsky has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
kark has joined #ocaml
wreed has quit [Quit: Goodbye]
raver has quit [Ping timeout: 260 seconds]
pigeonv has quit [Ping timeout: 272 seconds]
kvda has quit [Ping timeout: 256 seconds]
kvda has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
_whitelogger has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
_whitelogger has joined #ocaml
dborisog has joined #ocaml
rpcope has quit [Ping timeout: 260 seconds]
rpcope has joined #ocaml
narimiran has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
mbuf has joined #ocaml
mengu has quit [Ping timeout: 246 seconds]
TakinOver has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has joined #ocaml
eterps has joined #ocaml
mengu has quit [Ping timeout: 256 seconds]
mengu_ has joined #ocaml
raver has joined #ocaml
ferd has quit [Ping timeout: 265 seconds]
ferd has joined #ocaml
kvda has joined #ocaml
ferd has quit [Ping timeout: 260 seconds]
nullcone has joined #ocaml
tane has joined #ocaml
kvda has quit [Ping timeout: 246 seconds]
ferd has joined #ocaml
zolk3ri has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
Haudegen has joined #ocaml
kvda has joined #ocaml
ollehar_ has joined #ocaml
theglass has quit [Quit: ZNC - http://znc.in]
amiloradovsky has joined #ocaml
theglass has joined #ocaml
theglass has quit [Changing host]
theglass has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Anarchos has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
mfp has joined #ocaml
kvda has joined #ocaml
nullifidian__ has joined #ocaml
<Anarchos> github recognises my test_*.ml files as standard ml, how to make them recognized as OCaml ?
nullifidian_ has quit [Ping timeout: 258 seconds]
andreas303 has quit [Remote host closed the connection]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Anarchos> leah2 thanks
andreas303 has joined #ocaml
zolk3ri has joined #ocaml
UltraMonkey has joined #ocaml
<UltraMonkey> hello. are there any examples of Objects in the standard library of OCaml?
kvda has joined #ocaml
kvda has quit [Client Quit]
<UltraMonkey> egrep -RIi class "$(ocamlc -where)"/*.ml -- apparently not. interesting
<Anarchos> UltraMonkey no
<Anarchos> only use is in compiler, for emitting assembly on different architectures
<Anarchos> UltraMonkey i was shocked too to realize this very little use of classes inside ocaml source code itself
pigeonv has joined #ocaml
nullifidian__ is now known as nullifidian
webshinra has quit [Remote host closed the connection]
hlisp has joined #ocaml
hlisp has quit [Read error: Connection reset by peer]
jyc_ has quit [Quit: Connection closed for inactivity]
hlisp has joined #ocaml
hlisp_ has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
waleee-cl has joined #ocaml
raver has quit [Remote host closed the connection]
raver has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
hlisp_ has quit [Remote host closed the connection]
hlisp has joined #ocaml
jao has joined #ocaml
Haudegen has joined #ocaml
<ollehar_> # looks bad
<ollehar_> object#method?
<ollehar_> bah
hlisp_ has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
<Anarchos> ollehar_ well # is rather a bold glyph which harms the speed of reading
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
<ollehar_> I guess, yeah
<ollehar_> silly that such a superficial detail matters so much
<ollehar_> but here we are
<ollehar_> hashtag reasonml
hlisp has joined #ocaml
hlisp_ has quit [Ping timeout: 240 seconds]
UltraMonkey has quit [Remote host closed the connection]
hlisp has quit [Remote host closed the connection]
hlisp has joined #ocaml
solarliner has joined #ocaml
FreeBirdLjj has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
ollehar_ has quit [Ping timeout: 256 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
<flux1> we're probably here because superficial details don't matter to everyone 🤔
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
solarliner has quit [Quit: solarliner]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
catern has quit [Quit: catern]
solarliner has joined #ocaml
catern has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
zolk3ri has quit [Remote host closed the connection]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 265 seconds]
solarliner has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
mengu_ has quit [Ping timeout: 258 seconds]
Haudegen has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 246 seconds]
yomimono has quit [Ping timeout: 272 seconds]
hlisp has joined #ocaml
dborisog has quit [Ping timeout: 258 seconds]
hlisp has quit [Ping timeout: 256 seconds]
sepp2k has quit [Quit: authenticating]
sepp2k1 has joined #ocaml
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 256 seconds]
bluesung1ound has quit [Remote host closed the connection]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
<hannes> anyone know why opam switch create foo ocaml-variants.4.10.0+32bit errors ([ERROR] No compiler matching 'ocaml-variants.4.10.0+32bit' found); but ocaml-variants.4.10.0+32bit exists in opam repo, and 4.09.0+32bit works (4.09.1+32bit does not work here)?
Anarchos has joined #ocaml
<hannes> hmm, looks like opam update was missing, sorry for the noise
jgkamat has left #ocaml ["Using Circe, the loveliest of all IRC clients"]
hlisp has joined #ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]
amiloradovsky has joined #ocaml
hlisp has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
<olle> urgh
olle has quit [Quit: leaving]
rock64 has joined #ocaml
<rock64> test
<rock64> and urgh
<rock64> hm
rock64 is now known as olle
<olle> test
<olle> my program is starting to reach that size...
<olle> I'm re-purpusing old code by adding optional arguments to stuff
<companion_cube> what size? :p
<olle> nah, not big, 2k loc
<olle> but i'm starting to feel the technical debt
<companion_cube> 2kloc is not to big
wreed has joined #ocaml
mbuf has quit [Quit: Leaving]
<olle> no, for sure not
<olle> i'm just not used to structure ocaml code
<olle> no routine
<olle> cutting a shitload of corners, haha
<olle> well, my boss ain't watching
<Anarchos> olle i am at 3kloc for now
<olle> Anarchos: which domain?
<Anarchos> olle formal proof verifier (not assistant, just verifier)
<olle> oooh
<olle> fancy :)
<olle> I'm just doing an RPG randomizer ^^
<Anarchos> why is the compiler unable to detect that my guarded clause are exhaustive ?
<pigeonv> because types aren't powerful enough?
Hrundi_V_Bakshi has joined #ocaml
<Armael> Anarchos: you can write arbitrary code in guard clauses, so there's no way the compiler would be able to check them in general
<Anarchos> Armael i just put i<10 and i>=10
<Armael> Anarchos: guard clauses are just not checked for correctness
<Armael> uh
<Armael> exhaustiveness*
<Armael> it's better to use "if then else" to compare integers
solarliner has joined #ocaml
narimiran has quit [Ping timeout: 264 seconds]
<olle> Anarchos: type-level peano numbers
<olle> have fun with that
sstc has joined #ocaml
<companion_cube> it's a trap!
<olle> ;)
<olle> Anarchos: actually you can do that *fairly* easily in F*
<olle> much easier than in any other language, I'd argue, like dependent haskell or coq
<olle> (without having any experience in anything)
<companion_cube> can you really use F* if you don't have experience with FP? I somehow doubt it
<companion_cube> the learning curve must exist
<olle> companion_cube: hm? Anarchos has experience in ocaml
<olle> I assume :)
<companion_cube> yeah, yeah
<companion_cube> I was replying to your () comment
<olle> ah shit
<olle> I meant: I'm saying this without having experience in coq nor dependent haskell
<olle> otherwise I agree, FP is probably needed to get into F*
<olle> or included in it
<olle> other topic: did netcgi2 die? what's the standard cgi lib today in ocaml? if any
<companion_cube> does anyone still use cgi?!
<companion_cube> there seems to be the `cgi` lib on opam
<olle> companion_cube: what's the alternative?
<olle> ocamlnet is netcgi2, it seems
<companion_cube> anything else? :D
<olle> companion_cube: but then you have to roll your own server?
<companion_cube> sure, but most people do that, I think?
<olle> most ocaml people?
<companion_cube> the ones who do web stuff? I think so
<companion_cube> I have my own small httpd, too
<olle> hm hm
<olle> ok
<companion_cube> `cgi` might do, if that's what you want
<olle> yep
mengu has quit []
sstc has quit [Quit: WeeChat 2.8]
hlisp has joined #ocaml
hlisp has quit [Ping timeout: 260 seconds]
tane has quit [Quit: Leaving]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
Boarders_ has joined #ocaml
<Boarders_> Does anyone know if there are plans to add simd operations to ocaml, or if the compiler will already vectorise?
<companion_cube> no, and no
<Boarders_> ah ok, that is a shame
Serpent7776 has quit [Quit: leaving]
<Anarchos> Boarders_ isn't it in the native compiler emitter ?
<Boarders_> I don’t know, that is what I am asking
<Anarchos> companion_cube are you sure the native compiler doesn't optimize this case with float arrays ?
<companion_cube> pretty sure
kvda has joined #ocaml
amiloradovsky has quit [Ping timeout: 256 seconds]
<Anarchos> How to debug ocamlmerlin ?
wreed has quit [Quit: Goodbye]
smazga has quit [Ping timeout: 256 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube> I tihnk you can start it with an env variable that makes it log everything it does in a file
<companion_cube> MERLIN_LOG or something like that
jbrown has quit [Ping timeout: 265 seconds]
jbrown has joined #ocaml
osa1 has joined #ocaml
<osa1> is there an executable in a standard ocaml distribution for directly running a source code? e.g. ocamlrun but it'll compile to bytecode and run it in one step?
<pigeonv> ocaml script.ml?
<osa1> ahh, nice. thanks!
<pigeonv> there's also this wrapper: https://github.com/mjambon/ocamlscript
<pigeonv> anyway with dune it's easy to run "dune exec ./script.exe" ;)
Hrundi_V_Bakshi has quit [Ping timeout: 260 seconds]
<osa1> just 'ocaml' works perfectly for my use case, thanks!
kvda has joined #ocaml
<Anarchos> companion_cube caused i tweak it a bit to run on my ocaml-variants.4.11.0+trunk switch, but it crashes
hlisp has joined #ocaml