<theblatte>
trying to use 2.1 with OPAMCLI=2.0 doesn't seem to work with the opam-lock package? opam: lock was added in version 2.1 of the opam CLI, but version 2.0 has been requested, which is older.
<d_bot>
<Skilly> hi, how do I type annotate a lambda/its arguments?
<vsiles>
reynir: what's :hardcopy ?
<vsiles>
that looks nifty !
bartholin has joined #ocaml
<reynir>
Yea, it's convenient :)
<Leonidas>
Skilly: `fun (x:int) -> x`?
mbuf has joined #ocaml
<vsiles>
reynir: hmm looks like I have to actually read the doc to use it. No printer here :D
<reynir>
vsiles: yes, I just used it to export to postscript and then printed the document from evince :)
Haudegen has quit [Quit: Bin weg.]
xd1le has quit [Quit: xd1le]
gravicappa has joined #ocaml
[itchyjunk] has joined #ocaml
wonko has quit [Ping timeout: 245 seconds]
<Leonidas>
it is surely neat if you have a color scheme you're used to to have the same in print
mg has joined #ocaml
klu has joined #ocaml
klu has quit [Changing host]
klu has joined #ocaml
klu_ has quit [Ping timeout: 260 seconds]
mbuf has quit [Quit: Leaving]
Haudegen has joined #ocaml
kakadu has quit [Ping timeout: 260 seconds]
kakadu has joined #ocaml
waleee has joined #ocaml
marinelli[m] has quit [Write error: Connection reset by peer]
schube[m] has quit [Remote host closed the connection]
mclovin has quit [Read error: Connection reset by peer]
saltrocklamp[m] has quit [Read error: Connection reset by peer]
mewfree[m]1 has quit [Write error: Connection reset by peer]
krnkktz has quit [Read error: Connection reset by peer]
smondet[m] has quit [Write error: Connection reset by peer]
CodeBitCookie[m] has quit [Remote host closed the connection]
krnkktz has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
<companion_cube>
wow never heard of :hardcopy before
mclovin has joined #ocaml
smondet[m] has joined #ocaml
mewfree[m] has joined #ocaml
marinelli[m] has joined #ocaml
schube[m] has joined #ocaml
saltrocklamp[m] has joined #ocaml
CodeBitCookie[m] has joined #ocaml
<companion_cube>
there's :TOhtml though
waleee has joined #ocaml
kakadu has quit [Ping timeout: 252 seconds]
kakadu has joined #ocaml
<Leonidas>
but is there :OFhtml? ;-)
<companion_cube>
:e foo.html
<companion_cube>
there you go
waleee has quit [Quit: WeeChat 3.3]
<Leonidas>
I was about to joke but now I am too scared to search for it because it surely exists: a vim plugin to copy code from a stackoverflow answer directly into the buffer
waleee has joined #ocaml
<companion_cube>
that's lame-ass now that github copilot exists
<companion_cube>
get some fresh GPT copypasta
<Leonidas>
given the quality of the code that it seems to produce it is more like creepypasta
<d_bot>
<leviroth> Not vim, but there is a Python module where you can try to call an arbitrary identifier as if it is a function in that module, and it will just run the first SO search result that compiles.
<reynir>
How come there's no Int32.unsigned_to_int64 hm
<reynir>
(or Int64.unsigned_of_int32)
<companion_cube>
there's not really a notion of unsigned int32, afaik
<reynir>
right, but we have Int32.unsigned_to_int : int32 -> int option since 4.08.0
<d_bot>
<dinosaure> the purpose of it is to not move the sign bit even if it means a negative number
salkin has joined #ocaml
wonko has joined #ocaml
<reynir>
nevermind
mro has joined #ocaml
[itchyjunk] has quit [Read error: Connection reset by peer]
zebrag has joined #ocaml
glassofethanol has quit [Quit: leaving]
glassofethanol has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
bartholin has quit [Quit: Leaving]
dh` has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
<d_bot>
<hcarty> reynir: I had to do something along those lines and I think I ended up using land on the int32's bytes during the conversion to get an unsigned conversion
glassofethanol has quit [Quit: leaving]
<reynir>
yes
mro has quit [Remote host closed the connection]
<d_bot>
<andreypopp> Somewhat offtopic but I'm doing this in OCaml so... I'm experimenting (for learning purposes) on implementing typechecking/typeinferencing algorithm and wondering on how to add multi parameter type classes on top of HM (algorithm W via mutable refs for unification with level based generalization + scoped labels is what I have now).
<d_bot>
<andreypopp> So I'm wondering if this is possible (mutable refs + solving typeclasses constraints, probably not) and what kind of algorithm I should use for solving type classes constraints...
<d_bot>
<andreypopp> happy to be pointed to some papers, I wasn't able to find something which explains in details algorithm w + typeclasses considerations
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
rgrinberg has joined #ocaml
waleee has quit [Ping timeout: 245 seconds]
waleee has joined #ocaml
[itchyjunk] has joined #ocaml
kakadu has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
salvi has joined #ocaml
salvi is now known as vukung
vukung has quit [Quit: leaving]
wonko has quit [Ping timeout: 252 seconds]
wonko has joined #ocaml
Tuplanolla has joined #ocaml
vicfred has joined #ocaml
hackinghorn has quit [Quit: Leaving]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
kurfen has quit [Ping timeout: 252 seconds]
kurfen has joined #ocaml
mro has joined #ocaml
mro has quit [Quit: Leaving...]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]