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 quit [Quit: Leaving]
mfp has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
SrPx has quit [Ping timeout: 240 seconds]
strmpnk has quit [Ping timeout: 240 seconds]
SrPx has joined #ocaml
strmpnk has joined #ocaml
borne has quit [Ping timeout: 244 seconds]
vicfred has joined #ocaml
reynir has quit [Ping timeout: 240 seconds]
reynir has joined #ocaml
artymort6 has quit [Quit: Ping timeout (120 seconds)]
adrien has quit [Ping timeout: 246 seconds]
adrien has joined #ocaml
artymort has joined #ocaml
ldb has joined #ocaml
<ldb> last time I asked the cause of SIGSEGV, it is indeed caused by Obj.magic
<ldb> OCaml has changed it's format spec from plain string to GADT representation, which breaks the old code
laokz has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
ldb has quit [Quit: Connection closed]
ldb has joined #ocaml
<companion_cube> the old code was using Obj.magic on format strings? :/
<ldb> I think that was also what older versions of OCaml (3.08) did
<companion_cube> :s
<companion_cube> that's quite old.
<ldb> and that pieces of code was written by jason hickey :D
<companion_cube> there's `string_of_format` if you want to turn it into a string
<ldb> yes. I figured that out by greping in OCaml's stdlib source files
waleee-cl has quit [Quit: Connection closed for inactivity]
<d_bot> <copy> The last time my OCaml code segfaulted was due to an Intel CPU bug (https://github.com/ocsigen/lwt/issues/315)
<d_bot> <Bluddy> I remember that -- that was a fun one. OCaml discovering a major CPU flaw
<d_bot> <Bluddy> The good old days before hyperthreading had to be turned off for security purposes
laokz has quit [Ping timeout: 240 seconds]
abc_ has quit [Ping timeout: 240 seconds]
abc_ has joined #ocaml
ldb has quit [Quit: Connection closed]
laokz has joined #ocaml
laokz has quit [Ping timeout: 246 seconds]
vicfred has quit [Quit: Leaving]
osa1 has joined #ocaml
ggole has joined #ocaml
mbuf has joined #ocaml
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
narimiran has joined #ocaml
laokz has joined #ocaml
osa1 has quit [Quit: osa1]
osa1 has joined #ocaml
inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 256 seconds]
worc3131 has quit [Ping timeout: 260 seconds]
Serpent7776 has joined #ocaml
vicfred has joined #ocaml
laokz has quit [Ping timeout: 260 seconds]
bartholin has joined #ocaml
ldb has joined #ocaml
Haudegen has joined #ocaml
laokz has joined #ocaml
vicfred has quit [Quit: Leaving]
borne has joined #ocaml
Tuplanolla has joined #ocaml
_whitelogger has joined #ocaml
laokz has quit [Ping timeout: 256 seconds]
olle has joined #ocaml
ldb has quit [Quit: Connection closed]
<d_bot> <joris> There was another one with lwt which I never found. But basically closure function pointer was magically becoming null some times on some broadwell cpu
<d_bot> <joris> Eventually switched hardware and forgot about it because tracking this kind of stuff down is hard
<d_bot> <joris> For segfault you can use vakgrind though if you ignore all the noise. It kind of works
mbuf has quit [Quit: Leaving]
bartholin has quit [Quit: Leaving]
mfp has joined #ocaml
tianon has quit [Ping timeout: 246 seconds]
tianon has joined #ocaml
dborisog has joined #ocaml
tianon has quit [Ping timeout: 260 seconds]
<theblatte> can you write comments in .mld files? (without them appearing in the rendered text)
tianon has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
laokz has joined #ocaml
reynir1 has joined #ocaml
ksft has quit [Ping timeout: 264 seconds]
reynir has quit [Ping timeout: 256 seconds]
ksft has joined #ocaml
reynir1 is now known as reynir
worc3131 has joined #ocaml
Haudegen has joined #ocaml
reynir has quit [Ping timeout: 264 seconds]
reynir has joined #ocaml
borne has quit [Ping timeout: 240 seconds]
dckc has quit [Ping timeout: 272 seconds]
dckc has joined #ocaml
Tuplanolla has quit [Ping timeout: 240 seconds]
narimiran has quit [Ping timeout: 256 seconds]
inkbottle has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
bartholin has joined #ocaml
waleee-cl has joined #ocaml
ransom has joined #ocaml
brown121407 has joined #ocaml
laokz has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ransom has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
andreas303 has quit [Remote host closed the connection]
brown121407 has quit [Remote host closed the connection]
brown121407 has joined #ocaml
andreas303 has joined #ocaml
spew has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
Haudegen has quit [Quit: Bin weg.]
vicfred has joined #ocaml
brown121407 has quit [Remote host closed the connection]
brown121407 has joined #ocaml
brown121407 has quit [Remote host closed the connection]
<d_bot> <gewalter benjamin> Wait, bots are writing OCaml code? Sweet
brown121407 has joined #ocaml
Haudegen has joined #ocaml
reynir has quit [Ping timeout: 260 seconds]
reynir has joined #ocaml
brown121408 has joined #ocaml
brown121408 is now known as zazavatar
brown121407 has quit [Ping timeout: 260 seconds]
zazavatar is now known as brown121407
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dborisog has quit [Ping timeout: 240 seconds]
ransom has joined #ocaml
kristof has joined #ocaml
<kristof> Is there a quick and easy module for interning strings (especially lexbufs)? Like Lisp symbols. I saw String_id in Core_kernel but I wanted to check in here first.
<companion_cube> not that I know of, but with a hashmap it seems like it's 5 lines?
<kristof> Maybe. I just presume that there's a lot of gotchas if you're interning a lot of strings. Like using tries for structure sharing.
<kristof> Er, maybe there isn't so much structure to share...
ggole has quit [Quit: Leaving]
<zozozo> as far as I know, people usually re-implement string interning as part of their project (typically using a weak hashtable)
<zozozo> there are subtleties that can differ in implementations depending on precise needs (like, is assigning a unique id to strings required ? do you want to be able to turn the weak behaviour on/off, etc...)
TC01 has quit [Ping timeout: 240 seconds]
<zozozo> kristof: ^
narimiran has joined #ocaml
Jesin has quit [Quit: Leaving]
bartholin has quit [Quit: Leaving]
Jesin has joined #ocaml
TC01 has joined #ocaml
sonologico has quit [Remote host closed the connection]
brown121407 has quit [Remote host closed the connection]
kristof has quit [Ping timeout: 260 seconds]
sagax has joined #ocaml
tianon has quit [Ping timeout: 264 seconds]
narimiran has quit [Ping timeout: 264 seconds]
tianon has joined #ocaml
bartholin has joined #ocaml
gareppa has joined #ocaml
amiloradovsky has joined #ocaml
<d_bot> <Et7f3> @gewalter benjamin they are users on IRC
<d_bot> <Et7f3> But they should pass turing test 😂
gareppa has quit [Quit: Leaving]
Tuplanolla has quit [Quit: Leaving.]
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
glass has joined #ocaml
theglass has quit [Ping timeout: 272 seconds]
ransom has joined #ocaml
<d_bot> <undu> @rgrinberg I'm trying to implement `textDocument/signatureHelp` for lsp, but it's not clear to me how can I get a list of parameters out of Merlin. `Type_enclosing` might return all the info, but `query_type` simply assumes it's a string with the query it does. Is there any documentation on the query's parameters?
<d_bot> <rgrinberg> I don't believe there's any docs
<d_bot> <undu> Oh, well. I'll dig deeper when I have time, then
<d_bot> <rgrinberg> I've looked into implementing this feature myself, but merlin does not have any convenient functionality for this
<d_bot> <rgrinberg> so some messing around with the typedtree will be required
<d_bot> <undu> I'll check that, first time I dive into lsp and merlin, really 🙂
troydm has quit [Ping timeout: 246 seconds]
troydm has joined #ocaml
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ransom has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Haudegen has quit [Ping timeout: 258 seconds]
amiloradovsky has quit [Ping timeout: 260 seconds]
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
mangoicedtea has joined #ocaml
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]