ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
Guest83224 has quit [Ping timeout: 265 seconds]
seanmcl has joined #ocaml
ericwa has quit [Quit: Leaving...]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mcclurmc has quit [Remote host closed the connection]
jbrown has quit [Ping timeout: 255 seconds]
mcclurmc has joined #ocaml
jbrown has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
nullcat has joined #ocaml
javamonn has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
badkins has quit []
cesar_ has joined #ocaml
cesar_ is now known as Guest68211
Guest68211 has quit [Ping timeout: 265 seconds]
javamonn has quit [Remote host closed the connection]
dubosec has quit [Quit: Leaving]
javamonn has joined #ocaml
Algebr has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lordkryss has quit [Quit: Connection closed for inactivity]
Algebr has quit [Ping timeout: 246 seconds]
javamonn has quit [Remote host closed the connection]
javamonn has joined #ocaml
c74d is now known as Guest90028
Guest90028 has quit [Ping timeout: 272 seconds]
c74d has joined #ocaml
s1n4 has joined #ocaml
darkf has joined #ocaml
monoprotic has joined #ocaml
javamonn has quit [Remote host closed the connection]
javamonn has joined #ocaml
javamonn has quit [Remote host closed the connection]
javamonn has joined #ocaml
javamonn has quit [Remote host closed the connection]
javamonn has joined #ocaml
djellemah has quit [Ping timeout: 272 seconds]
alpen has joined #ocaml
djellemah has joined #ocaml
testcocoon has quit [Ping timeout: 264 seconds]
tel has quit [Ping timeout: 245 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest96667
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
Guest96667 has quit [Ping timeout: 265 seconds]
shinnya has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
c74d is now known as Guest93542
Guest93542 has quit [Read error: Connection reset by peer]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
javamonn has quit [Read error: Connection reset by peer]
c74d has joined #ocaml
govg has quit [Quit: leaving]
rgrinberg has joined #ocaml
javamonn has joined #ocaml
wting has quit [Quit: leaving]
testcocoon has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
javamonn_ has joined #ocaml
javamonn has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
javamonn_ has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
nullcat has joined #ocaml
MercurialAlchemi has joined #ocaml
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest34083
Guest34083 has quit [Ping timeout: 265 seconds]
javamonn has quit [Remote host closed the connection]
javamonn has joined #ocaml
shinnya has joined #ocaml
javamonn has quit [Ping timeout: 256 seconds]
MrScout has quit [Remote host closed the connection]
Pepe_ has quit [Ping timeout: 265 seconds]
Pepe_ has joined #ocaml
s1n4 has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 248 seconds]
MrScout_ has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
MrScout_ has quit [Read error: Connection reset by peer]
MrScout_ has joined #ocaml
govg has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest14638
Guest14638 has quit [Ping timeout: 256 seconds]
tane has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
psy_ has quit [Quit: Leaving]
Kakadu has joined #ocaml
TheLemonMan has joined #ocaml
rgrinberg has joined #ocaml
psy_ has joined #ocaml
ggole has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
MrScout_ has quit [Ping timeout: 265 seconds]
govg has quit [Ping timeout: 252 seconds]
govg has joined #ocaml
Gama11 has joined #ocaml
ygrek has joined #ocaml
govg has quit [Ping timeout: 256 seconds]
govg has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest1223
Simn has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
Guest1223 has quit [Ping timeout: 265 seconds]
ingsoc has joined #ocaml
dav_ has joined #ocaml
dav has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
mort___ has joined #ocaml
ggole has quit [Ping timeout: 250 seconds]
govg has quit [Quit: leaving]
larhat has joined #ocaml
ggole has joined #ocaml
matason has joined #ocaml
mengu has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
sdothum has joined #ocaml
rgrinberg has joined #ocaml
matason has quit [Ping timeout: 250 seconds]
mort___ has quit [Ping timeout: 244 seconds]
jbrown has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
Haudegen has quit [Ping timeout: 272 seconds]
lordkryss has joined #ocaml
Haudegen has joined #ocaml
ingsoc has quit [Quit: Leaving.]
ingsoc has joined #ocaml
milosn has quit [Ping timeout: 264 seconds]
psy_ has quit [Quit: Leaving]
milosn has joined #ocaml
dav has joined #ocaml
dav_ has quit [Ping timeout: 264 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest29785
Guest29785 has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
jbrown has quit [Ping timeout: 272 seconds]
jbrown has joined #ocaml
Haudegen has joined #ocaml
larhat has quit [Quit: Leaving.]
rand000 has joined #ocaml
psy_ has joined #ocaml
rgrinberg has joined #ocaml
ygrek_ has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
ygrek has quit [Ping timeout: 245 seconds]
nojb has joined #ocaml
ingsoc has quit [Quit: Leaving.]
<flux> did anyone succeed in running ocamp?
yomimono has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest56500
Guest56500 has quit [Ping timeout: 256 seconds]
nojb has quit [Quit: nojb]
ygrek_ has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 245 seconds]
nojb has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 272 seconds]
yomimono has quit [Ping timeout: 250 seconds]
idegen has joined #ocaml
ontologiae has joined #ocaml
BitPuffin has joined #ocaml
Algebr has joined #ocaml
Gama11_ has joined #ocaml
mengu has quit []
Gama11 has quit [Ping timeout: 256 seconds]
Gama11_ has quit [Remote host closed the connection]
Gama11 has joined #ocaml
avsm has joined #ocaml
nojb has quit [Quit: nojb]
ontologiae has quit [Ping timeout: 256 seconds]
nojb has joined #ocaml
javamonn has joined #ocaml
<def`> flux: I had some success, yes
<flux> def`, great! now tell me why does 'ocamp fire' try to execute executable 'fire'?-)
<flux> eventually failing and unlinking the socket, and then eventually trying to unlink it again and throws an exception
<def`> flux: erf, ocamp is using cmdliner, and the server has only one command ("fire")
<def`> so it defaults to using fire without the need to type the subcommand :D
<def`> I should fix that :), but in the meantime, just don't type fire
<flux> ah, so my mistake was trying to follow instructions ;-)
<def`> exactly :D
<def`> and as for the unlinking problem :D… I should fix that :')
<def`> fwiw, this was just a poc, a rewrite is pending :-)
<flux> so, how does the fib.sh need to be modified to work?
<def`> no modification needed
<flux> hmm
<def`> only the invocation command
<flux> so ocamlp ./fib.sh?
<flux> ocamp even
<def`> ocamp yes
<def`> ocamp ./fib.sh 10
<flux> ah, ok, works
<flux> and all the rest of the commands advertised in the README, not there yet?-)
<flux> oh, ok, now I understand it
<flux> they are only under the ocamp environment
<flux> ocamp --help works there differently
Haudegen has quit [Ping timeout: 244 seconds]
javamonn has quit [Read error: Connection reset by peer]
<def`> yep, it distinguish between "client" and "server", whether being invoked at top-level or under an ocamp session
<def`> (btw, ocamp bash gives you an interactive session :-))
<flux> you have a pull request 8-)
<def`> thanks
javamonn has joined #ocaml
<def`> merged (but I've got to go)
<flux> have a nice go! and nice rewrite ;-)
cesar_ has joined #ocaml
<def`> have you an idea what you want to do with ocamp :) ?
cesar_ is now known as Guest84320
<flux> def`, nothing in particular :)
<def`> ok, have fun then :)
Guest84320 has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
rgrinberg has joined #ocaml
darkf has quit [Quit: Leaving]
rgrinberg has quit [Ping timeout: 255 seconds]
tizoc has joined #ocaml
<Kakadu> Which library should I use to benchmark parsers? It is not microbenchmarking, is it?
<flux> depends on your problem I suppose :)
<flux> I think I would just choose some benchmarking module in OPAM
<flux> seems to have 3+1 available
nojb has quit [Quit: nojb]
yomimono has joined #ocaml
nojb has joined #ocaml
<Kakadu> flux: Well, I kind of generate recursive descent from parser combinators........
<flux> ..and you're going to parse a lot of data for performance to matter?
Kakadu has quit []
Kakadu has joined #ocaml
avsm has quit [Quit: Leaving.]
<Kakadu> flux: I should do it, I think
<Kakadu> There is similar thing for Scala. I have adopted input examples from there
BitPuffin has quit [Ping timeout: 252 seconds]
<Algebr> Drup: Is there anything in eliom that gives back the appropriate list of tyxml given say a .markdown file/string?
<Kakadu> Algebr: there were some demos about wiki editor.... afair
<flux> does anyone know if ocaml-aws supports Amazon CloudDrive, and if not, would the package nevertheles be useful for implementing it?
monoprotic is now known as MONOprotic
<flux> ..or if it even works anymore, given it's been updated last time 4 years ago..
<Algebr> probably not
<Algebr> I think it only does s3
<Algebr> Is clouddrive an important service?
govg has joined #ocaml
javamonn has quit [Ping timeout: 252 seconds]
<flux> well, it's a cheap one
<flux> it's a competitor to perhaps dropbox and that cloud backup service I can't recall :)
<flux> $60/year unlimited data.
MONOprotic is now known as monoprotic
<Kakadu> okay. I have generated `optimized` parser from original one which is slower than original one
<Kakadu> everybody can laugh
<ggole> Well, that's progress. Wouldn't it be depressing if there were no difference at all?
AlexRussia has quit [Ping timeout: 250 seconds]
javamonn has joined #ocaml
yomimono has quit [Ping timeout: 272 seconds]
javamonn has quit [Remote host closed the connection]
<Kakadu> Heh, I have rerun test again a couple of times and now total time have reduced by 20% and optimized version is slightly faster
BitPuffin has joined #ocaml
sigjuice has joined #ocaml
<flux> apparently the first step to using those apis is to implement oauth2..
<Algebr> given an opam file, how do I invoke it with just opam
Sorella has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 246 seconds]
AlexRussia has joined #ocaml
ygrek_ has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
BitPuffin has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
BitPuffin has joined #ocaml
Algebr has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
seanmcl has joined #ocaml
seanmcl_ has joined #ocaml
seanmcl has quit [Ping timeout: 272 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest29676
Guest29676 has quit [Ping timeout: 256 seconds]
tane has quit [Quit: Verlassend]
yomimono has joined #ocaml
mearnsh has quit [Ping timeout: 272 seconds]
seangrove has quit [Ping timeout: 264 seconds]
mearnsh has joined #ocaml
sigjuice has quit [Quit: ZNC - http://znc.in]
sigjuice has joined #ocaml
<nojb> What will Bigarray1.Array1.dim return if you use map_file to mmap a very big file on a 32-bit platform ?
<mrvn> int
<mrvn> nojb: you give a size in the map_file call. That should be the return value
sigjuice has quit [Quit: ZNC - http://znc.in]
<nojb> as I understand it you can pass (-1) to map the whole file ...
yomimono has quit [Ping timeout: 250 seconds]
cesar_ has joined #ocaml
nojb has quit [Quit: nojb]
cesar_ is now known as Guest47228
<def`> an exception if the file can't be mapped ?!
<mrvn> if you said the whole file then I would expect the file size
<mrvn> and as def` said the mapping should give an exception if it is too big
<def`> caml_failwith("Bigarray.mmap: file position exceeds file size");
<def`> caml_failwith("Bigarray.mmap: file position exceeds file size");
<def`> caml_failwith("Bigarray.mmap: file position exceeds file size");
<def`> oops, sorry
<mrvn> def`: aeh, that's the wrong line
<def`> if the file can't be mapped, it calls caml_sys_error
ygrek_ has quit [Ping timeout: 244 seconds]
<reynir> kakadu: what about memory usage :)
emaczen has joined #ocaml
nojb has joined #ocaml
Guest47228 has quit [Remote host closed the connection]
javamonn has joined #ocaml
seanmcl_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
yomimono has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
sdothum has joined #ocaml
larhat has joined #ocaml
Gama11 has quit [Ping timeout: 245 seconds]
<emaczen> how can I execute a sequence of statements (exiting the pure functional style) in order to print some strings?
<emaczen> I'm new to ocaml of course :)
nojb has quit [Quit: nojb]
<tokenrove> emaczen: you can separate the statements with semicolons. you may need parentheses or begin/end around the statements depending on the context.
<emaczen> tokenrove: thanks, I think I need parens -- I've been trying semicolons
Gama11 has joined #ocaml
javamonn has quit [Read error: Connection reset by peer]
jbrown has quit [Ping timeout: 244 seconds]
<tokenrove> yes. i guess it's more idiomatic to use begin/end in place of parentheses if the intent is a sequence of imperative statements.
<emaczen> tokenrove: Thanks, I have not seen begin and end yet in the manual
<tokenrove> emaczen: i also recommend Real World OCaml
Gama11 has quit [Ping timeout: 252 seconds]
<emaczen> tokenrove: i'll check it out
Gama11 has joined #ocaml
<tokenrove> i don't see that addressed directly, but it is mentioned in https://realworldocaml.org/v1/en/html/imperative-programming-1.html
jbrown has joined #ocaml
<emaczen> tokenrove: thanks, I just downloaded the free pdf
Gama11_ has joined #ocaml
Gama11 has quit [Ping timeout: 252 seconds]
mridul_seth has joined #ocaml
emaczen has quit [Ping timeout: 246 seconds]
javamonn has joined #ocaml
AlexRussia has quit [Ping timeout: 252 seconds]
struktured has joined #ocaml
robink has quit [Ping timeout: 244 seconds]
jbrown has quit [Ping timeout: 264 seconds]
Hannibal_Smith has joined #ocaml
mridul_seth has quit [Ping timeout: 252 seconds]
robink_ has joined #ocaml
robink_ has quit [Ping timeout: 245 seconds]
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
AlexRussia has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
rgrinberg has quit [Ping timeout: 248 seconds]
rgrinberg has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
dav has quit [Ping timeout: 252 seconds]
robink_ has joined #ocaml
dav has joined #ocaml
dav has quit [Changing host]
dav has joined #ocaml
BitPuffin has quit [Remote host closed the connection]
matason has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
ollehar has joined #ocaml
BitPuffin has joined #ocaml
<Drup> vbmithr: you are alive :D
rgrinberg has quit [Ping timeout: 246 seconds]
BitPuffin has quit [Read error: Connection reset by peer]
cesar_ has joined #ocaml
cesar_ is now known as Guest81121
Guest81121 has quit [Ping timeout: 256 seconds]
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 250 seconds]
ggole has quit []
ollehar has quit [Ping timeout: 252 seconds]
xificurC has joined #ocaml
shinnya has joined #ocaml
nullcat_ has joined #ocaml
robink_ is now known as robink
shinnya has quit [Ping timeout: 245 seconds]
javamonn has quit [Read error: Connection reset by peer]
ollehar has joined #ocaml
dav has quit [Ping timeout: 256 seconds]
dav has joined #ocaml
_whitelogger has joined #ocaml
matason has quit [Ping timeout: 250 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
javamonn has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
<ollehar> why doesn't ocaml "force" a check for try...with when an exception is thrown somewhere in the stack, like with None|Some?
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<flux> that's a good question. I suppose the answer would be: it's not quite as an easy problem to solve.
<Drup> you mean, statically check exception ?
<flux> I think it could be a good idea, but the way that Java does it, that wouldn't fit OCaml (..or Java)
<Drup> There has been multiple thread on the question, but I can summarize to : it's not that easy to check statically and it was not taken into account by the original design of OCaml, so it would be a lot of work to retrofit.
<flux> it would need to be visible in function types, in particular first class functions would complicate function type signatures
<Drup> flux: actually, we have the theory to do it, cf algebraic effects
<Drup> (and the Eff language)
<flux> sounds effin' nice! so I guess it does complicate type signatures a bit there, or is it solved by some other means?
<Drup> well, it does
<Drup> but you can elide some of it
<Drup> so it's not that terrible
<flux> I wonder if it affects the problem that OCaml isn't a side-effect-free language
<flux> I could write a function that says: global := Not_found and then another function that does raise !global
<flux> :)
<flux> I suppose the exception system would need to be revamped, maybe the new open types would help there.
<Drup> flux: then you would have a function that have a type "I throw *something*"
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
arquebus has joined #ocaml
jbrown has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
Gama11 has joined #ocaml
arquebus has left #ocaml ["Konversation terminated!"]
Gama11_ has quit [Ping timeout: 248 seconds]
javamonn has quit [Read error: Connection reset by peer]
javamonn has joined #ocaml
<ollehar> good summary, thanks. :)
Haudegen has joined #ocaml
dav_ has joined #ocaml
BitPuffin has joined #ocaml
javamonn has quit [Remote host closed the connection]
dav_ is now known as dav-
Submarine has quit [Quit: Leaving]
<adrien> (it's also bloody annoying)
<adrien> (if you do it like java that is :D )
cesar_ has joined #ocaml
<adrien> (but you need to have a "last" try/catch somewhere)
cesar_ is now known as Guest4603
rgrinberg has joined #ocaml
dav_ has joined #ocaml
Guest4603 has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 256 seconds]
dav has quit [Ping timeout: 256 seconds]
xificurC has quit [Ping timeout: 248 seconds]
rgrinberg has joined #ocaml
<Leonidas> not even haskell has any kind of good story on this
<Leonidas> and haskell is side effect free
<Drup> well, they sort of do: no exceptions, period.
<rgrinberg> Drup: why did you add lwt.extra to the .merlin of ocsigenserver?
yomimono has quit [Ping timeout: 250 seconds]
<Drup> I did ? is that wrong ?
<Drup> Pretty sure I only copied what was added elsewhere
<vbmithr> Drup: ouais.
<vbmithr> Drup: sort of.
<rgrinberg> Drup: i don't think you need it as I can compile ocsigenserver just fine without it
<Drup> what's inside lwt.extra, already ?
<rgrinberg> Drup: i have no clue what's inside of lwt.extra
<Drup> huum, I think it's Lwt_preemptive
<Drup> nevermind, it doesn't exist anymore, I'll remove it
<rgrinberg> vbmithr: there's still ongoing work on that cohttp branch for ocsigenserver :D
<rgrinberg> is it ok to possibly break people who pretended schemeless urls did not exist
<rgrinberg> or should we just prepend the scheme
struktured has joined #ocaml
<Drup> I don't really have any opinion on the matter
Gama11_ has joined #ocaml
<Drup> rgrinberg: the more important question is: why is that new ?
<rgrinberg> before cohttp would just hardcode a scheme incorrectly
<Drup> I see
<Drup> you mean, choose a default scheme ?
<rgrinberg> yeah
<Drup> that seems sensible to me, why is it wrong ?
Gama11 has quit [Ping timeout: 264 seconds]
<Drup> can you even correctly resolve a scheme less url ?
nullcat has joined #ocaml
<rgrinberg> Drup: sure it's the best way of specifying static asset urls in the browser
<rgrinberg> as it works with http and https
Hannibal_Smith has quit [Remote host closed the connection]
<rgrinberg> Although you do have a point, I wonder why the scheme wasn't copied here :O https://github.com/mirage/ocaml-cohttp/blob/0ad0931ec157c7dcb448218c8c62fb7126b1a7a1/lib/request.ml#L116
MercurialAlchemi has quit [Ping timeout: 272 seconds]
Simn has quit [Quit: Leaving]
adc90 has joined #ocaml
adc90 has quit [Read error: Connection reset by peer]
mcc has joined #ocaml
<rgrinberg> It's right though, the host header can't really contain the scheme
<vbmithr> rgrinberg: haha
<vbmithr> rgrinberg: how is the work going BTW ?
<rgrinberg> vbmithr: there's progress but it's a strange workflow https://github.com/ocsigen/ocsigenserver/pull/64
<rgrinberg> dinosaure does the commits and then Drup massages them while i review
<vbmithr> interesting :)
<vbmithr> Yeah I remember Drup showing me the process.
<vbmithr> Good job though! It's nice you have the time to work on this!
<rgrinberg> vbmithr: Never enough time to mess around like this :D
<rgrinberg> vbmithr: also, this person seems to be making sense https://github.com/rgrinberg/onanomsg/issues/6
<Drup> rgrinberg: eh! I do review too!
<vbmithr> Ah, yep.
<vbmithr> Yes, for #6
<Drup> just not on the finer webserver internals :>
<vbmithr> I'm gonna check/fix this.
Gama11_ has quit [Read error: Connection reset by peer]
<Drup> rgrinberg: about scheme-less url. Right, it makes sense
<rgrinberg> Drup: I've thought about it more and IMO the schema being absent is "fine" but not ideal. The field could be used as a hint whether the current connection is secure but it says nothing about the original request if it comes from a proxy.
<Drup> A thing I don't understand, though, is why in hell we are re-parsing the url. Why is it not a Url.t ?
<rgrinberg> Drup: because you guys re-export Url.t = string unfortunately :/
<Drup> well
<Drup> We could fix that.
<Drup> and finally use ocaml-uri
<Drup> it's been long overdue
<Drup> and it would help decrease the amount of regexp with have
<Drup> we*
<Drup> rgrinberg: can you split https://github.com/ocsigen/ocsigenserver/pull/68/files in two patch, one on ocsigen_stream (+ opam) and one on cohttp
<Drup> push in the same branch, I don't care, I will cherry-pick
<haesbaert> I'm missing something really trivial but I can't seem to know what, https://pbot.rmdir.de/ruZda4JYJwj249wXxMKl7w
<haesbaert> says File "hdhcpd.ml", line 18, characters 9-14:
<haesbaert> it's the pkt.htype <> ...
<haesbaert> but dhcp.mli has: https://pbot.rmdir.de/gp6uG_jEsB0JCcDrZEvcgg
<ollehar> pastsebin with line numbers?
<haesbaert> ack, my bad
<haesbaert> http://codepad.org/Twh8E6qG (line 18, Unbound record field htype
<haesbaert> this is where the definition is
<Drup> that's easy, do you link the other file ?
<haesbaert> I do, I even use functions from it
<Drup> try pkt.Dhcp.htyp
<haesbaert> ack, that worked
<haesbaert> that's kinda a bit verbose, any way I can have as pkt.htype ?
<Drup> which version of OCaml are you using ?
<haesbaert> 4.02.1
<Drup> really ? surprising
<Drup> haesbaert: give me the whole code source in a compilable/project form
<haesbaert> ack, 1s
<rgrinberg> Drup: how come you prefer to split it? :O
<rgrinberg> but sure
<Drup> rgrinberg: because I want the first commit in new_interfaces
<haesbaert> haesbaert.org/hdhcp.tar.gz
<haesbaert> I've just copied the pkt from dhcp.ml to dhcp.mli to "export" it
<rgrinberg> Drup: done
<Drup> haesbaert: ok, you can't, record disambiguation doesn't work here, for whatever reason
<nullcat> Drup: do you know linear type system?
<rgrinberg> nullcat: hello :D
<haesbaert> Drup: anything I could change to fix the disambiguation ?
<nullcat> hi..
<Drup> nullcat: a bit, why ?
<Drup> haesbaert: you can add a type annotation on the argument
<mcc> Arg defines "exception Help of string". Anyone know what Arg does with the string argument to Help? the docs do not clarify.
<Drup> but it's not really great
<haesbaert> Drup: I'
<mcc> (...yes, I'm still on this...)
<haesbaert> I'd be happy with that, how do I do it ?
<Drup> mcc: :D
<nullcat> i am reading advanced topics in TAPL to prepare my report. But they are all very theoretic, I am wondering if there exists any small examples that can illustrate its benefits..?
<nullcat> rgrinberg: hello, is there anything going on? <(='_'=)?>
<Drup> haesbaert: "let input_pkt (pkt:Dhcp.pkt) ="
<Drup> but really, it's not better, just let it like it's now
kakadu has quit [Remote host closed the connection]
<haesbaert> oh but I'll use a lot of pkt.things in that function
<nullcat> I went to typetheory IRC but they explained badly...
<Drup> haesbaert: it may disambiguate better some other time
<rgrinberg> nullcat: same old crap with ocsigen now but there's some progress!
<nullcat> good...
<Drup> nullcat: well, just do the tutorial of Rust :D
<Drup> or mezzo
<haesbaert> Drup: you mean at some point it might notice it is a Dhcp.pkt ?
<nullcat> I have 2 hours free time now and can do any test on OS X, if you want me to
<Drup> haesbaert: well, it will depends of the function
<nullcat> rust... Oh
<rgrinberg> nullcat: i've pushed out cohttp 0.16.0 so now i'm wondering what will happen for 0.17.0
<nullcat> rgrinberg: I saw that. We still have 35 issues left...
<haesbaert> Drup: ok
<Drup> haesbaert: don't overthink it, just write your code and see if it's disambiguate
<rgrinberg> nullcat: I want to do #238, #279, and add a bunch of tests
<rgrinberg> nullcat: the tests are the boring bit so I can do that but you can tackle one of those 2 tickets
<nullcat> I can help to write tests
<rgrinberg> if you want
<nullcat> lol
<Drup> mcc: nobody can answer you, we all use cmdliner :3
<Drup> (not exactly true, but close enough :D)
<rgrinberg> nullcat: #232 is a good candidate is also good b/c it's mostly done just needs to be integrated to the main tree
<nullcat> ok it's fine. I can do anything I have enough knowledge to handle
<nullcat> let me c
<haesbaert> Drup: it's kinda funny cause the only caller of input_pkt does a input_pkt (Dhcp.pkt_of_buf buffer n)
<Drup> nullcat: mezzo is nicely explained
<rgrinberg> nullcat: yep just pick what's the most interesting to you
<nullcat> ok
<nullcat> Drup: thanks!
<Drup> (especially the related phd thesis)
<rgrinberg> Drup: is mezzo worth looking at? :O
<Drup> sure
<rgrinberg> i mean is it usable with normal OCaml code
<Drup> oh
<Drup> huum, I'm not sure if the OCaml FFI was done in the end
<Drup> it was planned
<rgrinberg> Drup: ah that's kind of sad i thought you could reuse ocaml modules
<mcc> drup: fair enough!
cesar_ has joined #ocaml
cesar_ is now known as Guest51083
<haesbaert> Drup: a let open Dhcp in, gives the behaviour I want, is it bad style in that point ?
<Drup> not really, just more verbose
<Drup> and you are highly overthinking this.
<haesbaert> ack, I'll just go on then
<nullcat> rgrinberg: #279 cannot be done now b/c we need to wait Jane Street to release the next version
Guest51083 has quit [Ping timeout: 256 seconds]
<Drup> rgrinberg: arg, now, you didn't got it
<Drup> I want the cohttp part in a different patch
<Drup> not the opam part.
<rgrinberg> nullcat: why?
<nullcat> ok it does not really matter though... i see
<rgrinberg> nullcat: yeah we don't have to wait for them to fix that trivial issue
<nullcat> just to want to ask this question which I still don't know the answer: if cohttp_async still has Unix dependency, it cannot be used on Mirage. right?
<rgrinberg> nullcat: that's correct
<nullcat> to generalize, if any library has Unix dependency, it cannot be used in Mirage? I am confused
<rgrinberg> Drup: i still don't get it :O cohttp part?
<rgrinberg> nullcat: i think that's true
<Drup> rgrinberg: ok, i'll do it.
<nullcat> thx. I've been using Cryptokit and keep wondering how it can be used on Mirage since Cryptokit needs to use Unix's entrophy...
<nullcat> well, now I'll assume Mirage has its way to generate entropy
<nullcat> yeah, entropy, not entrophy
dav- has quit [Ping timeout: 255 seconds]
<Drup> rgrinberg: finished
adc90 has joined #ocaml
<adc90> Hello?
<Drup> Hello.
adc90 has quit [Read error: Connection reset by peer]
mcc has quit [Quit: This computer has gone to sleep]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
<Drup> rgrinberg: "request |> Request.uri" <- don't you feel silly when writing this kind of things ? :p
<rgrinberg> Drup: ha, sometimes I clean it up later
<rgrinberg> I do usually prefer writing stuff with |> and changing it if it looks odd later
<Drup> it's not really a question of looking odd, it's that the left is an identifier, there are no need for parens to begin with...
javamonn has joined #ocaml
nullcat__ has joined #ocaml
rand000 has quit [Quit: leaving]
nullcat has quit [Ping timeout: 252 seconds]
keen____ has joined #ocaml
javamonn has quit [Ping timeout: 250 seconds]
keen___ has quit [Ping timeout: 264 seconds]