<gasche>
I believe that marshalling closures relies on the fact that you are only sending it to the same program in return, not a different one, so a notion of code identity exists; toplevel makes code identity a harder problem by dynamically adding new code
<justin_smith>
yeah, I just tested it, works in a file generated by ocamlopt
<justin_smith>
gasche: that totally makes sense, yes. Thank you.
yunxing_ has quit [Quit: Leaving...]
<rgrinberg>
Bluddy[m]: you've mentioned on the mailing lists that you have some qualms with reddit that it moves a little too fast. I've found the opposite is true with r/ocaml. I'd really love see a little more traffic there, in particular more self posts.
<rgrinberg>
r/rust and r/haskell are much more cosy places for example
jeffmo has quit [Quit: jeffmo]
<gasche>
well
<gasche>
r/ocaml is waiting for your parser announce :-)
<rgrinberg>
parser announce? do you mean angstrom?
<gasche>
the msgpack parser
<rgrinberg>
that's hcarty actually :P
<gasche>
ah
<gasche>
indeed, sorry
<rgrinberg>
and i am too waiting for both of those
<gasche>
what could you post about ? :-)
<gasche>
(I just re-posted the Cordova announce we had on caml-list)
NingaLeaf has joined #ocaml
<rgrinberg>
not much at the moment :/ but i'm happy to entertain other posters
<gasche>
(one doesn't need to post about one's own stuff, and in fact it's better not to)
<Bluddy[m]>
rgrinberg (IRC): My note about reddit was simply to say that one cannot have substantive discussions there. It only takes a few hours for a post to become ancient. It's a good way to keep up with the latest developments though
jeffmo has joined #ocaml
darkf has joined #ocaml
<Bluddy[m]>
gasche (IRC) (or anyone else): could you explain the concept of GC safe points? I think every function call is a GC safe point, which is why everything must be boxed between functions. But what about allocations inside functions which could call the GC?
jeffmo has quit [Ping timeout: 250 seconds]
jeffmo has joined #ocaml
<mrvn>
Bluddy[m]: it is
<mrvn>
Bluddy[m]: They are expensive because they invalidate any (possible) pointer.
<mrvn>
Bluddy[m]: by the way you don't need to tell everyone that they are on irc. We know.
<Bluddy[m]>
mrvn: sorry it's just what I get when I autocomplete with tab via vector.im
<mrvn>
any call into the GC would need a safe point. But allocations are (hopefully) combined into a single one at the start.
<Bluddy[m]>
mrvn: I see.
<mrvn>
ocaml is smart enough to see 2 allocations and do a bigger one instead and initialize 2 blocks in the space.
FreeBirdLjj has joined #ocaml
jeffmo_ has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo_ is now known as jeffmo
FreeBirdLjj has quit [Ping timeout: 250 seconds]
jeffmo_ has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo_ is now known as jeffmo
struk|desk has quit [Read error: Connection reset by peer]
struk|desk has joined #ocaml
haesbaert has quit [Ping timeout: 276 seconds]
jeffmo_ has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo_ is now known as jeffmo
<def`>
gasche: I would like to :)
tennix has joined #ocaml
jeffmo_ has joined #ocaml
FreeBirdLjj has joined #ocaml
jeffmo has quit [Read error: Connection reset by peer]
jeffmo_ is now known as jeffmo
jeffmo has quit [Read error: Connection reset by peer]
jeffmo_ has joined #ocaml
mcc has joined #ocaml
jeffmo_ has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
jeffmo has quit [Ping timeout: 264 seconds]
jeffmo has joined #ocaml
jeffmo_ has joined #ocaml
jeffmo has quit [Ping timeout: 276 seconds]
jeffmo_ is now known as jeffmo
tennix has quit [Ping timeout: 240 seconds]
ygrek_ has quit [Ping timeout: 258 seconds]
jeffmo has quit [Ping timeout: 246 seconds]
ansiwen has quit [Quit: No Ping reply in 180 seconds.]
ansiwen has joined #ocaml
sh0t has quit [Remote host closed the connection]
tmtwd has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kushal has joined #ocaml
nicholasf has quit [Remote host closed the connection]
jonasen has joined #ocaml
scarygelatin has quit [Quit: Leaving]
myst|fon has quit [Quit: Connection closed for inactivity]
tmtwd has quit [Ping timeout: 276 seconds]
lostman has quit [Quit: Connection closed for inactivity]
johnelse has quit [Ping timeout: 260 seconds]
manizzle has joined #ocaml
tennix has joined #ocaml
johnelse has joined #ocaml
kushal has quit [Ping timeout: 250 seconds]
pierpa has quit [Remote host closed the connection]
pierpa has joined #ocaml
kushal has joined #ocaml
pierpa` has joined #ocaml
nicholasf has joined #ocaml
pierpa has quit [Ping timeout: 272 seconds]
pierpa` has quit [Remote host closed the connection]
pierpa` has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
johnelse has quit [Ping timeout: 244 seconds]
pierpa` is now known as pierpa
tennix has quit [Ping timeout: 276 seconds]
tennix has joined #ocaml
seangrove has quit [Ping timeout: 250 seconds]
johnelse has joined #ocaml
vgrocha has quit [Ping timeout: 244 seconds]
pierpa has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
FreeBirdLjj has quit [Ping timeout: 246 seconds]
seangrove has joined #ocaml
FreeBirdLjj has joined #ocaml
seangrove has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
mcc has quit [Quit: Connection closed for inactivity]
AlexDenisov has joined #ocaml
A1977494 has joined #ocaml
MercurialAlchemi has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
nicholasf has quit [Ping timeout: 246 seconds]
nicholasf has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
copy` has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 252 seconds]
nicholas_ has joined #ocaml
Simn has joined #ocaml
nicholasf has quit [Ping timeout: 250 seconds]
freusque has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
A19774941 has joined #ocaml
A1977494 has quit [Ping timeout: 252 seconds]
butts_butts has joined #ocaml
butts_butts has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
AlexDenisov has joined #ocaml
nojb_ has joined #ocaml
jonasen has quit [Ping timeout: 272 seconds]
AltGr has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jonasen has joined #ocaml
larhat has joined #ocaml
ggole has joined #ocaml
yomimono has joined #ocaml
ob_ has joined #ocaml
myst|fon has joined #ocaml
tmtwd has joined #ocaml
AlexRussia has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
jwatzman|work has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
AlexRussia has joined #ocaml
AlexDenisov has joined #ocaml
dhil has joined #ocaml
haesbaert has joined #ocaml
freusque has quit [Quit: WeeChat 1.4]
tane has joined #ocaml
freusque has joined #ocaml
ob_ has quit [Ping timeout: 252 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
tmtwd has quit [Ping timeout: 276 seconds]
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 260 seconds]
nicholas_ has quit [Remote host closed the connection]
silver has joined #ocaml
tane has quit [Ping timeout: 246 seconds]
thomasga has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<thomasga>
why is ocaml-ssl hosted on sourceforge?
dave24 has joined #ocaml
AlexDenisov has joined #ocaml
tane has joined #ocaml
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
<def`>
thomasga: because it is a trusted and friendly host?
nicholasf has joined #ocaml
<yomimono>
is there a way to know which compilation units are included in a .cma file?
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<yomimono>
it looks like ocamlobjinfo can do it, nm
<thomasga>
def`: like "The sourceforge.net website is temporarily in static offline mode.
<thomasga>
Only a very limited set of project pages are available until the main website returns to service." :-)
<Leonidas>
def`: I have heard about the aquisition recently, but SF is everything but "trusted"
fedjo has quit [Ping timeout: 276 seconds]
fedjo has joined #ocaml
octachron has joined #ocaml
<mrvn>
yomimono: have you tried ocamlobjinfo or ocamldumpobj?
<yomimono>
mrvn: yep, ocamlobjinfo worked great once we were using consistent objects and objinfo, thanks
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sdothum has joined #ocaml
AlexDenisov has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
nicholasf has quit [Remote host closed the connection]
beginner has joined #ocaml
<beginner>
Is it possible to tell ocamlbuild to look for ocamlbuild.cmo at a specific path and not where ocamlbuild -where would point to?
<beginner>
i tried adding the path with -I, but that didnt workd
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
thomasga has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 264 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tane has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
AlexDenisov has joined #ocaml
nicholasf has joined #ocaml
thomasga has joined #ocaml
yomimono has joined #ocaml
aphprentice has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
thomasga has quit [Quit: Leaving.]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
thomasga has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBird_ has quit [Ping timeout: 240 seconds]
sh0t has joined #ocaml
jonasen_ has joined #ocaml
jonasen has quit [Read error: Connection reset by peer]
rand__ has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
Denommus has joined #ocaml
loocash has joined #ocaml
loocash has quit [Client Quit]
<Bluddy[m]>
def` (IRC): were you being sarcastic?
<def`>
Bluddy[m]: when?
<Bluddy[m]>
when you said sourceforge was reliable and friendly
<def`>
ahhh, yes of course :)
<Bluddy[m]>
:)
<Bluddy[m]>
btw I asked before -- are you adding to implicits' theory, or just proofing the implementation, or both?
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
vgrocha has joined #ocaml
FreeBirdLjj has joined #ocaml
shinnya has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
copy` has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
al-damiri has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
<def`>
Bluddy[m]: bits of both, we were working with Jacques Garrigue in Nagoya university and made progress on the theory, and I plan to spend the end of the year on implementation
malc_ has joined #ocaml
freusque has quit [Quit: WeeChat 1.4]
<Bluddy[m]>
def: any particular difficulties with the theory? Do you have a proof you're happy with?
<def`>
Bluddy[m]: principality and characterisation of solution space.
<def`>
proof is ok for resolution of constraint, collect of constraints is a longer term work
<def`>
afk
nicholasf has quit [Remote host closed the connection]
<seliopou>
thomasga: i just git the ssl issue you were alluding to
pyon has quit [Quit: fix config]
tennix has quit [Ping timeout: 260 seconds]
jonasen_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pyon has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
<Leonidas>
I really like how much focus OCaml development puts on shipping features that are working well and founded in solid theory :)
dexterph has joined #ocaml
<seliopou>
Hmm... Oasis has issues disabled. That's a bit obnoxious.
<seliopou>
Might as well keep my bugs to myself, I suppose.
hcarty has joined #ocaml
rand__ has quit [Quit: leaving]
<engil>
seliopou: I guess he want people to use the ocamlforge thing
<seliopou>
There's an ocamlforge page for it?
<engil>
looks like it, I don't have an account so I can't check
FreeBirdLjj has quit [Remote host closed the connection]
thizanne has joined #ocaml
AlexDenisov has joined #ocaml
nojb_ has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
tennix has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
<seliopou>
thomasga thanks!
<seliopou>
there should really be a way to associate a cache with each opam repository
tennix has quit [Read error: Connection reset by peer]
jonasen has joined #ocaml
tennix has joined #ocaml
slash^ has joined #ocaml
rgrinberg has joined #ocaml
Denommus has quit [Remote host closed the connection]
jwatzman|work has quit [Quit: jwatzman|work]
A19774941 has quit [Remote host closed the connection]
unbalancedparen has joined #ocaml
FreeBirdLjj has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
BitPuffin|osx has joined #ocaml
MercurialAlchemi has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
thomasga has quit [Client Quit]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
rgrinberg has quit [Read error: Connection reset by peer]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tane has joined #ocaml
dexterph has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 252 seconds]
tennix has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
thomasga has joined #ocaml
sepp2k has joined #ocaml
<hcarty>
seliopou: I thought opam.ocaml.org did some kind of automatic mirroring of upstream packages... I may be remembering that incorrectly though
octachron has quit [Quit: Page closed]
MercurialAlchemi has joined #ocaml
larhat has quit [Quit: Leaving.]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
AlexDenisov has joined #ocaml
nicholasf has joined #ocaml
darkf has quit [Quit: Leaving]
yomimono has quit [Ping timeout: 276 seconds]
thomasga has quit [Quit: Leaving.]
pierpa has joined #ocaml
TheLemonMan has joined #ocaml
Denommus has joined #ocaml
ygrek_ has joined #ocaml
dave24 has quit [Quit: leaving]
<seliopou>
hcarty definitely doesn't. there was actually a controversial patch to opam a while back that hard-coded the URI of a chaching server, and (hopefully) it was rejected
<seliopou>
but user-configurable, or default for a repo? +1
A1977494 has joined #ocaml
thomasga has joined #ocaml
ggole_ has quit [Ping timeout: 246 seconds]
octachron has joined #ocaml
thizanne has quit [Ping timeout: 250 seconds]
nicholasf has quit [Remote host closed the connection]
thomasga has quit [Quit: Leaving.]
yomimono has joined #ocaml
jeffmo has quit [Quit: jeffmo]
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
manizzle has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
ontologiae has joined #ocaml
nicholasf has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
AlexRussia has quit [Ping timeout: 260 seconds]
orbifx has joined #ocaml
thomasga has quit [Quit: Leaving.]
shinnya has joined #ocaml
thomasga has joined #ocaml
rgrinberg has joined #ocaml
<orbifx>
any good writings for how to structure the directories of ocaml projects?
MercurialAlchemi has joined #ocaml
<companion_cube>
I just use src/, possily with one sub-directory per sub-library for complex projects
jeffmo has joined #ocaml
<orbifx>
ok thanks companion_cube
<orbifx>
will start with that
<orbifx>
it's what I normally do, but this project might get more serious
slash^ has quit [Read error: Connection reset by peer]
<companion_cube>
this scales to dozens of kloc :p
rgrinberg has quit [Read error: Connection reset by peer]
shinnya has quit [Ping timeout: 276 seconds]
<hcarty>
companion_cube: And, hopefully, if scale beyond that is required ... opam
<mrvn>
orbifx: if it gets that big then split out libraries into their own project.
<orbifx>
thanks mrvn
rgrinberg has joined #ocaml
<mrvn>
What I find tricky (with oasis / myocamlbuild) is to have a library L in the project with module M and then in the main program L.M.foo should work (and does) but just M.foo should not (but does).
<mrvn>
oasis or myocamlbuild always puts the libraries source dir in the include path so both the L pack and the plain M.ml are visible.
<mrvn>
any recepies to prevent that?
AlexRussia has joined #ocaml
jeffmo has quit [Quit: jeffmo]
rgrinberg has quit [Read error: Connection reset by peer]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
Kakadu has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 250 seconds]
<orbifx>
I use maikefiles for now :P
<orbifx>
Makefiles
<orbifx>
But I don't know if that solves your problem
malc_` has joined #ocaml
<orbifx>
Any particular readon why the stdlib developers decided to return negative, positive or 0 for the compare functions? Instead of say an enumeration?
<mrvn>
no enumeration in stdlib
<companion_cube>
it's 20 years old
malc_ has quit [Ping timeout: 240 seconds]
<companion_cube>
it might be a tiny wee bit faster
<mrvn>
standard for compare functions since ever
<companion_cube>
and easier to interface with C
<companion_cube>
but I agree, a sum type would be better
<mrvn>
-1, 0, 1 is good for asm. means the cpu can jump directly for any compare you might need
<mrvn>
0/1/2 would need an extra compare
thomasga has quit [Quit: Leaving.]
jeffmo has joined #ocaml
jeffmo has quit [Client Quit]
<pierpa>
it's the traditional way other language did it. When the items compared are scalars, they just do a subtraction. One machine instruction.
<pierpa>
*languages
<companion_cube>
apparently it 's wrong, because overflows
<companion_cube>
but, well
<orbifx>
i see mrvn, yeah
<pierpa>
companion_cube: these subtleties usually are swept under the rug and accepted
nicholasf has quit [Remote host closed the connection]
<companion_cube>
s/sutleties/bugs/ ?
<companion_cube>
I understand the choice 20 years ago; if it was to remake today I'd personnally opt for the the sum type
manizzle has joined #ocaml
<pierpa>
I'm talking about *tradition*
<pierpa>
of course a sum type is better
<mrvn>
would be cool if you could type cmp = LESS [@@value -1] | EQUAL [@@value 0] | LARGER [@@value 1]
yomimono has joined #ocaml
rgrinberg has joined #ocaml
unbalancedparen has quit [Quit: WeeChat 1.5]
<companion_cube>
heh
thomasga has joined #ocaml
jeffmo has joined #ocaml
yomimono has quit [Quit: Leaving]
thomasga has quit [Ping timeout: 272 seconds]
rand__ has joined #ocaml
Mercuria1Alchemi has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sepp2k has quit [Quit: Leaving.]
nicholasf has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nicholas_ has joined #ocaml
nicholasf has quit [Ping timeout: 240 seconds]
nicholas_ has quit [Remote host closed the connection]
nicholasf has joined #ocaml
A1977494 has quit [Quit: Leaving.]
rgrinberg has quit [Ping timeout: 272 seconds]
nicholasf has quit [Ping timeout: 252 seconds]
brab has quit [Ping timeout: 252 seconds]
brab has joined #ocaml
nicholasf has joined #ocaml
cmk_zzz_ has quit [Read error: Connection reset by peer]
ontologiae has quit [Ping timeout: 276 seconds]
Mercuria1Alchemi has quit [Ping timeout: 258 seconds]
rand__ has quit [Quit: leaving]
thibault has joined #ocaml
thibault is now known as thizanne
AltGr has left #ocaml [#ocaml]
brab has quit [Ping timeout: 260 seconds]
brab has joined #ocaml
orbifx has quit [Ping timeout: 276 seconds]
hcarty has quit [Ping timeout: 272 seconds]
Orion3k has quit [Quit: Leaving]
ontologiae has joined #ocaml
Orion3k has joined #ocaml
nicholasf has quit [Remote host closed the connection]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
john51_ has quit [Remote host closed the connection]
john51 has joined #ocaml
octachron has quit [Quit: Leaving]
sdothum has joined #ocaml
Kakadu has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
jeffmo has quit [Quit: jeffmo]
Simn has quit [Read error: Connection reset by peer]
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
pierpa has quit [Read error: Connection reset by peer]
pyon has quit [Quit: fix config]
pierpa has joined #ocaml
pierpa has quit [Read error: Connection reset by peer]
pyon has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]