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
zolk3ri has quit [Quit: Lost terminal]
shinnya has quit [Ping timeout: 240 seconds]
Madars has joined #ocaml
lynn has quit []
silver_ has joined #ocaml
silver has quit [Ping timeout: 240 seconds]
infinity0 has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0 has joined #ocaml
sonologico has joined #ocaml
silver_ is now known as silver
andreas_ has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
jrslepak has quit [Read error: Connection reset by peer]
jrslepak has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]
whoman has quit [Remote host closed the connection]
whoman has joined #ocaml
dtornabene has joined #ocaml
cbot has joined #ocaml
infinity0 has joined #ocaml
whoman has quit [Remote host closed the connection]
whoman has joined #ocaml
sh0t has quit [Remote host closed the connection]
silver has quit [Read error: Connection reset by peer]
jimt has quit [Quit: leaving]
Haudegen has joined #ocaml
jimt has joined #ocaml
bartholin has quit [Ping timeout: 264 seconds]
bartholin has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
sonologico has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 268 seconds]
sonologico has joined #ocaml
<ec> did Core.Command deprecate the whole ‘spec’ interface?
<ec> I'm v. new to all this, and was following the RWO instructions, and had a vaguely-working thingamajig … stepped away for a half a month … and now it won't compile, and the documentation says “DO NOT USE” in all caps 🤣
spew has joined #ocaml
jimmyrcom has joined #ocaml
dtornabene has quit [Quit: Leaving]
govg has joined #ocaml
kerrhau has quit [Ping timeout: 256 seconds]
spew has quit [Quit: Leaving]
<flux> ec, seems like that
seliopou has quit [Ping timeout: 255 seconds]
jbrown has quit [Ping timeout: 265 seconds]
dejanr has joined #ocaml
MercurialAlchemi has joined #ocaml
cbot has quit [Quit: Leaving]
orbifx has joined #ocaml
dejanr has quit [Ping timeout: 256 seconds]
AltGr has joined #ocaml
sonologico has quit [Quit: WeeChat 1.9.1]
ziyourenxiang has joined #ocaml
argent_smith has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
cuicui has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
sapristi has joined #ocaml
mfp has joined #ocaml
zolk3ri has joined #ocaml
JeanMax has joined #ocaml
mk9 has quit [Ping timeout: 256 seconds]
zp has joined #ocaml
ziyourenxiang has quit [Ping timeout: 256 seconds]
zp has quit [Quit: Page closed]
zpe has joined #ocaml
mk9 has joined #ocaml
orbifx has quit [Quit: WeeChat 2.0.1]
kakadu has joined #ocaml
dhil has joined #ocaml
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
mk9_ is now known as mk9
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
baboum has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
_andre has joined #ocaml
abeaumont has quit [Remote host closed the connection]
jimmyrcom has quit [Ping timeout: 256 seconds]
baboum has quit [Ping timeout: 240 seconds]
<Leonidas> companion_cube: (Reading your post on caml-list) I started to annotate more and more functions as well, in Haskell style. Pretty ok, especially once I discovered a syntax that was not entirely awful.
<Leonidas> ec: the spec interface changed between v0.9 and v0.10 in a way where I gave up and used their PPX because I couldn't figure it out.
<Leonidas> I preferred the old way though, because it was similar to Cmdliner
<Leonidas> I sort of wish that the thing that happened to Dune would happen to Core/Async/Base as well.
zolk3ri has quit [Remote host closed the connection]
<_xvilka__> Leonidas: what annotations you are speaking about?
silver has joined #ocaml
shinnya has joined #ocaml
demonimin has quit [Ping timeout: 268 seconds]
demonimin has joined #ocaml
demonimin has joined #ocaml
ziyourenxiang has joined #ocaml
mk9 has joined #ocaml
baboum has joined #ocaml
<Leonidas> _xvilka__: something like let foo (a : string) (b : int) : float, but I hated the syntax for it.
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
Haudegen has quit [Read error: Connection reset by peer]
malc_ has joined #ocaml
andreas_ has joined #ocaml
seliopou has joined #ocaml
sepp2k has joined #ocaml
jbrown has joined #ocaml
dhil has joined #ocaml
Haudegen has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
<companion_cube> I do exactly this
<companion_cube> it's actually nice
<Fardale> you can write let foo : string -> int -> float = fun a b ->
dhil has quit [Ping timeout: 240 seconds]
<companion_cube> meh
<companion_cube> Leonidas: you mean base/lwt ? 0:-)
<companion_cube> (also, for base to become as standard as dune already is, they'd need to totally change the contribution model… and migrating to a stdlib is harder than migrating to a build system)
<Fardale> when jbuilder get rename ?
<jpdeplaix> last month
nopf has joined #ocaml
<Fardale> Thanks, and why dune ?
<reynir> there was a vote. There was another project or product called jbuilder...
<Leonidas> companion_cube: I prefer the arrow syntax that Fardale and also Oleg mentioned.
<Leonidas> companion_cube: Yes, but I do think that the distribution channel is what is hurting both adoption and contribution
<companion_cube> my OCaml style is looking more and more towards rust, actually
<companion_cube> annotate types the same way, use braces (well, '()') the same way…
<companion_cube> Leonidas: personnally I'd rather have containers be merged in the stdlib ;)
<Leonidas> companion_cube: considering it is much less breakage I think that has larger chances of happening.
<companion_cube> considering the inertia of the stdlib, I doubt it
<reynir> companion_cube: next minute you make an alternative syntax to make OCaml more palatable for Rust programmers and call it Rationale
<Leonidas> but that said, Core+Async work really well together where things just match up and work and the things you expect are exactly where you expect it
<Leonidas> i didn't think I would like it as much as I do
<companion_cube> reynir: the current syntax is pretty cool
BitPuffin has joined #ocaml
<companion_cube> except for the missing `end` after `match` -_-
<Leonidas> i would find an end very weird
<Leonidas> there is no let-end either
<companion_cube> I would love it
<companion_cube> let end isn't useful
<reynir> I would appreciate it, too
<companion_cube> match end is useful for nested matches
saemcro has quit [Remote host closed the connection]
<companion_cube> also, if-end
<companion_cube> fixing the two ambiguity problems in the current syntax
<companion_cube> well the current traps
<Leonidas> companion_cube: but you have that, it goes by the keyword 'begin match'
<companion_cube> I know, but it's so much more verbose
* Leonidas never uses if at all
<companion_cube> match should always have an end, imho
<companion_cube> well I do nest a lot of matches
<companion_cube> so most of them are `begin match … end`
<Leonidas> I just shift matches so the nested matches are at the end :p
<companion_cube> and I'd rather remove the begin
<companion_cube> can't do that :D
<Leonidas> camlp4 to the rescue!
<companion_cube> eek, no
<Leonidas> But I do see how this is annoying, but end is also annoying
<companion_cube> it's in Coq, and I find it nice
<companion_cube> it's also in rust
<Leonidas> I for one like the F# way where they have indentation sensitive blocks
<companion_cube> matches have braces
<Leonidas> companion_cube: you might like reason, which has match with braces
<companion_cube> no, I dislike many of their other choices
<Leonidas> companion_cube: also, you need function end as well
<companion_cube> I want OCaml, just with `end`
<companion_cube> yeah probably
<companion_cube> I just don't use `function` as much as match
<companion_cube> by far
<companion_cube> and let without end is a feature (eww SML)
<Leonidas> I think ocaml syntax is already pretty cumbersome, so I am always sceptical to make it more verbose
baboum has quit [Quit: WeeChat 2.0.1]
<companion_cube> it's not like that'd be much more verbose -_-
<companion_cube> but it'd be safer
<Leonidas> I prefer () in any case
<companion_cube> but (match …) looks super weird :/
<companion_cube> especially wrt alignment
<companion_cube> oh, also: `try … with … end` would be useful
<companion_cube> and I'd remove begin
<Leonidas> a weird end on its own line as well
<Leonidas> I rather have a ) after the last clause
<companion_cube> no, it'd be perfect with my indentation style
<companion_cube> in all these cases I use `begin end` and it's ugly af
<companion_cube> so the change is actually less verbose :D
<companion_cube> otoh I do `if … then ( … ) else ( … )`
<Leonidas> I don't think anyone can learn anything from this discussion :p
<companion_cube> oops();
<companion_cube> begin oops () end, sorry
<Leonidas> not like we can convince each other or the ocaml developers ;)
<companion_cube> o/
<companion_cube> yeah yeah, no chance
<companion_cube> otoh trolling on stdlibs is more constructive, heh? 0:-)
<Leonidas> result was added!
<Leonidas> isn't reason having its own stdlib? or do they use containers?
mk9 has quit [Ping timeout: 240 seconds]
<companion_cube> no idea
<companion_cube> bs have their weird fork of containers
<companion_cube> last time I checked
<companion_cube> I sure hope reason doesn't do the same -_-
<Leonidas> last time I looked at a reason project it reinvented commandline parsing and then closed the tab.
<companion_cube> :D
<companion_cube> damn
<adrien> do they have a companion⁴?
<Leonidas> companion_hypercube or maybe rather reasonable_companion_cube?
<Leonidas> (excuse the pun, just had to do it)
<companion_cube> classic
FreeBirdLjj has joined #ocaml
baboum has joined #ocaml
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
dhil has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
freusque has joined #ocaml
mk9 has joined #ocaml
mk9_ has joined #ocaml
malc_ has quit [Ping timeout: 260 seconds]
mk9 has quit [Ping timeout: 260 seconds]
mk9_ is now known as mk9
dhil has quit [Ping timeout: 264 seconds]
jao has joined #ocaml
mk9 has quit [Quit: mk9]
<reynir> Leonidas: it's bucklescript that has its own stdlib, but I guess most people use reason with bucklescript
freusque has quit [Quit: WeeChat 1.9.1]
sh0t has joined #ocaml
<Leonidas> reynir: I remember some talk about having a reason stdlib, you know what happened to that?
gpietro has joined #ocaml
<reynir> No, I don't remember hearing that sorry
gpietro__ has joined #ocaml
sh0t has quit [Remote host closed the connection]
gpietro__ has quit [Remote host closed the connection]
gpietro has quit [Remote host closed the connection]
sh0t has joined #ocaml
johnelse_ has quit [Ping timeout: 240 seconds]
johnelse has joined #ocaml
baboum has quit [Ping timeout: 268 seconds]
<companion_cube> well seems like travis is broken ‽
<zozozo> how so ?
<zozozo> I did have some stack overflow recently when travis tried to compile ocaml with opam1.2, but switching to opam2 solved it
malc_ has joined #ocaml
<companion_cube> well the classic travis is broken, if you prefer :)
<zozozo> ^^
xfbs has joined #ocaml
<companion_cube> can't wait for something based on docker -_-
baboum has joined #ocaml
<jpdeplaix> companion_cube: how so ?
FreeBirdLjj has quit [Remote host closed the connection]
<companion_cube> how so what?
<jpdeplaix> "travis is broken"
<companion_cube> well it fails instantly (which for travis means "after 2min") on my repos
<zozozo> companion_cube: you can always copy my new and shiny opam2 travis script ^^
<companion_cube> ^^
<companion_cube> I should read how it works, and move to docker, actually
<zozozo> but where will your dockers run ?
FreeBirdLjj has joined #ocaml
<companion_cube> on travis, but at least they'd already have opam
<companion_cube> avsm pointed me to https://github.com/mirage/ocaml-cohttp/blob/master/.travis.yml a while ago
<companion_cube> I need to dig this
ziyourenxiang has quit [Ping timeout: 256 seconds]
<zozozo> seems interesting but I find the ocaml-ci-scripts repo it points to lacks explanations about what the script do (and what they don't); for isntance, the .travis.yml you linked only executes the docker script, which is generic, so how does it know what to do ? probably pin/install the cloned local repo, but then what ?
<companion_cube> well I suppose it uses the local dockerfile of your repo
FreeBirdLjj has quit [Ping timeout: 240 seconds]
<companion_cube> and starts from the ocaml/opam-VERSION package
<companion_cube> err, image
<zozozo> I don't see the docker file for ocaml-cohttp
<jpdeplaix> zozozo: no need for one. It just uses the premade docker file from ocaml/opam:thingy_thingy and just runs the script after that
<zozozo> jpdeplaix: right, but then how does it know how to run the tests ?
<companion_cube> it opam pins it, I think
<companion_cube> hence the PACKAGE var
<zozozo> right
<jpdeplaix> and there is a TESTS variable as well
<companion_cube> I need to try this on containers…
<companion_cube> tired of the 12min builds
FreeBirdLjj has joined #ocaml
<zozozo> does it really spee dup the builds ?
<companion_cube> well you skip the whole "install opam + switch" part, so, I think it does
dhil has joined #ocaml
Jesin has joined #ocaml
xfbs has quit []
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
cuicui has quit [Quit: leaving]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
baboum has quit [Ping timeout: 256 seconds]
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
baboum has joined #ocaml
AltGr has left #ocaml [#ocaml]
slash^ has joined #ocaml
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
moei has joined #ocaml
Haudegen has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
gusgg has joined #ocaml
baboum has quit [Quit: WeeChat 2.0.1]
xfbs has joined #ocaml
jnavila has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
sapristi has quit [Ping timeout: 256 seconds]
zolk3ri has joined #ocaml
jbrown has joined #ocaml
baboum has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
gusgg has quit [Quit: Page closed]
dhil has quit [Ping timeout: 240 seconds]
baboum has quit [Quit: WeeChat 2.0.1]
kamog has joined #ocaml
JeanMax has quit [Ping timeout: 240 seconds]
JeanMax has joined #ocaml
jnavila has joined #ocaml
_andre has quit [Quit: leaving]
dejanr has joined #ocaml
argent_smith has quit [Quit: Leaving.]
slash^ has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
Jesin has quit [Ping timeout: 240 seconds]
baboum has joined #ocaml
barcabuona has quit [Ping timeout: 255 seconds]
BitPuffin has quit [Remote host closed the connection]
barcabuona has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
rbocquet has quit [Ping timeout: 276 seconds]
kerrhau has joined #ocaml
rbocquet has joined #ocaml
remexre has joined #ocaml
<remexre> Hey, are there any current issues with installing ocamlfind from utop? I'm getting "Unbound module Toploop"
<remexre> erm, installing ocamlfind from opam*
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
<remexre> Also, if I install my distro's package for it instead, I'm getting an error when building ocaml-migrate-parsetree, "File unavailable: /usr/lib/ocaml/compiler-libs/ocamlcommon.cmxa"
shinnya has joined #ocaml
<companion_cube> sounds like your compiler-libs is broken?
<remexre> It's from the distro as well, pulled in when I installed findlib from the repos
<companion_cube> ah so you're trying to have both the distro findlib and the one from opam?
<companion_cube> sounds fragile
<remexre> No, I installed the distro one when the opam one failed
<remexre> So then opam (seems to be) using the system one
<companion_cube> but you won't be able to install stuff from opam
<companion_cube> rather, I'd suggest you try to use an opam switch
<remexre> oh, okay :/
Jesin has joined #ocaml
<remexre> Okay, looks like that worked
Jesin has quit [Client Quit]
jnavila has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
<jpdeplaix> remexre: sounds like you are using archlinux
<jpdeplaix> (I've send an email to the maintainer)
kakadu has quit [Remote host closed the connection]
jimmyrcom has joined #ocaml
xfbs has quit []
<remexre> jpdeplaix: Oh, yup, I am; thanks for that!
jao has quit [Ping timeout: 240 seconds]
jimmyrcom has quit [Ping timeout: 256 seconds]
iitalics has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
sepp2k has quit [Quit: Leaving.]