* noddy
is sad he's missing out on tomorrow's talks
djs55 has joined #mirage
dsheets has joined #mirage
<hannes>
morning
* hannes
will head towards CL, and hope the reception has an access card for me..
<djs55>
I'm sure if you call avsm he'll be able to let you in :)
<hannes>
djs55: if he's in CL today ;)
<djs55>
… I'm sure the receptionists will take pity on you
<djs55>
btw are you coming to dinner tomorrow?
<hannes>
djs55: yes!
<hannes>
anyways, off to CL
<djs55>
good luck, see you tomorrow at dinner
thomasga has joined #mirage
Osheeta has joined #mirage
Osheeta has quit [Ping timeout: 255 seconds]
avsm has joined #mirage
Osheeta has joined #mirage
djs55 has quit [Quit: Leaving.]
hannes has quit [Quit: Coyote finally caught me]
thomasga has quit [Quit: Leaving.]
hannes has joined #mirage
<hannes>
back...
<dsheets>
lunch?
<hannes>
yes!
<hannes>
I'll drop by FW
Osheeta has quit [Quit: Lost terminal]
djs55 has joined #mirage
djs55 has quit [Client Quit]
avsm has quit [Quit: Leaving.]
thomasga has joined #mirage
andreas2 has joined #mirage
thomasga has quit [Ping timeout: 258 seconds]
andreas2 has quit [Read error: Connection reset by peer]
andreas2 has joined #mirage
mort___ has joined #mirage
avsm has joined #mirage
avsm has quit [Ping timeout: 265 seconds]
avsm has joined #mirage
thomasga has joined #mirage
djs55 has joined #mirage
avsm has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
djs55 has quit [Quit: Leaving.]
avsm has joined #mirage
avsm has quit [Ping timeout: 255 seconds]
avsm has joined #mirage
avsm has quit [Quit: Leaving.]
Osheeta has joined #mirage
tlockney_away is now known as tlockney
avsm has joined #mirage
thomasga has quit [Quit: Leaving.]
rgrinberg has joined #mirage
thomasga has joined #mirage
<dsheets>
thomasga, the branch reference name is not an identifier, just a label, yes?
<thomasga>
hum ? what's the difference ?
<dsheets>
branch -> t isn't necessarily a function
<dsheets>
i can reuse names
<dsheets>
or is the name used for lookup somewhere?
<thomasga>
well the branches points to their commit HEAD
<thomasga>
(if that means something)
<dsheets>
erm... do the names get written out to a store as names in some space? like there can only be one branch with a given name in a repo?
<thomasga>
it's like .git/refs/heads/master
<thomasga>
I'm not sure to follow: what's the semantic of adding something to a branch if you have multiple commits corresponding to that branch
<dsheets>
ok, so if i want dynamic branches, i need to make them fresh? is there a lookup op somewhere i am missing?
<dsheets>
well, the branch op gives you a value of type t back which points to the new branch...
<dsheets>
val branch: t -> branch -> t Lwt.t
<thomasga>
when you update somehting: look at the current branch, find the corresponding commit, update the corresponding prefix tree — this gives back a new prefix tree, create a new commit and update the branch to points to it
<thomasga>
ha wait
<dsheets>
is there a function : t -> branch -> t option Lwt.t or something?
<dsheets>
maybe the branch doesn't exist and we don't want to fork
<dsheets>
i have a poor conception of how much this follows git
<thomasga>
Reference.mem
<dsheets>
ok, so branch doesn't fork... just switches the current branch like a git branch
<dsheets>
the doc is slightly confusing
<dsheets>
erm checkout rather
<thomasga>
S.branch reset the new branch to the current commit
<thomasga>
S.create ~branch switches to the existing branch
<dsheets>
so if i have a shared repo, i need to make sure i either namespace my branch names or check for existing branches that i didn't create before calling S.branch?
<dsheets>
is destructive?
mort___ has quit [Ping timeout: 240 seconds]
djs55 has joined #mirage
Osheeta has quit [Quit: leaving]
philtor has joined #mirage
<avsm>
rgrinberg: will look at those cohttp patches asap. my tree's are a tangled state of build systems
<avsm>
rgrinberg: i wonder if it's better to leave Lwt out of the S for now, and sort it out later
<rgrinberg>
avsm: yeah, we should consider those changes once the new build system lands
<rgrinberg>
to avoid that ugly renaming
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
<rgrinberg>
avsm: I noticed you were promising that ocamllabs will sort out the build/tooling mess on reddit (paraphrasing :D)
<avsm>
rgrinberg: i'm so annoyed with it that I'm using the holy 'I' to indicate I might even do the work myself :P
<rgrinberg>
did you mean just renovating ocamlmakefile?
<rgrinberg>
or do we have something fancier in store
<avsm>
taking a good look at jenga this week with the js folk (they're visiting)