adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
vicfred has joined #ocaml
jmorris has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
jmorris has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
mangoicedtea has quit [Quit: Leaving]
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)"]
<Serpent7776> Looks like d_bot got disconnected `07:02 < d_bot!~d_bot@2001:4802:7800:1:be76:4eff:fe20:3027 [Ping timeout: 240 seconds]`
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_> <hcarty> https://gist.github.com/hcarty/9f4e7fe0d6e7310c9376cd46be752c4f#file-more_detailed_gadt_example-ml has a somewhat simple example of what I'm trying to do in practice - `get`'s result depends on the type-level tags provided
artymort has quit [Quit: artymort]
<d_bot_> <hcarty> Is this possible without changing `One.t`/`Two.t`?
<d_bot_> <octachron> You can probably separate the identity tag from the projection type.
<d_bot_> <octachron> Which corresponds to representing `One.t` by `one` (with the added identity information) at the type level
<d_bot_> <hcarty> Makes sense, thank you very much @octachron
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
artymort has joined #ocaml
<companion_cube> @Bluddy might be worth registering the bot :p
osa1 has joined #ocaml
<zozozo> agreed, ^^
<zozozo> (well, for now I just duplicated my script config to also work for d_bot_, ^^)
narimiran has quit [Quit: leaving]
osa1 has quit [Ping timeout: 240 seconds]
ggole- has quit [Quit: Leaving]
<d_bot_> <Champiz Cooking> hi
<d_bot_> <Champiz Cooking> is there a way to get the current source file name in OCaml?
<d_bot_> <Champiz Cooking> like, there is `__LOC__` for the location
<d_bot_> <Champiz Cooking> i don't know how those things are called
<d_bot_> <craigfe> These are included in the top-level docs: https://caml.inria.fr/pub/docs/manual-ocaml/libref/Stdlib.html
<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`
<d_bot_> <Champiz Cooking> I tried
<d_bot_> <Champiz Cooking> ```
<d_bot_> <Champiz Cooking> (deps (:ml (glob_files *.ml)))
<d_bot_> <Champiz Cooking> (target %{ml}.v)
<d_bot_> <Champiz Cooking> ```
<d_bot_> <Champiz Cooking> But got
<d_bot_> <Champiz Cooking> ```
<d_bot_> <Champiz Cooking> File "dune", line 7, characters 12-15:
<d_bot_> <Champiz Cooking> 7 | (target %{ml}.v)
<d_bot_> <Champiz Cooking> ^^^
<d_bot_> <Champiz Cooking> Error: Unknown variable "ml"
<d_bot_> <Champiz Cooking> ```
<d_bot_> <Champiz Cooking> I tried
<d_bot_> <Champiz Cooking> ```
<d_bot_> <Champiz Cooking> (deps (:ml (glob_files *.ml)))
<d_bot_> <Champiz Cooking> (targets %{ml}.v)
<d_bot_> <Champiz Cooking> ```
<d_bot_> <Champiz Cooking> But got
<d_bot_> <Champiz Cooking> ```
<d_bot_> <Champiz Cooking> File "dune", line 7, characters 12-15:
<d_bot_> <Champiz Cooking> 7 | (targets %{ml}.v)
<d_bot_> <Champiz Cooking> ^^^
<d_bot_> <Champiz Cooking> Error: Unknown variable "ml"
<d_bot_> <Champiz Cooking> ``` (edited)
jnavila has quit [Quit: Konversation terminated!]
Guest86335 has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
Guest86335 has joined #ocaml
mangoicedtea has joined #ocaml
vicfred has quit [Quit: Leaving]
Jesin has quit [Quit: Leaving]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
vicfred has joined #ocaml
tane has quit [Quit: Leaving]
Jesin has joined #ocaml
_whitelogger has joined #ocaml
d0p1 has quit [Ping timeout: 260 seconds]
Tuplanolla has quit [Quit: Leaving.]