ollehar has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
jbrown has quit [Ping timeout: 240 seconds]
nicoo has joined #ocaml
Jesin has joined #ocaml
kleisli_ has quit [Ping timeout: 272 seconds]
kgop has joined #ocaml
kleisli_ has joined #ocaml
shinzo has left #ocaml [#ocaml]
borne has quit [Ping timeout: 240 seconds]
<
d_bot>
<Eric J Morey> Is anyone familiar with VSCode OCaml Platform by Ocaml Labs? Trying to make something work with WSL Debian using VS Code.
mfp has quit [Ping timeout: 272 seconds]
borne has joined #ocaml
borne has quit [Ping timeout: 272 seconds]
kgop has quit [Ping timeout: 272 seconds]
narimiran has joined #ocaml
kleisli_ has quit [Ping timeout: 240 seconds]
Guest86335 has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
kleisli_ has joined #ocaml
ggole has joined #ocaml
osa1 has joined #ocaml
dborisog has joined #ocaml
ggole has quit [Read error: Connection timed out]
ggole has joined #ocaml
kleisli__ has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
kleisli_ has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
sagax has quit [Remote host closed the connection]
Haudegen has joined #ocaml
sagax has joined #ocaml
osa1 has quit [Ping timeout: 256 seconds]
osa1 has joined #ocaml
dborisog has quit [Ping timeout: 272 seconds]
borne has joined #ocaml
copy has quit [Ping timeout: 256 seconds]
copy has joined #ocaml
mbuf has quit [Ping timeout: 264 seconds]
osa1 has quit [Ping timeout: 240 seconds]
osa1 has joined #ocaml
olle has joined #ocaml
vicfred has quit [Quit: Leaving]
reynir has quit [Ping timeout: 260 seconds]
reynir has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
mbuf has joined #ocaml
dckc has quit [Ping timeout: 272 seconds]
dckc has joined #ocaml
jbrown has joined #ocaml
mfp has joined #ocaml
greenbagels has quit [Ping timeout: 256 seconds]
nullcone has quit [Quit: Connection closed for inactivity]
greenbagels has joined #ocaml
Haudegen has joined #ocaml
worc3131 has quit [Ping timeout: 260 seconds]
TheRuralJuror has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
eureton has joined #ocaml
eureton has quit [Client Quit]
bartholin has joined #ocaml
mbuf has quit [Quit: Leaving]
spew has joined #ocaml
worc3131 has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
osa1 has quit [Client Quit]
kleisli__ has quit [Ping timeout: 240 seconds]
vicfred has joined #ocaml
waleee-cl has joined #ocaml
dckc has quit [Ping timeout: 244 seconds]
narimiran has quit [Ping timeout: 272 seconds]
dckc has joined #ocaml
kleisli__ has joined #ocaml
<
d_bot>
<ostera> does utop provide anything like `:apropos` in Idris? 🤔
<
d_bot>
<ostera> eg, a search through all the types, values, and docs of both of those
borne has quit [Ping timeout: 244 seconds]
TheRuralJuror has quit [Ping timeout: 272 seconds]
<
d_bot>
<rgrinberg> Nope.
osa1 has joined #ocaml
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
<
cemerick>
🚨 looks like ocaml.org's SSL cert expired today 🚨
<
companion_cube>
it regularly does
Tuplanolla has joined #ocaml
ggole has quit [Quit: Leaving]
<
d_bot>
<wtetzner> Does anyone know the precedence of `:` in an expression?
<
companion_cube>
I think you need to put () around casts anyway
<
cemerick>
companion_cube: that's weird, it's a 3-month letsencrypt cert, but not set up to autorenew etc
<
d_bot>
<cemerick> @wtetzner yeah, `:` isn't an operator, so "precedence" isn't a question really
<
d_bot>
<cemerick> `(expr : typeexpr)`
<
d_bot>
<wtetzner> OK, thanks.
<
d_bot>
<wtetzner> I guess then at least conceptually it has the lowest precedence.
<
d_bot>
<wtetzner> Oh wait
<
d_bot>
<wtetzner> I see, parens are required in the syntax
<
d_bot>
<wtetzner> cool
<
companion_cube>
full form is `(e : ty :> ty2)` btw :p
<
companion_cube>
(for upcasts, which are rare unless you use {objects, poly variants})
olle has quit [Ping timeout: 265 seconds]
narimiran has joined #ocaml
Haudegen has joined #ocaml
mbuf has joined #ocaml
<
mbuf>
Is there a Caml.Either module with Stdlib?
kleisli_ has joined #ocaml
<
mbuf>
And equivalent for Either.First from Base that exists in Stdlib?
<
d_bot>
<stab> companion_cube: Sorry can you explain that a bit more not sure I follow
<
companion_cube>
there's Result
kleisli__ has quit [Ping timeout: 240 seconds]
<
companion_cube>
stab: explain what?
<
Armael>
there will be a Either module in 4.12
<
d_bot>
<stab> Are you saying that’s for expression the same thing as polymorphic variants like [< ‘a ‘b] that kinda thing?
<
d_bot>
<stab> The upcasting part
<
companion_cube>
ah, yes
<
companion_cube>
if `x: [`A|`B]` you can upcast x into `[`A|`B|`C]` with this syntax
<
Armael>
mbuf: Caml.* comes from Base
<
d_bot>
<stab> Ah that makes some sense
<
Armael>
and I guess base hasn't been ported to work on trunk yet?
<
d_bot>
<stab> Thanks!
Guest86335 has joined #ocaml
<
companion_cube>
dang, the stdlib is going faster than containers now? :p
<
mbuf>
companion_cube, What is the equivalent of Either.First and Either.Second in the Result module?
<
companion_cube>
Ok and Error
<
mbuf>
companion_cube, is it Result.ok and Result.error respectively?
<
companion_cube>
with caps, they are constructors
<
mbuf>
companion_cube, I should be using caps here, right?
<
companion_cube>
Result.Ok and Result.Error
<
mbuf>
companion_cube, thanks!
mbuf has quit [Quit: Leaving]
jnavila has joined #ocaml
andreas303 has quit [Remote host closed the connection]
SquidDev has quit [Ping timeout: 256 seconds]
SquidDev has joined #ocaml
andreas303 has joined #ocaml
<
cemerick>
"there will be a Either module in 4.12" << nice
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
motherfsck has quit [Quit: quit]
Guest86335 has quit [Quit: WeeChat 2.8]
osa1 has quit [Ping timeout: 272 seconds]
<
ollehar>
help: what's a use-case for module-private fields (but not file-private)?
<
companion_cube>
wait, isn't it the feature you were asking about?
<
companion_cube>
what was your use case?
reynir1 has joined #ocaml
reynir has quit [Ping timeout: 244 seconds]
reynir1 is now known as reynir
<
ollehar>
companion_cube: I had a use-case for module-private + interfaces in separate files
<
ollehar>
but now I want to push for only module-private (namespace-private class properties)
<
ollehar>
the use-case before was adding separate toString() methods for a class, one to show for users, one for debugging.
jnavila has quit [Quit: Konversation terminated!]
<
ollehar>
Swift has "internal" access level for modules, I've been told.
narimiran has quit [Quit: leaving]
<
ollehar>
Gonna google that for examples
borne has joined #ocaml
Serpent7776 has quit [Quit: leaving]
inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 264 seconds]
sonologico has quit [Read error: Connection reset by peer]
sonologico has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
borne has quit [Ping timeout: 240 seconds]