companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
enterprisey has joined #ocaml
eh_eff has joined #ocaml
Guest83638 is now known as jlam
eh_eff has quit [Ping timeout: 240 seconds]
mfp__ has quit [Ping timeout: 246 seconds]
Ragora|Away has quit [Ping timeout: 246 seconds]
sam___ has joined #ocaml
Soni has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
rpip has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
cbot has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
sh0t has quit [Remote host closed the connection]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
enterprisey has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
govg has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
vishesh has quit [Quit: WeeChat 1.4]
samrat has joined #ocaml
eh_eff has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
eh_eff has quit [Ping timeout: 248 seconds]
h11 has quit [Quit: WeeChat 1.9]
mbuf has joined #ocaml
MercurialAlchemi has joined #ocaml
h11 has joined #ocaml
stephen has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (orwell.freenode.net (Nickname regained by services))]
Simn has joined #ocaml
<stephen> Hi all, this is my first time using ocaml. Ran into an issue I couldn't solve through google, was hoping someone could help out. I built opam and ocaml (4.05.0) from scratch and installed janestreet core. However, whenever I run #use "topfind";; #require "core";; I get an error message Error: undefined reference to global `Condition'
<stephen> Has anyone else run into this?
<stephen> I am running on 64-bit linux
<stephen> The package core is v0.9.1, the latest stable version.
bsima has quit [Quit: Bye!]
eh_eff has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
eh_eff has quit [Ping timeout: 248 seconds]
TheLemonMan has joined #ocaml
<def`> #thread;; before #require "core";;
<def`> (but for working with core, utop is preferred over default toplevel)
<stephen> Okay, thanks for the tip! Now I'm getting a different error:
<stephen> Exception: Unix.Unix_error (Unix.ENOENT, "sysconf", ""). Raised by primitive operation at unknown location Called from file "toplevel/topdirs.ml", line 144, characters 10-51
<stephen> I found that source file "toplevel/topdirs.ml" in opam; it belongs to ocaml-base-compiler. The line referenced:
<stephen> ignore ((Meta.reify_bytecode code code_size) ());
<stephen> This error doesn't look like something very easy to debug. This may be the end of the line.
AltGr has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
<def`> no idea, sorry :P
cbot has quit [Quit: Leaving]
samrat has joined #ocaml
AlexDenisov has joined #ocaml
jbrown has quit [Quit: Leaving]
samrat has quit [Ping timeout: 260 seconds]
samrat has joined #ocaml
ygrek has joined #ocaml
mfp__ has joined #ocaml
sam___ has joined #ocaml
<reynir> stephen: fwiw someone had the exact same error wehn doing #require "core.top";; yesterday
<reynir> (well, *seems* to be the same error)
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
stephen has quit [Ping timeout: 260 seconds]
TarVanimelde has joined #ocaml
<def`> I have it too.
<def`> Core is broken \o/
<reynir> /o\
reliability has joined #ocaml
enterprisey has quit [Ping timeout: 248 seconds]
AlexDenisov has left #ocaml ["Textual IRC Client: www.textualapp.com"]
argent_smith has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
xpinguin has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
dhil has joined #ocaml
ziyourenxiang has joined #ocaml
rossberg has quit [Ping timeout: 252 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
isaachodes[m] has quit [Ping timeout: 240 seconds]
smondet[m] has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has joined #ocaml
isaachodes[m] has joined #ocaml
abeaumont has quit [Ping timeout: 260 seconds]
smondet[m] has joined #ocaml
abeaumont has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
lukky513 has quit [Ping timeout: 240 seconds]
regnat[m] has joined #ocaml
rossberg has joined #ocaml
lukky513 has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
jimmyrcom_ has joined #ocaml
samrat has quit [Ping timeout: 248 seconds]
wklm has quit [Quit: Lost terminal]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
al-damiri has joined #ocaml
jlam_ has joined #ocaml
dhil has quit [Ping timeout: 248 seconds]
ShalokShalom_ has joined #ocaml
govg has quit [Ping timeout: 255 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
ShalokShalom has quit [Ping timeout: 240 seconds]
BitPuffin|osx has joined #ocaml
_andre has joined #ocaml
samrat_ has joined #ocaml
mbuf has quit [Quit: Leaving]
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 248 seconds]
copy_ has joined #ocaml
dhil has joined #ocaml
ShalokShalom_ is now known as ShalokShalom
sh0t has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 248 seconds]
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
jao has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 248 seconds]
kakadu has joined #ocaml
kakadu has quit [Client Quit]
kakadu has joined #ocaml
samrat_ has quit [Ping timeout: 264 seconds]
aciniglio has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
rostero has joined #ocaml
reliability has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian_ has joined #ocaml
Soni has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
govg has quit [Quit: leaving]
nullifidian_ is now known as nullifidian
samrat_ has joined #ocaml
FreeBirdLjj has joined #ocaml
Mercuria1Alchemi has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 264 seconds]
mbuf has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 248 seconds]
Mercuria1Alchemi has quit [Ping timeout: 255 seconds]
TheLemonMan has joined #ocaml
eh_eff has joined #ocaml
mbuf has quit [Quit: Leaving]
reliability has quit [Ping timeout: 260 seconds]
Ragora has joined #ocaml
xpinguin has quit [Remote host closed the connection]
xpinguin has joined #ocaml
marcux has joined #ocaml
ziyourenxiang has quit [Ping timeout: 246 seconds]
nior has joined #ocaml
tane has joined #ocaml
marcux has quit [Remote host closed the connection]
mbuf has joined #ocaml
nior has quit [Quit: /thread]
jlam_ has joined #ocaml
zaquest has quit [Ping timeout: 255 seconds]
jlam1 has joined #ocaml
jlam__ has quit [Ping timeout: 264 seconds]
jlam_ has quit [Ping timeout: 240 seconds]
aciniglio has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
andreas__ has quit [Quit: Connection closed for inactivity]
zaquest has joined #ocaml
SpiceGuid has joined #ocaml
reliability has joined #ocaml
reliability has quit [Ping timeout: 260 seconds]
stephen has joined #ocaml
jlam has quit [Quit: Leaving]
fraggle_ has quit [Remote host closed the connection]
stephen has quit [Ping timeout: 260 seconds]
fraggle_ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
kakadu__ has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
SpiceGuid has quit [Quit: ChatZilla 0.9.92 [SeaMonkey 2.46/20161213183751]]
fraggle_ has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
MercurialAlchemi has joined #ocaml
nullifidian_ has joined #ocaml
jlam has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
jlam1 has quit [Quit: jlam1]
dhil has quit [Ping timeout: 240 seconds]
andreas__ has joined #ocaml
stephen has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<stephen> Hey all, if anyone is having trouble running/loading core, I managed to debug it. The system call "sysconf"'s behavior was not correctly managed in the core wrapper, causing it to produce a bogus error when it was executed as part of core's initialization. Currently, a fix has not been pushed to the main repo yet, but you can see a possible fix here mentioned in this github issue: https://github.com/janestreet/core/issues/95
<stephen> Essentially, the max_iovecs constant defined in core_unix.ml is initialized using the broken sysconf wrapper; so either (a) removing the sysconf call or (b) patching the sysconf call and recompiling core will cause everything to work again.
Algebr` has joined #ocaml
nullifidian_ is now known as nullifidian
rostero has quit [Quit: Connection closed for inactivity]
samrat_ has quit [Ping timeout: 255 seconds]
reliability has joined #ocaml
eh_eff has quit [Ping timeout: 240 seconds]
reliability has quit [Ping timeout: 240 seconds]
reliability has joined #ocaml
argent_smith has quit [Quit: Leaving.]
reliability has quit [Ping timeout: 248 seconds]
mbuf has quit [Quit: Leaving]
stephen has quit [Ping timeout: 260 seconds]
igmp has quit [Ping timeout: 248 seconds]
igmp has joined #ocaml
pierpa has joined #ocaml
tane has quit [Quit: Leaving]
eh_eff has joined #ocaml
AltGr has left #ocaml [#ocaml]
stephen has joined #ocaml
stephen has quit [Client Quit]
_andre has quit [Quit: leaving]
reliability has joined #ocaml
pete_8 has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
Denommus has joined #ocaml
<pete_8> Hello
<pete_8> About memory:
<pete_8> Say that I'm dealing with a lot of tree-structures
enterprisey has joined #ocaml
<pete_8> And, a particular sub-tree may exist in many places (in the same tree) but also in other trees
<pete_8> Does ocaml store copies of all the sub-trees, or does it store them all at the same location in memory?
<kakadu__> the last one
<pete_8> Hmmm So, I't has some kind of object store, and can determine if something to be stored is structurally equivalent to something already in memory, and in that case does not need the duplication?
<pete_8> (The trees would be represented in the obvious way using the algebraic type system)
<kakadu__> no, yo need to reuse the reference to subtree explicitly in another subtree
<kakadu__> The same is hold for lists and sublists
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<pete_8> Ok, so if I have a lot of duplicate structure in my collection of trees, and want to save memory... then I need to keep some kind of subtree store. So that when I want to make a new tree, I would check if it already existed in the store, and otherwise make a new with the type constructor and add it to the store?
<pete_8> Is there some standard solution to this problem?
<kakadu__> You can try to 1) map your trees to integers somehow (I think BDD may be related) 2) or prevent a lot of duplicates from creating
<octachron> pete_8, have you looked at hash consing?
<kakadu__> +1
<kakadu__> I couldn't remember how it is called
<pete_8> Now, never herd of it. But looks like useful stuff!
<pete_8> Thanks both of you!
<pete_8> "Now, never herd of it" -> "Nah, never heard of it" :p
<pete_8> Armael: thanks for the link
reliability has joined #ocaml
reliability has quit [Ping timeout: 248 seconds]
andreas__ has quit [Quit: Connection closed for inactivity]
enterprisey has quit [Quit: Leaving]
kakadu__ has quit [Remote host closed the connection]
<hannes> hmm, is it just me, or when doing programming with network streams, I always need to wrap Unix.send & recv (or Lwt_unix.send/recv) to handle these exceptions specially (esp. EAGAIN, but also to reconnect (if possible) on EBADF)... is there already an abstraction which provides me with a result interfaces there (as Bos does for lots of Unix system calls)?
Simn has quit [Quit: Leaving]
<zozozo> hannes: ^
<hannes> zozozo: thx, but the interface is (a) very undocumented and (b) defines some new exceptions... so I'd need to dig into that code..
<zozozo> well, I never actually used it myself, juste heard of it, :p
<hannes> I usually end up with these blocks (in one form or another) https://github.com/hannesm/logs-syslog/blob/master/src/logs_syslog_lwt.ml#L69-L79
orbitz has quit [Read error: Connection reset by peer]
orbitz has joined #ocaml
<zozozo> hm.. maybe define some wrappers ?
reliability has joined #ocaml
xvilka has quit [Ping timeout: 240 seconds]
xvilka has joined #ocaml
reliability has quit [Ping timeout: 260 seconds]
<hannes> ah, but Lwt already uses wrap_syscall and handles EAGAIN and EINTR
Denommus has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
circ-user-jrhd2 has joined #ocaml
circ-user-jrhd2 has left #ocaml [#ocaml]
etchasaurus has joined #ocaml
reliability has joined #ocaml
reliability has quit [Ping timeout: 240 seconds]
sh0t has quit [Remote host closed the connection]
pete_8 has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]