spew has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 265 seconds]
jmorris has quit [Remote host closed the connection]
amiloradovsky has quit [Ping timeout: 244 seconds]
sagax has quit [Remote host closed the connection]
Guest86335 has quit [Ping timeout: 272 seconds]
Guest86335 has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
ggole has joined #ocaml
terrorjack has quit [Ping timeout: 240 seconds]
rowbee has quit [Ping timeout: 240 seconds]
rowbee has joined #ocaml
terrorjack has joined #ocaml
mgsk has quit [Ping timeout: 240 seconds]
nullifidian has quit [Ping timeout: 240 seconds]
benschza has quit [Ping timeout: 240 seconds]
d_bot_ has joined #ocaml
mgsk has joined #ocaml
d_bot has quit [Ping timeout: 240 seconds]
mal`` has quit [Ping timeout: 240 seconds]
ggole- has joined #ocaml
nullifidian has joined #ocaml
leah2 has quit [Ping timeout: 240 seconds]
ggole has quit [Ping timeout: 240 seconds]
rdivyanshu has quit [Ping timeout: 240 seconds]
rdivyanshu_ has joined #ocaml
leah2 has joined #ocaml
mal`` has joined #ocaml
osa1 has joined #ocaml
osa1 has quit [Ping timeout: 258 seconds]
narimiran has joined #ocaml
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
mbuf has joined #ocaml
osa1 has joined #ocaml
Tuplanolla has joined #ocaml
dckc has quit [Ping timeout: 265 seconds]
dckc has joined #ocaml
kanishka has joined #ocaml
<kanishka>
(for reason vs scalajs question, I found some notes comparing them in reason forums, more focused on overall rather than syntax). I am curious how compiler experts decide between ocaml and alternatives when embarking on a new compiler project?
kanishka has quit [Client Quit]
laokz has joined #ocaml
narimiran has quit [Ping timeout: 258 seconds]
vicfred has quit [Quit: Leaving]
<d_bot_>
<darrenldl> ^ also curious, and would love to hear from experts
waleee-cl has joined #ocaml
<zozozo>
why has d_bot changed nick ?
Haudegen has joined #ocaml
kanishka has joined #ocaml
kanishka has quit [Client Quit]
mfp has joined #ocaml
osa1 has quit [Quit: osa1]
jnavila has joined #ocaml
narimiran has joined #ocaml
borne has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
borne has quit [Ping timeout: 272 seconds]
malc_ has joined #ocaml
<d_bot_>
<Et7f3> What is new nickname ?
<d_bot_>
<Et7f3> What is new nickname ?
<d_bot_>
<Et7f3> What is new nickname ?
malc_ has left #ocaml ["ERC (IRC client for Emacs 28.0.50)"]
Hail_Spacecake has quit [Remote host closed the connection]
Hail_Spacecake has joined #ocaml
tane has joined #ocaml
laokz has quit [Ping timeout: 258 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
amiloradovsky has joined #ocaml
mangoicedtea has joined #ocaml
<reynir>
d_bot hasn't been registered with nickserv just fyi
laokz has joined #ocaml
<d_bot_>
<Et7f3> we still receive your message
<d_bot_>
<Et7f3> @Bluddy
ldbeth has joined #ocaml
ldbeth has left #ocaml ["ERC (IRC client for Emacs 26.3)"]
amiloradovsky has quit [Ping timeout: 260 seconds]
waleee-cl has joined #ocaml
amiloradovsky has joined #ocaml
jnavila has quit [Ping timeout: 272 seconds]
jnavila has joined #ocaml
dborisog has joined #ocaml
mbuf has quit [Quit: Leaving]
laokz has quit [Quit: Leaving]
mangoicedtea has quit [Quit: Leaving]
amiloradovsky has quit [Ping timeout: 240 seconds]
Hail_Spacecake has quit [Remote host closed the connection]
Hail_Spacecake has joined #ocaml
<d_bot_>
<hcarty> Any insight into why `Tag_incomplete_match.(get_one, get_two)` say the pattern matching is not exhaustive while the match is identified as exhaustive in `Tag_complete_match`? https://gist.github.com/hcarty/9f4e7fe0d6e7310c9376cd46be752c4f
<d_bot_>
<hcarty> GADTs inside (short example though)
<d_bot_>
<hcarty> This is on OCaml 4.10.0
<d_bot_>
<hcarty> I am on OCaml 4.10.0 (edited)
Hrundi_V_Bakshi has joined #ocaml
<d_bot_>
<octachron> Outside of the module defining them, the type checker cannot know if two abstract types `a` and `b` are equal or not.
<d_bot_>
<octachron> It is advised to define and export type-level tags as `type a = private A` and `type b = private B`.
<d_bot_>
<hcarty> Ah, I knew I'd seen something about this before - thank you for the link!
<d_bot_>
<octachron> Because basically, you could have defined `One` and `Two` as:
<d_bot_>
<octachron> ```ocaml
<d_bot_>
<octachron> module Public: sig
<d_bot_>
<octachron> module One: sig type t end
<d_bot_>
<octachron> module Two: sig type t end
<d_bot_>
<octachron> end: struct
<d_bot_>
<octachron> module One = struct type t end
<d_bot_>
<octachron> module Two = One
<d_bot_>
<octachron> end
<d_bot_>
<octachron> ```
<d_bot_>
<octachron> @Bluddy , is it possible to have the bot skip block codes in discord?
<d_bot_>
<hcarty> Also, I really enjoyed the ML Workshop talk @octachron
<d_bot_>
<octachron> Thanks!
dborisog has quit [Ping timeout: 256 seconds]
<zozozo>
ah, interesting to know: reactions (such as thumb-up) are not shown by the bot (for comparison, I have a slack plugin for my irc client which show such reactions as greyed out ":+1" at the ned of messages)
<zozozo>
though, I suppose it's out of reach for the bot since that would mean editing past messages
<d_bot_>
<hcarty> Same GADT issue - is it possible to use an abstract type from a library as a GADT type-level tag somehow? `One.t` in my real use case is coming from a library and that type information is used in a `get`-like function
<d_bot_>
<craigfe> (In short: yes, it's called `__FILE__`)
vicfred has joined #ocaml
oriba has joined #ocaml
<d_bot_>
<Champiz Cooking> oh, those are just top level vars, I see, thanks
<d_bot_>
<Champiz Cooking> I have a thing that converts my ml files to coq files
<d_bot_>
<Champiz Cooking> I can tell dune to have all my ml files with `glob_files`, I don't know how to tell it that my targets are all my ml files with `.v` instead of `.ml`