<d_bot>
<mimoo> I think this is it, but it’s not clear how to use this
narimiran has joined #ocaml
<d_bot>
<mimoo> I guess I can’t find how to convert this to an ocaml type like bytes or string
<d_bot>
<mimoo> alright, Js_of_ocaml.Typed_array.String.of_uint8Array is the one I was looking for : )
<d_bot>
<mimoo> I'm wondering why to string though? It looks like stdlib has a `bytes` type but it's rarely used, instead string is used a lot to handle bytearrays in ocaml it looks like
<d_bot>
<mimoo> which doesn't really makes sense to me
<d_bot>
<mseri> Bytes is relatively new, strings used to be mutable. You use `string` when you need immutable arrays of bytes (or ascii strings) and bytes when you want them mutable
<d_bot>
<mseri> You can always convert a string to bytes if you need
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
pagnol has joined #ocaml
Khady has joined #ocaml
salkin-mada has joined #ocaml
Khady has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
olle has joined #ocaml
Khady has joined #ocaml
Khady has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
Coldfusion[m] has quit [Quit: Idle for 30+ days]
mxns has quit [Ping timeout: 258 seconds]
Khady has joined #ocaml
caasih has quit [Ping timeout: 276 seconds]
pmonson has quit [Ping timeout: 245 seconds]
angerman has quit [Ping timeout: 260 seconds]
higherorder__ has quit [Ping timeout: 268 seconds]
jeroud has quit [Ping timeout: 268 seconds]
metadave has quit [Ping timeout: 268 seconds]
wildsebastian has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
Khady has quit [Ping timeout: 268 seconds]
caasih has joined #ocaml
jeroud has joined #ocaml
wildsebastian has joined #ocaml
pmonson has joined #ocaml
higherorder__ has joined #ocaml
angerman has joined #ocaml
metadave has joined #ocaml
Khady has joined #ocaml
<d_bot>
<dj charlie> thank YOU for being so attentive :)) appreciated
<d_bot>
<darrenldl> : D, so it worked?
tane has joined #ocaml
Khady has quit [Ping timeout: 252 seconds]
ArthurStrong has quit [Quit: leaving]
Khady has joined #ocaml
Khady has quit [Ping timeout: 246 seconds]
hornhack has joined #ocaml
hackhorn has quit [Ping timeout: 252 seconds]
waleee-cl has joined #ocaml
sagax has quit [Ping timeout: 252 seconds]
Khady has joined #ocaml
mxns has joined #ocaml
Khady has quit [Ping timeout: 240 seconds]
<d_bot>
<dj charlie> worked like a charm :))
mxns has quit [Ping timeout: 260 seconds]
<d_bot>
<darrenldl> personally i think `Kafka_lwt` should use a different set of types altogether, to avoid confusion like this, cause it took a lot of reading for me to figure out what's wrong
<d_bot>
<darrenldl> (granted reading code on phone probably didn't help)
<adrien>
and... if we switch, that means someone available has +F on the channels :D
salkin-mada has quit [Quit: salkin-mada]
mbuf has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
Khady has joined #ocaml
cantstanya has quit [Remote host closed the connection]
Khady has quit [Ping timeout: 260 seconds]
cantstanya has joined #ocaml
Khady has joined #ocaml
mxns has quit [Ping timeout: 265 seconds]
Khady has quit [Ping timeout: 252 seconds]
mxns has joined #ocaml
nicoo has left #ocaml ["WeeChat 1.7.1"]
sagax has joined #ocaml
SoF has quit [Quit: Zzzz... Xxxx...]
SoF has joined #ocaml
SoF has quit [Client Quit]
SoF has joined #ocaml
<bronsen>
that channel is being spammed though
shmibs has quit [Quit: leaving =o]
Haudegen has quit [Quit: Bin weg.]
shmibs has joined #ocaml
shmibs has quit [Client Quit]
bartholin has quit [Quit: Leaving]
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
<cemerick>
pity about the ~death of irc, seems like discord is cemented 😞
Khady has joined #ocaml
<Tardigreat[m]>
cemerick: it's not the death of irc, it's the death of freenode, and it was inevitable ever since andrew lee stepped foot in there
<Tardigreat[m]>
most projects are moving to libera.chat or oftc
Khady has quit [Ping timeout: 265 seconds]
<Armael>
ye there's #ocaml on libera.chat :-)
<olle>
Hooray!
olle has quit [Ping timeout: 240 seconds]
yomimono has quit [Quit: leaving]
<cemerick>
Tardigreat[m]: indeed, the protocol will persist, but freenode splintering now after mozilla shut its server a while back is def an end of an era
<Tardigreat[m]>
cemerick: it will help me wade out the important projects from ones that don't matter one bit (those that move to proprietary platforms)
<Tardigreat[m]>
so i don't mind.
<Tardigreat[m]>
the projects that actually matter will stick with FLOSS processes.
<Tardigreat[m]>
those that don't i don't care about.
<d_bot>
<stab> Does anybody know how to get phantom types to play nicely with stuff like comparable in core? Cause Comparable.Make() for instance expects a module T with a type t with arity 1 but all types of the phantom type should be comparable, i guess i would have to define each phantom type say rw t and ro t as comparable?
c4rc4s has left #ocaml ["adios"]
ghosthell has left #ocaml ["Leaving"]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
<d_bot>
<octachron> @stab: one option is to erase the phantom type parameter with a GADT for the keys `type key = Key: 'a t -> key [@@unboxed]`.
Khady has joined #ocaml
Khady has quit [Ping timeout: 240 seconds]
chewbranca has quit []
Khady has joined #ocaml
<avsm[m]>
so, should we shift this channel over to libera.chat? It sounds like there have been some changes in freenode: https://libera.chat
<companion_cube>
there's already people on the other side :)
<Tardigreat[m]>
avsm: a lot of people have been moving off freenode, some to oftc, others to libera and so on
<Tardigreat[m]>
i would definitely recommend moving off freenode as they have proven themselves untrustworthy regardless of what caused it
<avsm[m]>
who has admin on this? I can find my (~1997) freenode password if not. Would be good to change the topic to point to libera.chat
Khady has quit [Ping timeout: 260 seconds]
<companion_cube>
I think adrien is still op
<Tardigreat[m]>
yeah i was about to say
<Tardigreat[m]>
adrien seems to have claimed #ocaml on libera and i think he's op here
<companion_cube>
I mean I think he's still op on both sides
<Tardigreat[m]>
mind you -- oftc does seem to be the network with more features at the moment, i feel like libera was done very quickly and is still ironing out rough edges
<Tardigreat[m]>
so if that's a non-issue, the channel is already claimed on libera and ready to go AFAIK
<companion_cube>
libera is just the natural continuation of freenode imho
<Tardigreat[m]>
i hear it's lacking any access control lists at the moment, but like i said it's probably still being ironed out. i expect that in a month or so it will be fully functional (probably even better) than freenode
<Tardigreat[m]>
in any case, freenode seems to be falling over really quickly
<companion_cube>
there's `flags` it seems
<adrien>
avsm[m]: for now I think that people can just be on both and over time the move will occur on its own (or maybe will be forced by external events)
<adrien>
there are 28 people there for now
<adrien>
and 201 here
<companion_cube>
so, the topic would help, no? :p
<adrien>
but there's one good thing on libera
<adrien>
I'm founder of the channel and that means I can give op rights to others!
<adrien>
and I'll be able to change all channel modes
<Tardigreat[m]>
adrien: mind you, some of us are here through the matrix bridge, but i'm on the other one through irc
<companion_cube>
:D
<adrien>
for instance, the mode that made chanserv remove companion_cube's +o status
<adrien>
Tardigreat[m]: right, I had forgotten the bridge was not working yet
<adrien>
but I think we have time
<companion_cube>
adrien: I deleted my freenode account
<adrien>
that doesn't matter for this
<adrien>
it was the same several months ago
<adrien>
there's a specific channel mode for that behaviour
olle has joined #ocaml
<adrien>
hmmm, I think there's a mode to give a notice to people who join
<Tardigreat[m]>
i think most channels just set a notification to move to another network and that's it
<Tardigreat[m]>
as in, topic
<rak>
adrien: /cs help set entrymsg
<adrien>
thanks!
<adrien>
21:34 -ChanServ(ChanServ@services.)- You are not authorized to execute this command.
<adrien>
topic it is :P
rak has quit [Quit: connection reset by purr]
rak has joined #ocaml
jmct has quit []
neiluj has quit [Quit: Lost terminal]
gahr has quit [Quit: leaving]
gahr has joined #ocaml
gareppa has quit [Quit: Leaving]
tjammer has quit [Quit: terminated!]
tjammer has joined #ocaml
gahr has quit [Client Quit]
gahr has joined #ocaml
greenbagels has left #ocaml ["WeeChat 2.3"]
tryte has quit [Remote host closed the connection]
tryte has joined #ocaml
neiluj has joined #ocaml
neiluj has quit [Changing host]
neiluj has joined #ocaml
neiluj has quit [Client Quit]
neiluj has joined #ocaml
neiluj has quit [Client Quit]
<olle>
[@@ derive_show]
<olle>
this just works out of the box?? oO
<companion_cube>
hu, wat?
<olle>
I added it and it compiled (with dune)
<olle>
oh, wait
<olle>
><
<olle>
it compiles whatever it is
<olle>
:(
rpcope has quit [Ping timeout: 260 seconds]
jsoo_ has quit [Ping timeout: 260 seconds]
stux|RC-- has joined #ocaml
schlaftier2 has joined #ocaml
brettgilio_ has joined #ocaml
daimrod has quit [Ping timeout: 260 seconds]
adrien has quit [Ping timeout: 260 seconds]
mro_name has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
drakonis has quit [Ping timeout: 260 seconds]
schlaftier has quit [Ping timeout: 260 seconds]
stux|RC has quit [Ping timeout: 260 seconds]
brettgilio has quit [Ping timeout: 260 seconds]
schlaftier2 is now known as schlaftier
<rak>
avsm[m]: Looking at the chanserv access list, gl still has full (founder) access rights to the channel and is online now.
jsoo has joined #ocaml
metadave has left #ocaml [#ocaml]
<olle>
OK, it works fine ^^ Good docs for deriving, and dune
Haudegen has joined #ocaml
adrien has joined #ocaml
adrien is now known as Guest26520
drakonis has joined #ocaml
<olle>
Uh, how do I reset Menhir lexing buffer after use?