<noddy>
somebody should make a base64 package. ocaml-dns, cohttp and nocrypto at least all have their own versions.
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
<avsm>
noddy: yeah
<avsm>
well volunteered :)
<avsm>
noddy: got you a sweet desk. my old phd desk!
<avsm>
dsheets: meerrrggge
<dsheets>
avsm, ya, got a little fixup then i'll release
<avsm>
yay!
<avsm>
+comparelib?
<dsheets>
tell me what that actually does and why i want it... i think most of the relevant types are already comparable.
<dsheets>
it was all defined to work inside Map.Make
<dsheets>
i'm thinking cppo or optcomp or similar may be a better solution than trying to factor sexplib
<noddy>
avsm: where is the desk?
<avsm>
noddy: just confirming it, might be a clash
<avsm>
dsheets: i dont care about comparelib
<dsheets>
ok... but the people who do: are they satisfied by val compare : t -> t -> int?
<avsm>
i thought you were the one who wanted it :)
<avsm>
for irmin?
<avsm>
but yes, comparelib just generates that function
<dsheets>
oh, just because it was complaining at me for some simple tag variant of macro values i made
<dsheets>
overall, i think the solution to the type annotation problem is preprocessing, though
<dsheets>
something lighter than camlp4, though
djs55 has quit [Quit: Leaving.]
<hannes>
yay, client state machine rewrite typechecks :D
djs55 has joined #mirage
djs55 has quit [Client Quit]
mcclurmc has joined #mirage
cr409 has joined #mirage
mcclurmc has quit [Remote host closed the connection]
boogie has joined #mirage
boogie has quit [Ping timeout: 276 seconds]
djs55 has joined #mirage
mcclurmc has joined #mirage
boogie has joined #mirage
rgrinberg has joined #mirage
thomasga has quit [Quit: Leaving.]
boogie has quit [Ping timeout: 252 seconds]
djs55 has quit [Quit: Leaving.]
djs55 has joined #mirage
tlockney_away is now known as tlockney
rgrinberg has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
rgrinberg has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
cr409 has quit [Ping timeout: 255 seconds]
avsm has quit [Quit: Leaving.]
boogie has joined #mirage
dsheets has quit [Ping timeout: 245 seconds]
avsm has joined #mirage
avsm has quit [Client Quit]
thomasga has joined #mirage
mcclurmc has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
cr409 has joined #mirage
rgrinberg has joined #mirage
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #mirage
philtor_ has joined #mirage
cr409 has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: Leaving.]
philtor_ has quit [Ping timeout: 252 seconds]
thomasga has quit [Ping timeout: 240 seconds]
philtor has joined #mirage
rgrinberg has joined #mirage
cr409 has joined #mirage
thomasga has joined #mirage
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
philtor has quit [Ping timeout: 240 seconds]
avsm has joined #mirage
cr409 has quit [Ping timeout: 255 seconds]
* avsm
undoes a couple of hours of code
<avsm>
rgrinberg: that build system thing is surprisingly tricky. it's almost impossible to modify ocamlbuild to stage a -pack in a subdirectory without rewriting all the rules
<whitequark>
noddy: and extlib!
<rgrinberg>
avsm: dammit. so is the plan to fix ocamlbuild or to switch to something else?
<avsm>
rgrinberg: not sure, going to try the alternatives after i flush the patchqueue
<avsm>
noddy: do we support client certificates in the ocaml stack?
cr409 has joined #mirage
philtor has joined #mirage
<noddy>
avsm: not right now / only partially but we will
<avsm>
noddy: just thinking about symmetry for client/server requests in conduit
<noddy>
there is some (both sides can present a cert and can require a validator to validate the other side) but the common case breaks the symmetry
<noddy>
current client initialization functions have a `cert option` for this
<avsm>
noddy: does anyone support using a client cert like this in a major site? (github?)
<avsm>
i notice https is still user/pass there for github
<noddy>
afaik no
<noddy>
major use case is a custom net protocol
<noddy>
or mail or such
<noddy>
( i might be wrong but afaik )
<avsm>
seems right to me
<avsm>
alright, conduit works. just need to functorize it across unix/mirage tomorow morning
AltGr has left #mirage [#mirage]
<thomasga>
travis builds of irmin takes so long ...
<avsm>
thomasga: need an 'automerge if succeed' for ultimate laziness
<thomasga>
well binary packages would be even better :p
<thomasga>
I'm quite happy with my new API
<thomasga>
I'm ready to add the new features now
<avsm>
almost done with conduit. i think it'll be easy to add irmin checkpointing for these
<avsm>
just thinking about how the unix version would work. need to be able to reify fds and reconstruct them on unmarshal
avsm has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
thomasga has quit [Client Quit]
philtor_ has joined #mirage
NoNNaN has quit [Remote host closed the connection]