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)
<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
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