adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
env__ has joined #ocaml
rdivyanshu has quit [Ping timeout: 268 seconds]
ahf has quit [Ping timeout: 268 seconds]
Jesin has quit [Quit: Leaving]
JimmyRcom has quit [Ping timeout: 250 seconds]
ahf has joined #ocaml
keep_learning has quit [Remote host closed the connection]
keep_learning has joined #ocaml
neatonk has quit [Ping timeout: 246 seconds]
silver has quit [Read error: Connection reset by peer]
env__ has quit [Ping timeout: 252 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
neatonk has joined #ocaml
hnfmr has joined #ocaml
hnfmr has quit [Quit: Page closed]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 250 seconds]
mfp has quit [Ping timeout: 244 seconds]
jave has quit [Ping timeout: 272 seconds]
env__ has joined #ocaml
jave has joined #ocaml
dd_ has joined #ocaml
rdivyanshu has joined #ocaml
olopierpa has quit [Quit: Page closed]
apostolis has joined #ocaml
<apostolis> Hello.
apostolis has quit [Quit: WeeChat 1.6]
JimmyRcom has joined #ocaml
dd_ has quit [Quit: Page closed]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
JimmyRcom has quit [Ping timeout: 252 seconds]
neatonk1 has joined #ocaml
neatonk has quit [Ping timeout: 268 seconds]
<xvilka> Leonidas: well, I experience periodic disconnects if the node under a heavy computational node, this is probably the reason
JimmyRcom has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ggole has joined #ocaml
neatonk1 has quit [Quit: neatonk1]
rdivyanshu has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 244 seconds]
bjs has quit [Ping timeout: 268 seconds]
jacobian has quit [Ping timeout: 268 seconds]
jacobian has joined #ocaml
bjs has joined #ocaml
env__ has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 250 seconds]
env__ has joined #ocaml
jack5638 has quit [Ping timeout: 244 seconds]
jack5638 has joined #ocaml
steenuil has quit [Remote host closed the connection]
mildtaste has quit [Quit: Leaving.]
danp has joined #ocaml
danp has quit [Client Quit]
danpc has joined #ocaml
danpc has quit [Client Quit]
mildtaste has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
johnelse has joined #ocaml
_whitelogger has joined #ocaml
JimmyRcom has quit [Ping timeout: 246 seconds]
env__ has quit [Ping timeout: 268 seconds]
orbifx2 has joined #ocaml
kvda has joined #ocaml
env__ has joined #ocaml
rand__ has joined #ocaml
orbifx2 has quit [Ping timeout: 244 seconds]
demonimin has joined #ocaml
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 260 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rdivyanshu has joined #ocaml
bartholin has joined #ocaml
env__ has quit [Ping timeout: 245 seconds]
rand__ has quit [Ping timeout: 260 seconds]
rdivyanshu has quit [Remote host closed the connection]
<Leonidas> xvilka: maybe because the event loop is starved and the amqp server decides the connection is dead?
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 268 seconds]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 252 seconds]
bartholin has quit [Remote host closed the connection]
rand__ has joined #ocaml
quipa has joined #ocaml
notnotdan has joined #ocaml
<notnotdan> Hi! I have a question about utop -- I hope it is fine if I put it here.
<notnotdan> I am struggling to get threads working in utop. If I do `#thread;;` and then `open Thread;;'
<notnotdan> then it gives me an error: Unbound moudule: Thread
<notnotdan> However, doing the same things works in the standard `ocaml' top level
<ggole> The #thread is installed by topfind, iirc
<ggole> *The #thread command
<ggole> So perhaps your utop doesn't start topfind by default, but your ocaml toplevel does
<notnotdan> hm, it is strange
<notnotdan> this is what i had in my ocamlinit: https://gist.github.com/co-dan/6d17ff268c944bec1d13aa991b381c9f
<ggole> utop doesn't use .ocamlinit, iirc
<notnotdan> oh
<ggole> (I don't use utop myself.)
<notnotdan> But it does give me the Findlib message at the startup
<notnotdan> yeah, even if I just copy paste the config into utop it still doesn't work
<ggole> Hmm, probably time to look at the utop docs
Haudegen has joined #ocaml
<notnotdan> i mean..
alpha has quit [Ping timeout: 245 seconds]
<ggole> Hmm. I just opam installed utop, and use "topfind";; #thread;; indeed doesn't make a Thread module available.
<ggole> Maybe #require "threads.posix"? I'm not sure if that's the same or not.
<notnotdan> oh, that actually works! thanks ggole
<notnotdan> how did you figure out to require that library?
<ggole> Educated guess :/
* ggole wonders what #thread;; actually does in utop
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 250 seconds]
alpha has joined #ocaml
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 272 seconds]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 252 seconds]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 252 seconds]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
themsay has joined #ocaml
tianon has quit [Read error: Connection reset by peer]
zmzm has joined #ocaml
mfp has joined #ocaml
rand__ has quit [Ping timeout: 252 seconds]
<xvilka> Leonidas: yeah, I think it can be the root of the problem, since less CPU intensive nodes are fine
<Drup> ggole: isn't the same as -thread for ocamlc ?
<Leonidas> xvilka: you should then try to structure the problem in a different way
<Leonidas> e.g. fork off the computation or use a work queue or something like this
<Leonidas> at least, after making sure this is the actual issue
alpha has quit [Quit: alpha]
themsay has quit [Ping timeout: 272 seconds]
themsay has joined #ocaml
<ggole> Drup: no
<ggole> With the standard toplevel #thread;; gives you a Thread module
<ggole> Oh wait, you said ocamlc
themsay has quit [Ping timeout: 244 seconds]
silver has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
<Leonidas> I find it ironic that diml's name is represented as Jérémie on the OCaml changelog served from INRIA, but I guess changing their webserver from windows-1252 is not doable.
<Leonidas> adrien: could you update the topic to 4.07.1 please?
rdivyanshu has joined #ocaml
zmzm has quit [Quit: zmzm]
rdivyanshu has quit [Ping timeout: 245 seconds]
rand__ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
<adrien> Leonidas: sure, thanks for the heads up
<adrien> (and I still want to do that group reg stuff but the past few months have been quite a wild^Wdepressing ride)
adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
<Leonidas> yeah, no hurry. The group stuff would be nice but it is just a value-add :-)
kvda has joined #ocaml
quipa has quit [Remote host closed the connection]
Haudegen has joined #ocaml
tianon has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jao has joined #ocaml
themsay has joined #ocaml
rdivyanshu has joined #ocaml
JimmyRcom has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
spew has joined #ocaml
MadcapJake has quit [Quit: MadcapJake]
neatonk has joined #ocaml
neatonk has left #ocaml [#ocaml]
JimmyRcom has quit [Ping timeout: 245 seconds]
env__ has joined #ocaml
mildtaste has quit [Remote host closed the connection]
JimmyRcom has joined #ocaml
JimmyRcom has quit [Ping timeout: 252 seconds]
al-damiri has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
env__ has quit [Ping timeout: 252 seconds]
terrorjack has quit [Quit: Connection closed for inactivity]
kino` has joined #ocaml
<kino`> Hi
<kino`> Has anybody used menhir's incremental API?
dtornabene has joined #ocaml
<kino`> I can't figure how to extract the value of a state, as it has type $Element_'a, which I can't figure out the meaning :c
MadcapJake has joined #ocaml
<octachron> $Element_a means that you are trying to extract an existential type introduced by a constructor Element outside of its context (which is not possible)
<kino`> So, I can't get what's inside the element?
<octachron> You cannot extract it completely, but you can use any function that takes any 'a lrl1state as input.
<kino`> Ah, I see
<kino`> Thanks.
tane has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
<kino`> If I were to gain information about type 'a, how could I get use of the element?
<octachron> ? You should probably read menhir manual about the incremental and ipsection API: you can gain information about the existential type 'a by using the element and the Inspection API .
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
JimmyRcom has joined #ocaml
kino` has quit [Ping timeout: 260 seconds]
env__ has joined #ocaml
erkin has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
fraxamo has joined #ocaml
_andre has quit [Ping timeout: 252 seconds]
apostolis has joined #ocaml
Haudegen has joined #ocaml
rdivyanshu has quit [Remote host closed the connection]
rdivyanshu has joined #ocaml
bartholin has joined #ocaml
erkin has quit [Remote host closed the connection]
barcabuona has joined #ocaml
rdivyanshu has quit [Ping timeout: 252 seconds]
env__ has quit [Ping timeout: 244 seconds]
env__ has joined #ocaml
dtornabene has quit [Quit: Leaving]
rand__ has quit [Ping timeout: 252 seconds]
ziyourenxiang has quit [Ping timeout: 252 seconds]
jack5638 has quit [Ping timeout: 272 seconds]
jack5638 has joined #ocaml
al-damiri has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
themsay has quit [Ping timeout: 246 seconds]
jack5638 has joined #ocaml
env__ has quit [Ping timeout: 252 seconds]
pzp has joined #ocaml
jack5638 has quit [Ping timeout: 268 seconds]
barcabuona has quit [Quit: WeeChat 2.2]
rdivyanshu has joined #ocaml
jack5638 has joined #ocaml
rdivyanshu has quit [Ping timeout: 246 seconds]
emily has quit [Quit: Lost terminal]
JimmyRcom has quit [Ping timeout: 268 seconds]
env__ has joined #ocaml
MadcapJake has quit [Quit: MadcapJake]
kakadu_ has joined #ocaml
ggole has quit [Quit: ggole]
emily has joined #ocaml
steenuil has joined #ocaml
steenuil has quit [Remote host closed the connection]
steenuil has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
jbrown has joined #ocaml
fraxamo has quit [Quit: Leaving]
<Leonidas> so, I might have created a horrible bikeshedding thread, but I had to bring it up :-|
JimmyRcom has joined #ocaml
spew has quit [Quit: going home]
rdivyanshu has joined #ocaml
rdivyanshu has quit [Ping timeout: 268 seconds]
pierpa has joined #ocaml
orbifx2 has joined #ocaml
orbifx2 has quit [Ping timeout: 252 seconds]
<apostolis> Is there a unicode library similar to the haskell Data.Text ?
<companion_cube> not really, but normal strings in OCaml can typically be encoded in utf8
<companion_cube> then there's uutf, uucp, etc. for manipulating codepoints
<companion_cube> (with the standard `Uchar.t` for representing codepoints)
tane has quit [Quit: Leaving]
<apostolis> I am a newbie with regard to unicode. I am trying to emulate the behavior of some of the functions of Data.Text.
<apostolis> For example , toLower , toUpper.
kakadu_ has quit [Remote host closed the connection]
<apostolis> companion_cube : I will look into the libraries you gave me.
<apostolis> Nice.
<companion_cube> these are Daniel Bunzli's libraries, they're a bit low level but very well designed
<apostolis> May I ask someting else? I use the malfunction compiler that does not have support for Ocaml literal floats. It has support for string literals.
<apostolis> I could use the "of_string" function to introduce float literals.
<apostolis> Will this be transformed into a float literal at compile time? or will it be executed at runtime?
<companion_cube> it doesn't support *any* float literal?
<apostolis> No.
<companion_cube> check if it supports hexadecimal float literals
<companion_cube> 0x1.5p+5
<companion_cube> ^ this kind of thing
<apostolis> I could pass this as a string with the "of_string" function. But I would prefer if is was erased at compilation.
<companion_cube> well it probably won't
<apostolis> Ok.
<companion_cube> (have you checked for the hexa literals? :/)
<companion_cube> (it'd be sad if it didn't support these)
<apostolis> I doubt it.
<companion_cube> they should be much simpler to handle, I think, that's why
<companion_cube> ah but if it doesn't support *floats* at all, I don't see what you can do
<companion_cube> (the type of floats itself wouldn't be supported, right?)
<Armael> well malfunction is just the frontend right?
<Armael> so I guess "of_string" would somewhat work
<apostolis> This is an untyped version of OCaml, yes the "of_string" will work.
<apostolis> The runtime is OCaml.
<companion_cube> then I don't get why support of floats in malfunction is a big deal…
<Armael> maybe they want to expose some low level primitives on floats, or their representation
<Armael> that would be in line with the rest of what malfunction exposes I guess
<apostolis> malfunction is the safe way to expose the internals of OCaml.
<Armael> for some definition of safe
<companion_cube> Armael: there's Int64.bits_of_float already
<apostolis> "Without types"
<companion_cube> otherwise all the work should done by the backend?
<apostolis> companion_cube : From a technical point , it is easy. Bu someone has to write the code.
bartholin has quit [Remote host closed the connection]
<companion_cube> yeah, sure
JimmyRcom has quit [Ping timeout: 245 seconds]
env__ has quit [Ping timeout: 245 seconds]
JimmyRcom has joined #ocaml
env__ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
JimmyRcom has quit [Ping timeout: 244 seconds]
void_pointer has joined #ocaml
env__ has quit [Ping timeout: 245 seconds]
env__ has joined #ocaml
Jeanne-Kamikaze has joined #ocaml
void_pointer has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
rdivyanshu has joined #ocaml