companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
amiloradovsky has quit [Ping timeout: 240 seconds]
spew has quit [Quit: Connection closed for inactivity]
borne has quit [Ping timeout: 272 seconds]
wingsorc has quit [Ping timeout: 240 seconds]
laokz has joined #ocaml
_whitelogger has joined #ocaml
hellome has joined #ocaml
<hellome> hello all, I am new to ocaml and trying to understand. let f a b c d = a.(if b then c else d)
<hellome> why d is int?
<d_bot> <Bluddy> hellome: you're using array indexing code. a.(0) will index the array a at index 0. So both c and d must be integers.
<hellome> d_bot thanks
nikamika has joined #ocaml
hellome has quit [Remote host closed the connection]
nikamika has quit [Ping timeout: 245 seconds]
mmohammadi981266 has joined #ocaml
mmohammadi981266 has quit [Quit: I quit (╯°□°)╯︵ ┻━┻]
waleee-cl has quit [Quit: Connection closed for inactivity]
asdsad has joined #ocaml
<asdsad> hey guys let f a b c d e = e .(if e.(1) then a a else b d )
<asdsad> what is type c
<asdsad> I think it can be anything
delysin has quit [Ping timeout: 256 seconds]
asdsad has quit [Remote host closed the connection]
adasdsd has joined #ocaml
adasdsd has quit [Ping timeout: 245 seconds]
narimiran has joined #ocaml
laokz has quit [Quit: Leaving]
Serpent7776 has joined #ocaml
bglm[m] has quit [Quit: killed]
lnxw37d4 has quit [Quit: killed]
Manis[m] has quit [Quit: killed]
jimt[m] has quit [Quit: killed]
sepp2k has quit [Quit: killed]
BitPuffin has quit [Quit: killed]
ansiwen[m] has quit [Quit: killed]
talyian[m] has quit [Quit: killed]
aterius has quit [Quit: killed]
dash has quit [Quit: killed]
quizzop[m] has quit [Quit: killed]
labor[m] has quit [Quit: killed]
aspiwack[m] has quit [Quit: killed]
xzax_[m] has quit [Quit: killed]
peddie has quit [Quit: killed]
aecepoglu[m] has quit [Quit: killed]
flux has quit [Quit: killed]
pqwy[m] has quit [Quit: killed]
osa1 has joined #ocaml
aecepoglu[m] has joined #ocaml
mmohammadi981266 has joined #ocaml
decentpenguin has quit [Read error: Connection reset by peer]
decentpenguin has joined #ocaml
Haudegen has joined #ocaml
laokz has joined #ocaml
cloveistaken has joined #ocaml
_whitelogger has joined #ocaml
bglm[m] has joined #ocaml
labor[m] has joined #ocaml
Manis[m] has joined #ocaml
sepp2k has joined #ocaml
dash has joined #ocaml
aspiwack[m] has joined #ocaml
xzax_[m] has joined #ocaml
aterius has joined #ocaml
BitPuffin has joined #ocaml
flux has joined #ocaml
peddie has joined #ocaml
ansiwen[m] has joined #ocaml
pqwy[m] has joined #ocaml
quizzop[m] has joined #ocaml
talyian[m] has joined #ocaml
lnxw37d4 has joined #ocaml
jimt[m] has joined #ocaml
Tuplanolla has joined #ocaml
bartholin has joined #ocaml
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
borne has joined #ocaml
<Leonidas> this does not type
<d_bot> <Mando> Hi guys
<d_bot> <Mando> So I was wondering why trying to construct a record in another module will lead to unbound fields error
<d_bot> <Mando> nvm I figured it out
<d_bot> <Mando> apparently it was only a type alias
bartholin has quit [Quit: Leaving]
laokz has quit [Ping timeout: 256 seconds]
ansiwen[m] has quit [Quit: Idle for 30+ days]
zebrag has joined #ocaml
inkbottle has quit [Ping timeout: 272 seconds]
rfv has quit [Ping timeout: 260 seconds]
mrallen1 has quit [Ping timeout: 260 seconds]
rfv has joined #ocaml
mrallen1 has joined #ocaml
h112 has joined #ocaml
h11 has quit [Read error: Connection reset by peer]
h112 is now known as h11
laokz has joined #ocaml
delysin has joined #ocaml
worc3131 has quit [Ping timeout: 272 seconds]
jbrown has joined #ocaml
laokz has quit [Ping timeout: 258 seconds]
narimiran has quit [Ping timeout: 258 seconds]
wingsorc has joined #ocaml
laokz has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
waleee-cl has joined #ocaml
spew has joined #ocaml
mbuf has joined #ocaml
andreas303 has quit [Ping timeout: 240 seconds]
andreas303 has joined #ocaml
mmohammadi981266 has quit [Quit: I quit (╯°□°)╯︵ ┻━┻]
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
hnOsmium0001 has joined #ocaml
tane has joined #ocaml
narimiran has joined #ocaml
laokz has quit [Quit: Leaving]
sm2n has quit [Read error: Connection reset by peer]
sm2n has joined #ocaml
mbuf has quit [Quit: Leaving]
dckc has quit [Ping timeout: 272 seconds]
dckc has joined #ocaml
rain1 has quit [Quit: Leaving]
hannes has quit [Ping timeout: 256 seconds]
hannes has joined #ocaml
decentpenguin has quit [Quit: ZNC crashed or something]
decentpenguin has joined #ocaml
borne has quit [Ping timeout: 260 seconds]
decentpenguin has quit [Quit: ZNC crashed or something]
decentpenguin has joined #ocaml
vicfred has joined #ocaml
osa1 has quit [Remote host closed the connection]
<d_bot> <Lupus> won't this explode when called from another domain?
<d_bot> <Lupus> I'm following this blog post: https://sudha247.github.io/2020/10/01/lwt-multicore/
<d_bot> <Lupus> original documentation on `Lwt_preemptive.detach` states the following:
<d_bot> <Lupus> ```
<d_bot> <Lupus> detach f x runs the computation f x in a separate preemptive thread. detach evaluates to an Lwt promise, which is pending until the preemptive thread completes.
<d_bot> <Lupus>
<d_bot> <Lupus> Note that Lwt thread-local storage (i.e., Lwt.with_value) cannot be safely used from within f. The same goes for most of the rest of Lwt. If you need to run an Lwt thread in f, use Lwt_preemptive.run_in_main.
<d_bot> <Lupus> ```
kanishka has joined #ocaml
<d_bot> <Lupus> oh my
<d_bot> <Lupus> a bunch of real mutexes are probably the secret sauce
jnavila has joined #ocaml
vicfred has quit [Ping timeout: 256 seconds]
borne has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
Anarchos has joined #ocaml
kanishka has quit [Remote host closed the connection]
jnavila has quit [Quit: Konversation terminated!]
Serpent7776 has quit [Quit: leaving]
amiloradovsky has joined #ocaml
decentpenguin has quit [Quit: ZNC crashed or something]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
borne has quit [Ping timeout: 272 seconds]
decentpenguin has joined #ocaml
borne has joined #ocaml
worc3131 has joined #ocaml
tane has quit [Quit: Leaving]
worc3131 has quit [Ping timeout: 272 seconds]
sonologico has quit [Remote host closed the connection]
peterbb has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]
cloveistaken has quit [Ping timeout: 244 seconds]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
peterbb has quit [Quit: peterbb]
Tuplanolla has quit [Ping timeout: 260 seconds]
decentpenguin has quit [Quit: ZNC crashed or something]
decentpenguin has joined #ocaml
vicfred has joined #ocaml
decentpenguin has quit [Quit: ZNC crashed or something]
Haudegen has quit [Quit: Bin weg.]
amiloradovsky has quit [Ping timeout: 240 seconds]