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
<struktured> I was wondering what all the focus about fixed points in ocaml was all of a sudden..
keen_ has quit [Read error: Connection reset by peer]
keen_ has joined #ocaml
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
AltGr has joined #ocaml
badkins has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
kdef has quit [Quit: Leaving]
<Drup> rgrinberg: the issue is earlier in the toolchain
<Drup> when parsing the header
<Drup> well, the frame really
<Drup> in ocsigen branch, the url is truncated and contains only the path and after, it seems
<Drup> master branch*
<Drup> I'm not sure what to fix, at this point.
nojb has quit [Quit: nojb]
<Drup> the cohttp migration break ocsigenserver because cohttp is correct :>
Nijikokun has joined #ocaml
nojb has joined #ocaml
<Drup> the funny part is that I'm pretty sure some value are garanted to be None in the master branch because of that, I wonder how it works down the line
nojb has quit [Quit: nojb]
jwatzman|work has quit [Quit: jwatzman|work]
<rgrinberg> Drup: i'll have a look later tonight. can you update the PR with your findings
<rgrinberg> e.g. link to the truncation
nojb has joined #ocaml
_pakchoi_ has joined #ocaml
<Drup> I'm fixing it
<Drup> by removing the old pipeline and iterating until it produces consistent metadata between old and new version
<rgrinberg> go go Drup
_pakchoi_ has quit [Client Quit]
_pakchoi_ has joined #ocaml
<Drup> and recompiling eliom inbetween è_é
_pakchoi_ has quit [Client Quit]
claudiuc has quit [Remote host closed the connection]
swgillespie has joined #ocaml
<Drup> wow
<Drup> it's working
<rgrinberg> *_*
<Drup> well, not completely
<Drup> it's working *better*
djellemah_ has joined #ocaml
<Drup> https://bpaste.net/show/50853c50afde with "new_interfaces"
<Drup> oops, wrong one
<rgrinberg> how does the first link not have a scheme? O_O
<Drup> https://bpaste.net/show/bdf7f68d66b0 with "new_interfaces"
<rgrinberg> i thuoght i added it
<Drup> rgrinberg: I may not have updated cohttp
<rgrinberg> no that was an ocsigenserver#cohttp work around
<Drup> I don't remember such patch
djellemah has quit [Ping timeout: 256 seconds]
nojb has quit [Quit: nojb]
<rgrinberg> wtf O_O trying to find it
<Drup> I remember your other patch
<rgrinberg> Drup: wtf you killed my patch :P
<Drup> did I ?
<rgrinberg> haha i don't know but it's gone
<Drup> did you do a pull request for it ?
<Drup> craaap :(
<rgrinberg> yes that one
<Drup> ok, adding it back
<rgrinberg> Drup: what happened to it?
<Drup> I have no idea
<rgrinberg> lost in some rebase haze
<rgrinberg> :P
<Drup> I tried to be carefull when rebasing
<rgrinberg> anyway i don't think this will fix anything but for the poor sod out there relying on it...
<rgrinberg> btw this is why the url parsing was failing befor O_O
<Drup> hum, I probably picked your commit, tried to rebase it into a previous commit, show some conflicts, decided it was too complicated, aborted and forgot to pick again
The_Mad_Pirate has joined #ocaml
<rgrinberg> like i said it relies on ^https? being present
<Drup> rgrinberg: as I said
<Drup> even before parsing
<Drup> the url are different
<Drup> after parsing the headers
<Drup> (but yes, it's totally possible)
natrium1970 has quit [Quit: natrium1970]
nojb has joined #ocaml
moei has joined #ocaml
_pakchoi_ has joined #ocaml
<Drup> (why can't git do partial stashes :x)
nojb has quit [Client Quit]
<rgrinberg> Drup: the patch doesn't apply cleanly?
<rgrinberg> it's trivial
<Drup> aaarg
<Drup> rgrinberg: it works fine with your patch
<Drup> I feel so sad now that I spend time debuging this é_è
<rgrinberg> now you learned some uri though
<Drup> indeed
<Drup> and I added loging
<rgrinberg> :P
<rgrinberg> hopefully all the patches are there
<Drup> pretty sure that's the only I missed
<rgrinberg> yeah, dinos stuff looks like it's there
<rgrinberg> Drup: you also cleaned up that ugly re too right?
<rgrinberg> relying on Uri accessors
<rgrinberg> instead
<Drup> No, I stashed the patch
<Drup> it doesn't work for everything directly
<rgrinberg> ok, can you make a PR for it somewhere though?
<Drup> so gotta take the safe solution for now and bring it back later
<rgrinberg> i'd like to have a look
pyon has quit [Ping timeout: 264 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest868
<Drup> rgrinberg: pushed all my current patches now, you can start again testing :)
<Drup> https://github.com/ocsigen/ocsigenserver/commit/add5868367a5717fda28ce260e3f82a36d4d40cc the uri patch is here, I will put it aside for now, it's not the most important
Guest868 has quit [Ping timeout: 265 seconds]
<struktured> what is a good "is_nan" in ocaml? compare nan x = 0 ? or is it.. nan == x ? or something else entirely?
<Drup> x == x
<Drup> that's (almost) the specification of nan :p
<struktured> yeah that was my first solution but I feel like I'm abusing ==
<struktured> nan is so weird..I'll never come to terms with it
<Drup> this is probably the least weird things among FP numbers
<struktured> so true
<Drup> denormalized numbers are ... X_x
<struktured> I wasted 4 hours yesteday thinking my algorithm was numerically unstable. turns out I didn't understand the range of my function
<Drup> you think it's clever, then you try to prove properties about them, and you cry
<struktured> Drup: I got scared thinking of FP computations after running into this earlier today: http://lara.inist.fr/bitstream/handle/2332/698/LIP-RR1998-12.pdf?sequence=1
<struktured> related to it, is how they don't know how make iterations to approximate a continued fraction. fabulous
<struktured> *how many iteraitons
rgrinberg has quit [Ping timeout: 256 seconds]
<Drup> Jean Michel Muller was my teacher about FP things :D
BitPuffin has quit [Ping timeout: 245 seconds]
<Drup> (proof about FP numbers, on blackboard at 9 in the morning, he literally killed us)
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ygrek has joined #ocaml
badkins has quit []
rgrinberg has joined #ocaml
swgillespie has joined #ocaml
<rgrinberg> Drup: why is the ip different :O
<Drup> I have no idea
<Drup> I'm doing all the tests right now
<Drup> can you try too
<Drup> ?
<rgrinberg> yeah
<rgrinberg> kind of curious - how much work would it take to rip out string urls out of eliom?
<Drup> for tyxml, basically none
<Drup> it's in the base functor
<Drup> so, for the html stuff, it's pretty much free
struktured has quit [Ping timeout: 245 seconds]
<Drup> once you have done ocsigenserver, eliom will follow, I think
<Drup> the tricky part being, obviously, to produce the exact same behavior as current ocsigenserver
<rgrinberg> hopefully not bug for bug
pyon has joined #ocaml
<Drup> yeah
<rgrinberg> "broken on both" ^_^
<Drup> so many tests
<Drup> so little automation
<rgrinberg> Drup: would it be possible to have ppx_deriving show piggy back on sexp when there's no deriving instance?
<Drup> No
<Drup> you need access to the Env for that, and you don't have it at ppx time
manizzle has quit [Ping timeout: 246 seconds]
<Drup> however, [@printer (fun fmt x -> Sexp.pp fmt (to_sexp x)] should work well
<Drup> note that for ocsigenserver, dinosaure wrote a printing function (and removed all usages, for whatever reason)
<Drup> (or Cohttp.Request.t)
<rgrinberg> what kind of a test suite is this T_T
<Drup> don't ask me
<rgrinberg> Drup: i guess we assume that double failure is success
<rgrinberg> or file a bug on eliom
<Drup> yeah, I'm just posting them there by lazyness
<rgrinberg> ps 0.16.0 has been released so you don't need to pin cohttp
<rgrinberg> although i run everything against master
<Drup> hum
<Drup> comet is broken
<rgrinberg> which test is that
<Drup> nevermind, it's only broken if you use 127.0.0.1 instead of localhost, and for both
<Drup> (and work otherwise)
cesar_ has joined #ocaml
cesar_ is now known as Guest7023
struktured has joined #ocaml
<rgrinberg> Drup: you brought back lwt.extra T_T
<Drup> I forgot to remove it :D
nullcat_ has joined #ocaml
shinnya_ has quit [Ping timeout: 264 seconds]
<Drup> didn't now this eliom monitor thing
<Drup> rgrinberg: at the /monitor path
<Drup> the cohttp branch has twice less minor gc
<rgrinberg> :O
<rgrinberg> any other differences?
<Drup> twice less active lwt thread, probably the cause
<Drup> 3 vs 6
<Drup> twice more words in the major heap
<Drup> a bit less file descriptor too
<Drup> nothing highly conclusive, anyway, the server is not doing much
<Drup> rgrinberg: are you motivated to investigate the IP address bug ?
<Drup> I can tell you it's the remote_ip_addr_* fields in the request_info stuff
Sorella has quit [Quit: Connection closed for inactivity]
<rgrinberg> Drup: sure but imo it's low priority
<Drup> well, I don't see any other failure at this point
<rgrinberg> what was the conclusion with cumulus?
<Drup> dinosaure said it was working
<Drup> AltGr: ping ?
<rgrinberg> can he convince jpdeplaix to run it in production?
<rgrinberg> if it's "working"
<Drup> rgrinberg: they did at some point :D
<rgrinberg> ok what about ocsigen.org itself
<rgrinberg> can we run that in production :P
<Drup> ok, trying to compile ocsimore :>
* Drup expects explosions
<Drup> I don't even have it cloned :D
<AltGr> hm, yes N
<AltGr> ?
<AltGr> Hello :)
<Drup> hi
<rgrinberg> Drup: about make run.opt.local, why doesn't it serve the directory content for /ocsigenstuff/
<rgrinberg> Drup: it doesn't seem like a cohttp thing but i'd like to test it
<Drup> you mean list the files
<Drup> ?
<Drup> probably because it's an option disabled by default
<Drup> you can enable it, I guess
<rgrinberg> Drup: how do i?
<Drup> I linked you the config doc the other day
<Drup> give me a sec
<rgrinberg> it talks about "listdir"
<rgrinberg> but i'm not sure where to shove it
<Drup> yes, that.
_pakchoi_ has quit [Remote host closed the connection]
<AltGr> Drup, hm, so you need specific apt repo to be installed for the package tests to run ?
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Drup> AltGr: well, for the package to compile period
<Drup> I need llvm 3.6 and that's not in ubuntu
<Drup> rgrinberg: add <extension findlib-package="ocsigenserver.ext.extendconfiguration"/> under the other extension
<AltGr> hm, there is currently a way, but I really don't like it
<Drup> and add <listdirs value="true" /> inside the <host> tag
<AltGr> (it's totally insecure, and will be removed in 1.3; although I don't have a solution yet to fill that gap)
<Drup> (god that would be better with option arguments)
nullcat has joined #ocaml
<AltGr> also, what about other OSes ?
<Drup> what about it ? my thing is pure ocaml, once llvm is installed
<AltGr> well, you can host a shell-script and put the URL in depexts, with flag "source"
<Drup> AltGr: also if you look at the logs, I think there may be some aspcud issues. The chocies are not always optimal
<Drup> AltGr: shouldn't that be done in llvm ?
<Drup> wait, isn't that already done in llvm ?
<AltGr> then opam-depext will download and run it
<AltGr> ah, possibly
<rgrinberg> Drup: insane, it works
<Drup> rgrinberg: xml magic
<Drup> AltGr: wouldn't help the "recent-llvm" issue
<rgrinberg> let's see if ocsigen can do something useful with some pom.xml i have around...
<Drup> AltGr: then the opam CI script should use that ?
<Drup> (it clearly doesn't at the moment)
yomimono has quit [Ping timeout: 250 seconds]
nullcat has quit [Client Quit]
<Drup> (I'm not sure how I feel about the script adding a ppa, but that's not really my concern)
Sorella has joined #ocaml
Guest7023 has quit [Remote host closed the connection]
<AltGr> hm, indeed, I thought opam-repo's travis script used opam-depext, but not yet ; it does the checks and installs manually from the shell
<Drup> So many questions in this file :|
<Drup> oh, rgrinberg, it's even in latin1 !
<AltGr> and for some reason `opam install llvmgraph -e source,linux` doesn't return the expected results (bad versions ?). It should use `opam list --rec --required-by llvmgraph -e source,linux -s`, which works properly, anyway.
<rgrinberg> *sigh*
<rgrinberg> Drup: there was this news that the French government posted their civil laws on github
<rgrinberg> i wanted to check if it was latin-1 :P
<Drup> oh, I didn't look
<Drup> (and it was not the french gov, just a french enthusiast)
<rgrinberg> so does ocsimore compile?
<Drup> nope, but for something unreleated
<Drup> (we changed the logging system not too long ago)
<rgrinberg> Should we test this for example? https://github.com/ocsigen/eliom-base-app
<Drup> that's going to be tricky
<Drup> I'm not sure on which branch of eliom it relies now
<Drup> will ask vincent tomorrow
<rgrinberg> We'll need some longer running tests in production
<rgrinberg> to test for things like memory leaks
<Drup> I know
darkf has joined #ocaml
<rgrinberg> Drup: so what is an ocsigen http frame conceptually?
<rgrinberg> just a response i guess..
<Drup> well, look at the types
<Drup> I don't really have a better answer than that
<rgrinberg> yeah the name thuogh
<rgrinberg> not really sure what it's supposed to hint at
<Drup> I always though it was, you know, an http frame :D
<Drup> but never really wondered, since it doesn't interest me
<Drup> there is a ldap client in ocsimore
<Drup> and a wikicreole parser
<AltGr> Drup, ok: it's just because the llvm.3.2 package is broken
<AltGr> and the CI scripts run without aspcud, and that version gets chosen
<Drup> AltGr: hum, is it the case for all bots ?
<AltGr> I guess; I have plans for large improvements of opam repo's CI scripts
<Drup> ok
<Drup> rgrinberg: also some pam stuff in there
MisaMisa has joined #ocaml
<Drup> (fabulous adventures in the land of unsplitted ocsigen libraries)
<rgrinberg> any smtp implementations?
<rgrinberg> an odd proof of fermat's last theorem lying around?
<rgrinberg> perhaps
<Drup> I wouldn't exclude the smtp implementation somwhere
<Drup> rgrinberg: do you have a script for latin1 to utf8 ?
<Drup> (or a cli)
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
<Drup> AltGr: what should I do for the llvmgraph PR ?
<AltGr> either depend on a higher version of llvm, or add depext scripts to the older 3.2, I guess
<Drup> I already depend on llvm 3.6 for the new version
<Drup> the old version doesn't, because it has no reason to
rgrinberg has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
ggole has joined #ocaml
<Drup> rgrinberg: ocsimore fixed, didn't tried to run it, as it needs a postgres db and stuff and I'm going to bed
<rgrinberg> Drup: no but i do it pretty quickly if it's the same kind of change in vim
<rgrinberg> or i just delete the comment :P
<rgrinberg> Drup: so early?
<Drup> yes, so early :p
s1n4 has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has quit [Ping timeout: 244 seconds]
WraithM has joined #ocaml
swgillespie has joined #ocaml
MercurialAlchemi has joined #ocaml
swgillespie has quit [Client Quit]
<SGrondin> I'm benchmarking different platforms at work for a new backend that needs to serve over 100,000 req/s
<SGrondin> I did Node, OCaml, Python and now I'm doing Vert.x (Java)
<SGrondin> OCaml blows everything out of the water in terms of speed and code quality
<SGrondin> Vert.x is nice but sooooooooooo verbose, all the callbacks are done by hand in anonymous inner classes and the API is both complex and incredibly undocumented
<SGrondin> Not sure about its performance yet, but it usually wins all the http benchmarks... stay tuned
rgrinberg has joined #ocaml
<Drup> SGrondin: which lib for ocaml ?
<SGrondin> cohttp of course!
<SGrondin> with Core and Lwt
<Drup> ok
<rgrinberg> SGrondin: i'd actually async to do better than lwt
<rgrinberg> it's much more optimized
<SGrondin> hmm, good to know
<SGrondin> I just like using Lwt so much more
<rgrinberg> SGrondin: i had a blog post about it :P
<rgrinberg> lwt vs async that is
<rgrinberg> async also wraps epoll directly which i imagine is pretty impossible to beat on linux
<SGrondin> Yeah I remember it
<Drup> last time I asked about async vs lwt benches, the results were mixed
<Drup> it was basically "depends of what you are doing"
<Drup> you are saying async is faster ?
<rgrinberg> Drup: when was that? I keep seeing more and more optimizations done to async
<rgrinberg> while lwt is kind of in maintenance mode
<Drup> a few month ago
<rgrinberg> Drup: can i see it?
<Drup> not really, it was IRL :p
swgillespie has joined #ocaml
<rgrinberg> anyway cohttp is pretty good for testing both of these
<SGrondin> yeah
<rgrinberg> but yes there's too many variables
<rgrinberg> does not matter though, using kills kittens and the community
<rgrinberg> only use it when you must
<SGrondin> I agree, I just wish Lwt was more maintained
<SGrondin> In the future I'd like to contribute to it
<rgrinberg> SGrondin: that's one advantage to lwt
<rgrinberg> you can contribute to its development effectively
<rgrinberg> async is developed behind closed doors and tarball dropped on us
<rgrinberg> SGrondin: i'm also interested to see what this is going to bring to the table https://github.com/fdopen/uwt
<SGrondin> oh yeah!
<rgrinberg> https://github.com/fdopen/uwt/blob/master/examples/dns.ml ppx import is so weird O_O
cesar_ has joined #ocaml
cesar_ is now known as Guest87813
Guest87813 has quit [Ping timeout: 245 seconds]
larhat has quit [Quit: Leaving.]
MisaMisa has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
olibjerd has joined #ocaml
Submarine has joined #ocaml
manizzle has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
psy_ has quit [Ping timeout: 246 seconds]
Submarine has quit [Quit: Leaving]
SGrondin has left #ocaml [#ocaml]
ericwa has quit [Quit: Leaving...]
MisaMisa has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
psy_ has joined #ocaml
<jpdeplaix> rgrinberg: mmmh ? What did I do ?
<rgrinberg> jpdeplaix: we want to guinea pig cumulus to test the cohttp ocsigenserver branch
<rgrinberg> in production :D
nullcat has joined #ocaml
swgillespie has joined #ocaml
<rgrinberg> as it seems to work locally
<jpdeplaix> ahhh euh yes. Which branches of eliom and ocsigenserver do I have to use ?
<rgrinberg> eliom/cohttp only has 1 tiny commit though
Sorella has quit [Quit: Connection closed for inactivity]
<jpdeplaix> rgrinberg: does it still relies on the dev version of cohttp and conduit ?
<rgrinberg> jpdeplaix: nah, the 2 latest versions of cohttp should work (0.15.2 and 0.16.0)
<rgrinberg> prefer the latest though
<jpdeplaix> okay
mjboa has joined #ocaml
ygrek has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
cesar_ has joined #ocaml
cesar_ is now known as Guest25481
Guest25481 has quit [Ping timeout: 245 seconds]
MisaMisa has quit [Quit: Textual IRC Client: www.textualapp.com]
nojb has joined #ocaml
WraithM has quit [Quit: leaving]
nojb has quit [Client Quit]
Nijikokun has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
djellemah_ has quit [Quit: Leaving]
<jpdeplaix> Drup: I got « ocamlfind: Package `ppx_deriving.std' not found » with the 4.01.0
djellemah has joined #ocaml
<jpdeplaix> rgrinberg: ^
<rgrinberg> jpdeplaix: looks like you need to install ppx_deriving too Drup added it for debugging :P
<jpdeplaix> rgrinberg: but I'm not using the 4.02 :/
<jpdeplaix> so I can't install it
<rgrinberg> jpdeplaix: doing git revert on this commit should be enough https://github.com/ocsigen/ocsigenserver/commit/2e5465a78dda4ebca5430be9f824b155a2cd7581
<jpdeplaix> mmh ok I'm gonna do another branch without this one
darkf_ has joined #ocaml
<jpdeplaix> done
darkf has quit [Ping timeout: 245 seconds]
Simn has joined #ocaml
<jpdeplaix> rgrinberg: done. It's running
<jpdeplaix> Drup: ^
<jpdeplaix> dinosaure: ^
<rgrinberg> jpdeplaix: awesome! just checked still running for me :D
darkf_ is now known as darkf
ocp has joined #ocaml
<companion_cube> o/
rwmjones_hol is now known as rwmjones
johnelse is now known as johnel_away
lanii has joined #ocaml
johnel_away is now known as johnelse
axiles has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
rgrinberg has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
freling has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest98443
Guest98443 has quit [Ping timeout: 245 seconds]
jbrown has joined #ocaml
testcocoon has joined #ocaml
dsheets has quit [Ping timeout: 265 seconds]
milosn has quit [Ping timeout: 250 seconds]
rossberg has joined #ocaml
lanius777 has joined #ocaml
lanii has quit [Ping timeout: 245 seconds]
manizzle has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
kakadu has joined #ocaml
dsheets has joined #ocaml
nojb has joined #ocaml
oscar_toro has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
milosn has joined #ocaml
AltGr has left #ocaml [#ocaml]
ollehar has joined #ocaml
mjboa has quit [Quit: leaving]
cesar_ has joined #ocaml
cesar_ is now known as Guest41639
Guest41639 has quit [Ping timeout: 245 seconds]
nojb has quit [Quit: nojb]
milosn has quit [Ping timeout: 246 seconds]
lanius777 has quit [Remote host closed the connection]
lanius777 has joined #ocaml
milosn has joined #ocaml
lanii has joined #ocaml
lanius777 has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 250 seconds]
octachron has joined #ocaml
nojb has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 245 seconds]
_andre has joined #ocaml
flx has joined #ocaml
rand000 has joined #ocaml
flxx has quit [Ping timeout: 246 seconds]
ski has quit [Ping timeout: 251 seconds]
Drup has quit [Quit: Tatayoyo]
ski has joined #ocaml
Drup has joined #ocaml
jpdeplaix has quit [Ping timeout: 250 seconds]
araujo has quit [Ping timeout: 255 seconds]
araujo has joined #ocaml
milosn has joined #ocaml
kushal has joined #ocaml
sdothum has joined #ocaml
jpdeplaix has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest29253
Gama11 has joined #ocaml
BitPuffin has joined #ocaml
Guest29253 has quit [Ping timeout: 245 seconds]
seanmcl has joined #ocaml
kushal has quit [Ping timeout: 256 seconds]
mengu has joined #ocaml
yomimono has joined #ocaml
s1n4 has quit [Ping timeout: 272 seconds]
milosn has quit [Ping timeout: 264 seconds]
nojb has quit [Quit: nojb]
nojb has joined #ocaml
klaymen has joined #ocaml
milosn has joined #ocaml
rgrinberg has joined #ocaml
klaymen has left #ocaml [#ocaml]
rgrinberg has quit [Ping timeout: 240 seconds]
kushal has joined #ocaml
nojb has quit [Ping timeout: 264 seconds]
milosn has quit [Read error: Connection reset by peer]
kushal has quit [Ping timeout: 245 seconds]
idegen has joined #ocaml
milosn has joined #ocaml
nojb has joined #ocaml
Sorella has joined #ocaml
mengu has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
mengu has joined #ocaml
agarie has joined #ocaml
mengu has quit [Client Quit]
milosn has quit [Ping timeout: 244 seconds]
yomimono has quit [Ping timeout: 248 seconds]
cesar_ has joined #ocaml
lanii has quit [Quit: Leaving]
cesar_ is now known as Guest10725
Guest10725 has quit [Ping timeout: 245 seconds]
nojb has quit [Quit: nojb]
rgrinberg has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
nojb has joined #ocaml
sdothum has joined #ocaml
nojb_ has joined #ocaml
nojb has quit [Ping timeout: 240 seconds]
nojb_ is now known as nojb
s1n4 has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
photex is now known as photex[away]
Haudegen has joined #ocaml
pyon is now known as combinatory-pyon
combinatory-pyon is now known as pyon-binator
kakadu has quit [Ping timeout: 246 seconds]
klaymen_ has joined #ocaml
kushal has joined #ocaml
ocp has quit [Quit: Leaving.]
kakadu has joined #ocaml
kdef has joined #ocaml
rand000 has joined #ocaml
milosn has joined #ocaml
Gama11_ has joined #ocaml
Gama11 has quit [Ping timeout: 245 seconds]
larhat has quit [Quit: Leaving.]
<haesbaert> is there a way to match on a variant _type_, not the value ?
<haesbaert> suppose: type dhcp_option = | Subnet_mask of Ipaddr.V4.t (* code 1 *) | Time_offset of Int32.t (* code 2 *)
<haesbaert> let me formulate this better, 1s
<octachron> GADT can do that
<pippijn> octachron: what can they do?
<octachron> oups, you are right, bad answer. More precisely, with a parameterized type 'a t, you can use GADT to "match" on the type of "'a"
<dsheets> Ipaddr.V4.Prefix.t may be a better type for a subnet mask...
<haesbaert> dsheets: indeed, I had not noticed, I'll use it
ygrek has joined #ocaml
ollehar1 has joined #ocaml
Algebr has joined #ocaml
<haesbaert> the code I wrote more or less does what I want, but I'd like to have it in a generic way
<haesbaert> since I have around 60-70 options
<haesbaert> basically I need to join the given dhcp_option with the pre-existing option, but only if the subtype is a list of things
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Drup> are these options alternatives or C-like flags ?
darkf has quit [Quit: Leaving]
s1n4 has quit [Quit: leaving]
<haesbaert> no, basically dhcp sends a bunch of options, each option has a format
<haesbaert> for instance, routers is variable sized multiple of 4, and each 4 bytes has a router
<haesbaert> so I encode it as a Routers of Ip.V4.t list
<Drup> shouldn't it be a record then ?
<haesbaert> I could have a record type for Routers, but the variant seemed enough
<Drup> oh, you want first class constructors
<Algebr> Drup: I have a problem in eliom where if I go to a service directly my js in the script tag is executed but if I open the html of the services reached via a tyxml a tag, the js code doesn't work
<Drup> no, you can't have that, sorry
<haesbaert> ack !
<Drup> haesbaert: eta expand
<Drup> (fun x -> Result x)
agarie has quit [Remote host closed the connection]
<Drup> if you want a function
<Drup> but you can't match on it then
<Drup> Algebr: I need a code example
<haesbaert> Drup: not sure I follow
<haesbaert> you mean pass a function instead of an "opt"
<haesbaert> which basically does the "is_this_the_dude_I_want"
<Drup> I mean that "Result" by itself, without it's argument, is not a thing
<Drup> Routeurs*
<haesbaert> ah, indeed
<haesbaert> that's what I've just learned :/
<Drup> you may be able to do a gadt thing to do what you want
<Algebr> Drup: go to edgar.haus (Yes its a real domain name haha) and then to the different link. you'll see the twitter box doesn't load unless you refresh the page itself, as if you went to it initally rather than via the a tag.
<Drup> but it's not really more terse
<Drup> .haus ?!
<Drup> what is it ? :O
<Algebr> just a website to play around with
<Drup> no, I mean
<Drup> the tld
<Algebr> haus means house, so its my "house"?
<haesbaert> ack, I'll try to implement this in another way then
<Drup> I know it means house, I'm wondering how it managed to be a tld x)
<Drup> ok, the germans managed to get it among the new tlds
<Drup> wtf
<Algebr> I think it said it was for german real estate
<Drup> .maison is available too!
<Drup> sorry, I got diverted :D
<Drup> (drup.maison is available but expansive)
<rgrinberg> Drup: submit something on cumulus :D
seanmcl has joined #ocaml
<rgrinberg> it's running cohttp now
<Drup> I actually don't use cumulus and don't have an account, do it :p
cesar_ has joined #ocaml
cesar_ is now known as Guest46624
<adrien_znc> slacker
uris77 has joined #ocaml
<rgrinberg> made an account but don't really have anything to submit
<rgrinberg> upvoting works
nullcat has joined #ocaml
kushal has quit [Quit: Leaving]
<Algebr> Can merlin have compiler flags turned on, like -safe-string
<Drup> FLG -safe-string
<Drup> iirc
ygrek has quit [Ping timeout: 244 seconds]
Guest46624 has quit [Ping timeout: 245 seconds]
<olibjerd> Labltk supports ttk themes?
<Algebr> Drup: does utop have a corresponding compiler flag turn on mechanism?
<Drup> "utop -safe-string"
<Drup> (like the ocaml top level)
<adrien_znc> olibjerd: not sure at all
<adrien_znc> try to check the caml-list
<adrien_znc> I think the question has already been raised
<Drup> Algebr: are you loading the script element only on this specific page ?
<adrien_znc> but I haven't followed labltk recently
<Drup> and using an App thingy for registration ?
<Algebr> Drup: every page is getting it, the script
<adrien_znc> 0 upgraded, 45 newly installed, 261 downgraded, 44 to remove and 0 not upgraded.
<adrien_znc> Need to get 13.5 MB/166 MB of archives.
<Drup> all of them ?
<Algebr> What do you mean app thingy for registartion? Do you mean using the functor for the app instead of Eliom_registration?
<adrien_znc> woops, ECHAN
<Drup> yes, I mean that
<Drup> (well, it's not really "instead")
<Algebr> what do you mean
milosn has quit [Quit: Lost terminal]
milosn has joined #ocaml
<Drup> are you using ELiom_registration.App ?
MrScout has quit [Ping timeout: 245 seconds]
<Algebr> no
icicled` has quit [Read error: Connection reset by peer]
octachron has quit [Quit: Leaving]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nojb has quit [Quit: nojb]
shinnya has joined #ocaml
johnelse is now known as johnel_away
johnel_away is now known as johnelse
kushal has joined #ocaml
kushal has quit [Changing host]
kushal has joined #ocaml
badkins has joined #ocaml
ollehar1 has quit [Ping timeout: 252 seconds]
lordkryss has joined #ocaml
freling has quit [Quit: Leaving.]
agarie has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
cmtptr has quit [Ping timeout: 248 seconds]
shinnya has quit [Ping timeout: 250 seconds]
fraggle_ has joined #ocaml
cmtptr has joined #ocaml
Submarine has joined #ocaml
kakadu has quit [Quit: Page closed]
struk|work has joined #ocaml
dsheets has quit [Ping timeout: 256 seconds]
MrScout has joined #ocaml
martintrojer has joined #ocaml
<Drup> Algebr: ok looking
<Drup> and you *are* loading the js_script only on specific pages: https://github.com/fxfactorial/edgar_haus/blob/master/edgar_haus.eliom#L45
<Drup> load all the scripts everywhere.
freling has joined #ocaml
<Algebr> That's not the correct js code. That's the code for google analytics. The twitter js is here: https://github.com/fxfactorial/edgar_haus/blob/master/client_ui.eliom
dsheets has joined #ocaml
<Algebr> line 17
<Drup> hum, a script in the middle of the page like that
<Drup> did you tried to put it back at the head level ?
<Algebr> no, but that shouldn't matter.
<Algebr> because the code does load when refreshing the page but not when coming to it via a service.
<Drup> emphasis on "shouldn't" :D
seanmcl has quit [Ping timeout: 272 seconds]
<Drup> yes, but that's ... to be expected
<Algebr> so this is a real bug?
<Drup> eliom doesn't really refresh the page when you are navigating inside the same app
<Algebr> what? its not like its changing the dom either, its providing a new html document
<Drup> it AJAXs the content of the new page and replace the page without restarting the javascript
<Algebr> oh
seanmcl has joined #ocaml
<Drup> and the behavior when there is a script element on some pages but not others can lead to the bug you are describing.
<Algebr> this is undesirable
<Drup> I know.
<Algebr> So what can I do?
<Drup> There are two workarounds: make separated applications or load the scripts everywhere
<Drup> (afaik)
<Drup> I would personally load everywhere with the async argument
<Algebr> async argument of what
<Drup> script
yomimono has joined #ocaml
<Drup> oh, nevermind, it's only for non async scripts
<Drup> non inline*
cesar_ has joined #ocaml
cesar_ is now known as Guest31346
<Algebr> So that is not a solution?
pyon-binator is now known as dysfunc-pyon-al
<Drup> Algebr: try to put the script at the head, tell me how it goes
Guest31346 has quit [Ping timeout: 245 seconds]
<Algebr> I don't think I can put the script in the head because it depends on the html element to exist
<Algebr> which won't exist yet...
<Drup> then put it under the body.
<Algebr> I don't see how that is any different than I'm doing now?
<Drup> scripts are treated differently when really inside the html or at the root
<Algebr> so do you mean put it after the body or right before?
<Algebr> after right?
<Drup> after
<Drup> (eliom should really manage this things for you)
<Algebr> Drup: Does eliom have soemthing that can take a .markdown and produce the appropriate list of divs/ps, etc
<Drup> eliom doesn't
<Drup> but lambdoc can do that
<Algebr> excellent
jwatzman|work has joined #ocaml
<Drup> it takes various input and returns tyxml stuff
<Algebr> right, so I can just call it and dump the results right into a page, right
<Algebr> I want to do that for like blog posts
<Drup> there are good examples in lambdoc that do exactly that
<Drup> the boilerplate is a bit involved, but after that, it works mostly by itself
<Drup> (it's involved because multiple functor applications :p)
<Algebr> I'm fine with investing time for something worthwhile.
<Drup> note that lambdoc doesn't fully support markdown just yet. It has an internal better supported format that is a bit tex-like
<Drup> (but less insane)
<Drup> (that's not difficult)
<Algebr> actually the best thing would be taking a .org file
<Drup> you can contribute that, I guess
yomimono has quit [Ping timeout: 244 seconds]
MrScout has quit [Remote host closed the connection]
yomimono has joined #ocaml
MrScout has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
yomimono has quit [Ping timeout: 250 seconds]
yomimono has joined #ocaml
Haudegen has joined #ocaml
Anarchos has joined #ocaml
yomimono has quit [Ping timeout: 250 seconds]
ggole has quit []
mort___ has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 250 seconds]
idegen has quit [Ping timeout: 250 seconds]
c355E3B has joined #ocaml
Algebr has quit [Ping timeout: 250 seconds]
idegen has joined #ocaml
agarie has quit [Remote host closed the connection]
Algebr has joined #ocaml
agarie has joined #ocaml
mort___ has quit [Ping timeout: 250 seconds]
Denommus has joined #ocaml
BitPuffin has quit [Ping timeout: 265 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
uris77 has quit [Quit: leaving]
agarie has quit [Remote host closed the connection]
agarie has joined #ocaml
larhat has joined #ocaml
MisaMisa has joined #ocaml
ericwa has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Denommus has quit [Read error: Connection reset by peer]
Denommus has joined #ocaml
mearnsh has quit [Ping timeout: 272 seconds]
mearnsh has joined #ocaml
Denommus has quit [Read error: Connection reset by peer]
Denommus` has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest17363
MisaMisa has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MisaMisa has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
Guest17363 has quit [Ping timeout: 245 seconds]
yomimono has joined #ocaml
rgrinberg has joined #ocaml
Submarine has quit [Quit: Leaving]
claudiuc has joined #ocaml
Denommus` has quit [Read error: Connection reset by peer]
Denommus` has joined #ocaml
Denommus` is now known as Denommus
kakadu has joined #ocaml
kushal has quit [Ping timeout: 244 seconds]
c355E3B has quit [Quit: Leaving]
seanmcl has joined #ocaml
WraithM has joined #ocaml
mengu has joined #ocaml
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 264 seconds]
pgomes has joined #ocaml
kushal has joined #ocaml
axiles has quit [Remote host closed the connection]
ontologiae has joined #ocaml
Nijikokun has joined #ocaml
Denommus` is now known as Denommus
agarie has quit [Remote host closed the connection]
oscar_toro has quit [Quit: Lost terminal]
Denommus` has joined #ocaml
agarie has joined #ocaml
Denommus has quit [Ping timeout: 248 seconds]
freling has quit [Quit: Leaving.]
Algebr has quit [Ping timeout: 250 seconds]
pgomes has quit [Quit: Leaving]
agarie has quit []
WraithM has quit [Quit: leaving]
mengu has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 250 seconds]
c355E3B has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest87200
ollehar1 has joined #ocaml
Guest87200 has quit [Ping timeout: 245 seconds]
swgillespie has joined #ocaml
<ollehar1> strip core binary?
<ollehar1> google fail me
rand000 has quit [Quit: leaving]
lvgx has joined #ocaml
Denommus` has quit [Ping timeout: 246 seconds]
Algebr has joined #ocaml
dysfunc-pyon-al is now known as idem-pyon-tent
Gama11_ has quit [Read error: Connection reset by peer]
Jefffrey has joined #ocaml
seanmcl has quit [Ping timeout: 248 seconds]
justinjaffray has quit [Remote host closed the connection]
shum has joined #ocaml
Haudegen has quit [Ping timeout: 240 seconds]
Simn has quit [Quit: Leaving]
ollehar has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
yomimono_ has joined #ocaml
Haudegen has joined #ocaml
yomimono has quit [Ping timeout: 246 seconds]
shinnya has joined #ocaml
kushal has quit [Ping timeout: 256 seconds]
oscar_toro has joined #ocaml
mengu has joined #ocaml
tane has quit [Remote host closed the connection]
mengu has quit [Ping timeout: 248 seconds]
Algebr has quit [Ping timeout: 245 seconds]
kakadu has quit [Remote host closed the connection]
nojb has joined #ocaml
mxv has joined #ocaml
ousado_ has joined #ocaml
ousado has quit [Ping timeout: 250 seconds]
ousado_ is now known as ousado
ousado has quit [Changing host]
ousado has joined #ocaml
WraithM has joined #ocaml
WraithM has quit [Client Quit]
mxv has quit [Remote host closed the connection]
Nijikokun has quit [Ping timeout: 245 seconds]
ontologiae has quit [Ping timeout: 264 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest57597
ollehar1 has quit [Remote host closed the connection]
Guest57597 has quit [Ping timeout: 245 seconds]
Nijikokun has joined #ocaml
Jefffrey has quit [Quit: Leaving...]
BitPuffin has joined #ocaml
c355E3B has quit [Quit: Leaving]
yaewa has joined #ocaml
moei has quit [Ping timeout: 252 seconds]
olibjerd has quit [Ping timeout: 246 seconds]
pancake has joined #ocaml
<pancake> how can i get the Unix.file_descr from a string?
<nojb> pancake: what do you mean ?
<pancake> i'm doing external file_descr_of_string : string -> Unix.file_descr = "%identity";; but then Unix.write fd_out "foo" 0 3 fails
<pancake> with this error: Exception: Unix.Unix_error (EBADF, "write", "").
<Drup> that seems like a terrible idea
madroach has quit [Ping timeout: 264 seconds]
<pancake> im passing two filedescriptor numbers by env var to a child process
<pancake> i want to read/write on those fd, taking the file_descr from the Sys.getenv
<Drup> then why string ?
<Drup> (at least, int would make half sense, in a hacky kind of way)
<pancake> env vars are strings
madroach has joined #ocaml
<pancake> i can make another intermediate step
<Drup> (note: you shouldn't use external and %identity if you don't know what they do ;))
<pancake> im trying to learn by trying random statements
<nojb> I doubt you will learn much this way :(
<Drup> stop trying to transform a string in a file_descr, it will not work. I'm surprised it's not segfaulting x)
<nojb> it is not because the string points to valid memory, the first few bytes are interpreted as an invalid file_descr and the '
<nojb> write' call fails
<pancake> how can i convert int ->Unix.file_descr ?
<pancake> or fdopen()
<nojb> there is no way to do it in OCaml
<Drup> with the stdlib, you can't
<pancake> oh
<dmbaturin> That's the point of abstract types.
kdef has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 252 seconds]
<mrvn> You also can't get an open fd as int. So there is no need for that conversion.
<dmbaturin> The idea is that clients shouldn't call functions that work with file descriptors with random stuff instead of file descriptors.
badon has joined #ocaml
ollehar has quit [Read error: Connection reset by peer]
ollehar1 has joined #ocaml
nojb has quit [Quit: nojb]
shum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rgrinberg has quit [Ping timeout: 265 seconds]