companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
shinnya has quit [Ping timeout: 268 seconds]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 268 seconds]
enterprisey has joined #ocaml
dtornabene has quit [Read error: Connection reset by peer]
dtornabene_ has joined #ocaml
dtornabene_ has quit [Remote host closed the connection]
dtornabene_ has joined #ocaml
argent_smith has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
argent_smith has quit [Ping timeout: 250 seconds]
dtornabene_ has quit [Read error: Connection reset by peer]
dtornabene_ has joined #ocaml
dtornabene_ has quit [Remote host closed the connection]
dtornabene_ has joined #ocaml
dtornabene_ has quit [Remote host closed the connection]
dtornabene_ has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
enterprisey has quit [Remote host closed the connection]
enterprisey has joined #ocaml
sh0t has quit [Ping timeout: 246 seconds]
samrat has joined #ocaml
wtetzner has quit [Ping timeout: 268 seconds]
pierpa has quit [Quit: Page closed]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
argent_smith has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
mfp has quit [Ping timeout: 240 seconds]
wtetzner has joined #ocaml
wtetzner has quit [Ping timeout: 250 seconds]
wtetzner has joined #ocaml
wtetzner has quit [Ping timeout: 250 seconds]
mbuf has joined #ocaml
wtetzner has joined #ocaml
argent_smith has joined #ocaml
wtetzner has quit [Ping timeout: 240 seconds]
argent_smith has quit [Ping timeout: 240 seconds]
kerrhau has quit [Ping timeout: 250 seconds]
samrat has quit [Ping timeout: 248 seconds]
dtornabene_ has quit [Remote host closed the connection]
dtornabene_ has joined #ocaml
dtornabene_ has quit [Remote host closed the connection]
dtornabene_ has joined #ocaml
infinity0 has quit [Ping timeout: 248 seconds]
cbot_ has quit [Quit: Leaving]
zmt00 has quit [Quit: Leaving]
infinity0 has joined #ocaml
MercurialAlchemi has joined #ocaml
argent_smith has joined #ocaml
dtornabene_ has quit [Quit: Leaving]
argent_smith has quit [Ping timeout: 250 seconds]
pacak has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
samrat has joined #ocaml
mk9 has joined #ocaml
mk9_ has joined #ocaml
mk9 has quit [Ping timeout: 268 seconds]
lgd_ has joined #ocaml
fraggle_ has quit [Ping timeout: 255 seconds]
breitenj has quit [Ping timeout: 255 seconds]
lgd has quit [Ping timeout: 264 seconds]
breitenj has joined #ocaml
fraggle_ has joined #ocaml
mk9_ has quit [Quit: mk9_]
mk9_ has joined #ocaml
mk9_ has quit [Client Quit]
TheLemonMan has joined #ocaml
enterprisey has quit [Remote host closed the connection]
sapristi has joined #ocaml
<def`> 'a foo1 foo2 or 'a foo2 foo1
<def`> oups, backlog was stuck :P
<def`> sorry
TarVanimelde has joined #ocaml
TarVanimelde has quit [Client Quit]
jcelerier1 has joined #ocaml
cataska has joined #ocaml
ohama has quit [Remote host closed the connection]
ohama has joined #ocaml
cataska has quit [Client Quit]
argent_smith has joined #ocaml
dakk has joined #ocaml
freusque has joined #ocaml
argent_smith has quit [Ping timeout: 264 seconds]
johnelse is now known as johnel_away
johnel_away is now known as johnelse
sapristi has quit [Ping timeout: 240 seconds]
samrat has quit [Ping timeout: 240 seconds]
jcelerier1 has quit [Ping timeout: 246 seconds]
argent_smith has joined #ocaml
samrat has joined #ocaml
mbuf has quit [Ping timeout: 268 seconds]
zolk3ri has joined #ocaml
mbuf has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
mfp has joined #ocaml
sapristi has joined #ocaml
malina has joined #ocaml
_andre has joined #ocaml
kakadu has joined #ocaml
<Leonidas> did anyone build an neovim ocaml bridge?
<Leonidas> looking at https://github.com/neovimhaskell/nvim-hs it looks like a good match for PPX
malina has quit [Ping timeout: 248 seconds]
zaquest has quit [Remote host closed the connection]
andreas__ has joined #ocaml
malina has joined #ocaml
jaapb has joined #ocaml
averell has joined #ocaml
mk9_ has joined #ocaml
mk9_ has quit [Client Quit]
jaapb has quit [Quit: leaving]
mbuf has quit [Quit: Leaving]
zaquest has joined #ocaml
shinnya has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
mk9_ has joined #ocaml
mk9_ has quit [Quit: mk9_]
govg has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Quit: mk9]
jbrown has joined #ocaml
theblatte has quit [Ping timeout: 258 seconds]
Fardale has quit [Ping timeout: 240 seconds]
Fardale has joined #ocaml
igmp has quit [Ping timeout: 258 seconds]
igmp has joined #ocaml
theblatte has joined #ocaml
<orbifx[m]> Leonidas: I don't even know what that is about.
<Leonidas> orbifx[m]: you can interop with neovim from any program via an API which it exposes over msgpack
<orbifx[m]> Shouldn't adding `{build}` next to dependency in `depends:` make `opam install --deps-only ...` install that packages?
<orbifx[m]> Leonidas: neovim being the vim fork?
<Leonidas> orbifx[m]: exactly.
lgd_ is now known as lgd
sh0t has joined #ocaml
littleli has quit [Quit: Connection closed for inactivity]
johnelse has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
johnelse has joined #ocaml
zmt00 has joined #ocaml
Rome has quit [Changing host]
Rome has joined #ocaml
mk9 has joined #ocaml
shinnya has quit [Ping timeout: 268 seconds]
axesd9 has joined #ocaml
mk9 has quit [Client Quit]
argent_smith has quit [Quit: Leaving.]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
mk9 has joined #ocaml
mk9 has quit [Client Quit]
tane has joined #ocaml
mk9 has joined #ocaml
ohama has quit [Remote host closed the connection]
mk9 has quit [Quit: mk9]
ohama has joined #ocaml
mbuf has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
dejanr has joined #ocaml
samrat has quit [Ping timeout: 268 seconds]
mbuf has quit [Quit: Leaving]
axesd9 has quit [Ping timeout: 250 seconds]
Nazral has joined #ocaml
Jesin has joined #ocaml
wtetzner has joined #ocaml
<orbifx[m]> Is [@tailcall] applied to the function name or the whole expression when wanting to check a tailcall?
dakk has quit [Ping timeout: 250 seconds]
<companion_cube> (f [@tailcall]) x y
<companion_cube> if I remember correctly
<orbifx[m]> That's what I have. But it started raising a warning when I think it didn't used to.
slash^ has joined #ocaml
<companion_cube> ah? in a place which is a tailcall?
<orbifx[m]> Not sure. Maybe someone changed the code since I put the check there originally
<orbifx[m]> Checking now
ygrek_ has joined #ocaml
<orbifx[m]> Ok the code has been changed. Glad I put the check there now
<companion_cube> :D
<companion_cube> the warning helped!
<orbifx[m]> seems that doing `... |> if bool then ... else (f [@tailcall])` is not a tailcall
<orbifx[m]> the `if` expression is what was added, it was just `... |> (f [@tailcall])` before.
<orbifx[m]> Why is that not a tailcall?
KeyJoo has joined #ocaml
<companion_cube> ah, it might be a tailcall, but not necessarily on `f`?
<orbifx[m]> would I need to tail-check the while `if` expression somehow?
<companion_cube> I don't know if that works
<def`> orbifx[m]: can you share the whole expression?
jao has joined #ocaml
ianconnolly has joined #ocaml
<orbifx[m]> def`: https://bin.disroot.org/?645ef85e9b2f10fa#C5F5Sqf40ntFQzzyU+iIja+ZkidXyI1G9/5B5C7yR3w=
<orbifx[m]> oops, def your back-tick makes Riot lose it's marbles :P
<orbifx[m]> its*
<def`> orbifx[m]: syntactically, you call is not a taillcall anymore
<def`> you should have written `... |> if bool then ... else (f [@tailcall]) x`
<def`> for which it is "obvious" it is not tail :P
<def`> try with `... |> (if ... else subscription m s) [@tailcall]`
<orbifx[m]> I'll try that
<orbifx[m]> I have moved the branching outwith that pipe chain, because it will work just as well
<def`> also yes:)
<orbifx[m]> but I will try what you suggested to see if it works
jao has quit [Ping timeout: 250 seconds]
<orbifx[m]> says that tailcall cannot appear in that context
malina has quit [Ping timeout: 260 seconds]
<def`> maybe you need one more layer of parentheses :P
jnavila has joined #ocaml
ryanartecona has joined #ocaml
<orbifx[m]> I thought and tried that
<orbifx[m]> same warning
<companion_cube> so I suppose the [@tailcall] doesn't work on every expression :/
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
wtetzner has quit [Ping timeout: 248 seconds]
zmt00 has quit [Ping timeout: 260 seconds]
jnavila has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
sapristi has quit [Remote host closed the connection]
sapristi has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
zmt00 has joined #ocaml
dakk has joined #ocaml
wtetzner has joined #ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
dakk has quit [Ping timeout: 258 seconds]
wtetzner has quit [Ping timeout: 248 seconds]
jnavila has joined #ocaml
_andre has quit [Quit: leaving]
<orbifx[m]> Seems so
kakadu has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
SpiceGuid has joined #ocaml
SpiceGuid has quit [Client Quit]
<reynir> I made the mistake of trying to install coq on a flambda switch and now everything is swapping
slash^ has quit [Quit: Leaving]
sz0 has joined #ocaml
argent_smith has joined #ocaml
Anarchos has joined #ocaml
sapristi has quit [Remote host closed the connection]
lgd has quit [Remote host closed the connection]
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
danisfast has joined #ocaml
<danisfast> Hi, sorry to bother everyone, I've been doing some work in ocaml and js_of_ocaml and hit an issue. One of the functions I'm trying to call requires a WebGL.texture but creating a texture provides me with a WebGL.texture Js.t, is there any way to unwrap a Js.t type in js_of_ocaml?
ryanartecona has joined #ocaml
lgd has joined #ocaml
danisfast has quit [Quit: Page closed]
lgd has quit [Remote host closed the connection]
aniou_ has quit [Quit: Lost terminal]
argent_smith has quit [Quit: Leaving.]
lgd has joined #ocaml
kareeeeem has joined #ocaml
kareeeeem has quit [Client Quit]
kareeeeem has joined #ocaml
tane has quit [Quit: Leaving]
kareeeeem has quit [Client Quit]
kareeeeem has joined #ocaml
kareeeeem has left #ocaml [#ocaml]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mk9 has joined #ocaml
enterprisey has joined #ocaml
pierpa has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
ygrek_ has quit [Ping timeout: 248 seconds]
ia0 has quit [Quit: reboot]
ia0 has joined #ocaml
lgd has quit [Remote host closed the connection]
mk9_ has joined #ocaml
KeyJoo has quit [Ping timeout: 240 seconds]
mk9 has quit [Ping timeout: 268 seconds]
dakk has joined #ocaml
mk9_ has quit [Quit: mk9_]
dakk has quit [Ping timeout: 240 seconds]
kerrhau has quit [Quit: bye!]
kerrhau has joined #ocaml
kerrhau has quit [Changing host]
kerrhau has joined #ocaml
shinnya has joined #ocaml
axesd9 has joined #ocaml
wtetzner has joined #ocaml
axesd9 has quit [Quit: WeeChat 1.9.1]
kakadu has quit [Remote host closed the connection]
sgnb has quit [Ping timeout: 252 seconds]
ryanartecona has quit [Quit: ryanartecona]
cbot has joined #ocaml