rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
omni has quit [Read error: Connection reset by peer]
rak has quit [Quit: Segmentation fault (core recycled)]
rak has joined #ocaml
omni has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Read error: Connection reset by peer]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 260 seconds]
Haudegen has quit [Ping timeout: 268 seconds]
rgrinberg has joined #ocaml
<d_bot>
<Jektrix> Awesome
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 245 seconds]
<d_bot>
<cdaringe> hackin on discord vid, adding `--target-env=[nodejs|browser|isomorphic]` to jsoo. probably on for another 30 if anyone wants to pair up 🙂
hendursaga has quit [Quit: hendursaga]
hendursaga has joined #ocaml
waleee has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hyphen has quit [Ping timeout: 246 seconds]
hyphen has joined #ocaml
mbuf has joined #ocaml
zebrag has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
pmetzger has joined #ocaml
rgrinberg has quit [Client Quit]
Skyfire has quit [Quit: brb broken config]
Skyfire has joined #ocaml
pmetzger has quit [Ping timeout: 260 seconds]
hyphen has quit [Ping timeout: 260 seconds]
hyphen has joined #ocaml
hyphen has quit [Ping timeout: 264 seconds]
hyphen has joined #ocaml
gravicappa has joined #ocaml
vicfred has quit [Quit: Leaving]
pmetzger has joined #ocaml
hyphen has quit [Ping timeout: 260 seconds]
pmetzger has quit [Ping timeout: 260 seconds]
hyphen has joined #ocaml
hendursa1 has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
zozozo has quit [Quit: WeeChat 2.9]
zozozo has joined #ocaml
olle_ has joined #ocaml
Haudegen has joined #ocaml
xd1le has joined #ocaml
bartholin has joined #ocaml
gravicappa has quit [Ping timeout: 260 seconds]
bobo has quit [Quit: Konversation terminated!]
Tuplanolla has joined #ocaml
<d_bot>
<andreypopp> Curious if anyone uses vim + ocamllsp — what do you use (ALE, neovim's LSP, vim-lsp, coc, vim-lsc) and what about support for non standard LSP features like destruct and switch between impl and intf?
mro has joined #ocaml
<d_bot>
<undu> neovim with lspconfig
<d_bot>
<andreypopp> does it support non standard features?
<d_bot>
<undu> Switching doesn't work for ocamllsp 1.4.0
<d_bot>
<undu> I'm restricted to ocaml 4.10, not sure about the latest version
<d_bot>
<undu> I don't know what destruct is
<d_bot>
<andreypopp> I see it works in 1.8.x versions. I'm using ALE at the moment and contemplating adding support for ocamllsp specific features to my setup.
gravicappa has joined #ocaml
<d_bot>
<undu> I don't like ALE, development on it is difficult
<d_bot>
<andreypopp> what do you mean?
<d_bot>
<undu> I've tried separating filetypes in vim for ml, mli, mly etc and ale is the blocker
<d_bot>
<undu> The rest I've done
<d_bot>
<undu> As a user might be great
<d_bot>
<andreypopp> I actually think ALE is the most polished thing for vim/neovim ever happenned related to linters/LSP/completion...
<d_bot>
<undu> But adding changes to it is not easy
<d_bot>
<andreypopp> ah yeah, that I can agree on...
<d_bot>
<undu> Filetypes are hard coded on it, it needs hacks to change from "ocamlinterface" in the vim world to "ocaml.interface" in the lap world
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
mro has quit [Remote host closed the connection]
pmetzger has quit [Ping timeout: 246 seconds]
<nimaje>
but those files don't have a shbang, so why are they named like that?
pmetzger has joined #ocaml
<d_bot>
<wokalski> I use vim with coc and can recommend although I’m really close to switching to vscode. I just wish it was faster
bartholin has quit [Ping timeout: 260 seconds]
<d_bot>
<wokalski> When it comes to the specific features I unfortunately don’t use them
mro has joined #ocaml
bartholin has joined #ocaml
<rwmjones>
nimaje: yeah the naming is wrong
mro has quit [Remote host closed the connection]
gdd has quit [Ping timeout: 260 seconds]
gdd has joined #ocaml
xd1le has quit [Quit: xd1le]
waleee has joined #ocaml
bartholin has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
olle_ has quit [Ping timeout: 260 seconds]
waleee has quit [Ping timeout: 268 seconds]
hyphen has quit [Ping timeout: 264 seconds]
hyphen has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 245 seconds]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
pmetzger has joined #ocaml
<d_bot>
<wokalski> @andreypopp I took a brief look. it's doable in coc too, here's a command for the specific use case you mentioned: `execute 'edit' CocRequest('ocaml-lsp', 'ocamllsp/switchImplIntf', [expand('%:p')])`
<d_bot>
<Saroupille> Is it expected that going from OCaml 4.12 to OCaml 4.13.1, some type annotations are required to compile my project? I have an example where without some type annotations, the type checker fails with OCaml 4.13.1 but succeeds in OCaml 4.12.
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
<d_bot>
<octachron> Is there any `|>` involved?
<d_bot>
<undu> @andreypopp I checked my PR, it was coc that was difficult to change, ALE was quite ease to ammend
<d_bot>
<octachron> The order in which `x` and `f` are typed in `x |> f` has been changed, so if you relied on non-principal type disambiguation, you might need to add some new annotations.
waleee has joined #ocaml
adibsaad[m] has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
pmetzger has quit [Remote host closed the connection]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
shawnw has quit [Ping timeout: 268 seconds]
olle_ has joined #ocaml
bartholin has quit [Ping timeout: 260 seconds]
mro has quit [Remote host closed the connection]
bartholin has joined #ocaml
Zakkor has joined #ocaml
<Zakkor>
hi guys, this is a long shot, but any idea if there is an IRC channel for the Koka language?
hyphen has quit [Ping timeout: 260 seconds]
hyphen has joined #ocaml
<d_bot>
<Saroupille> Nop, such operator is not involved.
hyphen has quit [Read error: Connection reset by peer]
<d_bot>
<Saroupille> However my code involves first-class modules, extensibles types with GADTs
hyphen has joined #ocaml
<d_bot>
<RegularSpatula> Not sure if this question belongs here or on opam channel, but how to people deal with non-portable cram tests? Eg I use some CLI stuff (eg grep) that doesn’t work on Mac or busybox because they all have different versions of the commands
<d_bot>
<RegularSpatula> In one project I just wrote little Perl scrips rather than use the built in commands, but im wondering if there is a better way
<d_bot>
<RegularSpatula> (I’m asking because of failing opam ci tests on certain OSes)
<d_bot>
<octachron> @Saroupille : it is hard to tell without the code but since GADT and first-class modules all require explicit annotations, it sounds possible that you were unknowingly using a typechecking bug that was fixed in 4.13?
rgrinberg has joined #ocaml
<d_bot>
<Saroupille> Ok I'll try to minimise the example and open an issue.