adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
Kakadu has quit [Remote host closed the connection]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ril has joined #ocaml
jeffmo has quit [Quit: jeffmo]
keep_learning has quit [Quit: Leaving]
zoobab has quit [Ping timeout: 276 seconds]
zoobab has joined #ocaml
Sorella has joined #ocaml
julien_t has quit [Ping timeout: 240 seconds]
<Algebr> Just wrapped up adding an iOS cross compiler for Linux, soon will be able to get OCaml running on linux that will produce iOS code.
<pierpa> yay!
silver has quit [Read error: Connection reset by peer]
<Drup> Algebr: wasn't that already done ?
<Algebr> no, it only works on OS X
<Algebr> host is osx, I want host to be linux
<Drup> ah, ok
yunxing has quit [Remote host closed the connection]
yunxing has joined #ocaml
yunxing has quit [Remote host closed the connection]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lokien_ has quit [Quit: Connection closed for inactivity]
ril has joined #ocaml
ril has quit [Ping timeout: 250 seconds]
divyanshu has joined #ocaml
jeffmo has joined #ocaml
zoobab has quit [Ping timeout: 248 seconds]
zoobab has joined #ocaml
<pierpa> does something like this exists in OCaml? http://lars.ingebrigtsen.no/2014/10/13/campaign-for-humane-sorting/
<pierpa> if not, I wrote it one in another language that I could easily port to Ocaml
antkong_ has joined #ocaml
32NAABN5N has quit [Ping timeout: 250 seconds]
jeffmo has quit [Read error: Connection reset by peer]
jeffmo has joined #ocaml
jeffmo has quit [Quit: jeffmo]
<pierpa> guess there isn't
FreeBirdLjj has joined #ocaml
zoobab has quit [Ping timeout: 244 seconds]
zoobab has joined #ocaml
exm has left #ocaml [#ocaml]
yunxing has joined #ocaml
yunxing has quit [Ping timeout: 250 seconds]
divyanshu has quit [Quit: Computer has gone to sleep.]
zoobab has quit [Ping timeout: 244 seconds]
zoobab has joined #ocaml
struk|desk|away is now known as struk|desk2
zoobab has quit [Ping timeout: 252 seconds]
zoobab has joined #ocaml
seangrove has quit [Ping timeout: 248 seconds]
Enjolras has joined #ocaml
zoobab has quit [Ping timeout: 252 seconds]
zoobab has joined #ocaml
antkong_ has quit [Quit: antkong_]
zoobab has quit [Ping timeout: 240 seconds]
zoobab has joined #ocaml
maverous has joined #ocaml
<struk|desk2> pierpa: what do you mean? "human sort" on alphanuemeric strings?
<pierpa> yes
<struk|desk2> how fancy is yours? does it have any semantics? like if it's all numbers, it sorts by magnitude for instance
<pierpa> the fanciness is that it works over all of unicode
<pierpa> yes, numbers are sorted by magnitude
<pierpa> and this includes roman numerals, for example
<pierpa> or chinese characters
<struk|desk2> and morse code?
<pierpa> there's no morse code numerals in unicode
<struk|desk2> sarcasm
<pierpa> it's not so strange
<pierpa> there's much more weird numerals than morse, in unicode
<struk|desk2> lol.. sure port it to ocaml, I doubt anyone has yet, or if they did it's probably nested deep into an arbitrary library. You might want to look at core / batteries / containers / nonstd / extlib / re to ensure it's not covered by one of them, but I doubt it
<pierpa> works also on superscripts and fraction :)
<struk|desk2> that's neat. I wonder if there is a machine learning approach to that for any dataset. sort of unsupervised sorting, if you will
<pierpa> hmmm
<pierpa> no, I use only unicode properties of chars
<struk|desk2> sure that is the logical thing to do get really far.
<pierpa> here's some test cases
<struk|desk2> is that a lisp dialect?
<pierpa> racket
<struk|desk2> hmm, new to me. sounds like a useful enough algorithm to have in native ocaml to me
<pierpa> I use it for every sorted data that should be presented to a human
divyanshu has joined #ocaml
<pierpa> the text fileds should be sorted according the unicode collation algorithm, to be really complete. I didn't manage to implement this yet though
<pierpa> *fileds
<pierpa> *fields
zoobab has quit [Ping timeout: 252 seconds]
zoobab has joined #ocaml
seangrove has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
Sorella has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Remote host closed the connection]
pierpa has quit [Ping timeout: 240 seconds]
divyanshu has joined #ocaml
ygrek has quit [Ping timeout: 244 seconds]
struk|desk2 is now known as struk|desk|away
demonimin has quit [Ping timeout: 248 seconds]
divyanshu has quit [Read error: Connection reset by peer]
demonimin has joined #ocaml
divyanshu has joined #ocaml
zoobab has quit [Ping timeout: 252 seconds]
zoobab has joined #ocaml
zoobab has quit [Ping timeout: 240 seconds]
NingaLeaf123 has joined #ocaml
zoobab has joined #ocaml
NingaLeaf has quit [Ping timeout: 250 seconds]
JacobEdelman_ has quit [Quit: Connection closed for inactivity]
Intensity has quit [Ping timeout: 240 seconds]
cross has quit [Ping timeout: 240 seconds]
NingaLeaf123 has quit [Read error: Connection reset by peer]
NingaLeaf123 has joined #ocaml
hnagamin has quit [Quit: WeeChat 1.3]
cross has joined #ocaml
Intensity has joined #ocaml
hnagamin has joined #ocaml
maverous has quit [Quit: ded]
hnagamin has quit [Client Quit]
slash^ has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 276 seconds]
zoobab has quit [Ping timeout: 255 seconds]
NingaLeaf has joined #ocaml
zoobab has joined #ocaml
NingaLeaf123 has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
zoobab has quit [Ping timeout: 244 seconds]
zoobab has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
ggole has joined #ocaml
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 255 seconds]
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 244 seconds]
ggole_ has joined #ocaml
lordf has joined #ocaml
ggole__ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
ggole_ has quit [Ping timeout: 255 seconds]
hnagamin has joined #ocaml
lordf has quit [Ping timeout: 250 seconds]
NingaLeaf has quit [Read error: Connection reset by peer]
NingaLeaf has joined #ocaml
lordf has joined #ocaml
aantron has quit [Remote host closed the connection]
Simn has joined #ocaml
hnagamin has quit [Ping timeout: 240 seconds]
hnagamin has joined #ocaml
malc_ has joined #ocaml
lordf has quit [Ping timeout: 250 seconds]
divyanshu has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
larhat has quit [Quit: Leaving.]
antkong_ has joined #ocaml
julien_t has joined #ocaml
foolishmonkey has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
divyanshu has joined #ocaml
divyanshu has quit [Quit: Computer has gone to sleep.]
slicefd has joined #ocaml
hnagamin has quit [Ping timeout: 248 seconds]
silver has joined #ocaml
myst|fon has quit [Quit: Connection closed for inactivity]
butts_butts has joined #ocaml
malc_ has quit [Quit: leaving]
Haudegen has quit [Ping timeout: 252 seconds]
antkong_ has quit [Quit: antkong_]
ggherdov_ has joined #ocaml
ggherdov_ has joined #ocaml
ggherdov_ has quit [Changing host]
ggherdov_ is now known as ggherdov
zoobab has quit [Ping timeout: 255 seconds]
zoobab has joined #ocaml
hnagamin has joined #ocaml
Haudegen has joined #ocaml
freehck has joined #ocaml
lokien_ has joined #ocaml
sgnb has quit [Remote host closed the connection]
<l1x> hi guys, is there a way to list all of the keys in a JSON file with OCaml?
<companion_cube> you mean recursively? no direct way afaik, parse it with yojson and traverse the json...
<l1x> thanks
slicefd has quit [Quit: WeeChat 1.4]
larhat has joined #ocaml
silver has quit [Quit: rakede]
sgnb has joined #ocaml
hnagamin has quit [Quit: WeeChat 1.3]
DanielRichman has quit [Remote host closed the connection]
DanielRichman has joined #ocaml
larhat has quit [Quit: Leaving.]
ggole has joined #ocaml
butts_butts has quit [Ping timeout: 252 seconds]
sgnb has quit [Remote host closed the connection]
sgnb has joined #ocaml
Anarchos has joined #ocaml
<Anarchos> hi everybody
aantron has joined #ocaml
dhil has joined #ocaml
lokien_ has quit [Quit: Connection closed for inactivity]
zoobab has quit [Ping timeout: 276 seconds]
tobiasBora has quit [Quit: Kthxbye]
Maelan has quit [Read error: Connection reset by peer]
zoobab has joined #ocaml
julien_t has quit [Ping timeout: 240 seconds]
<Anarchos> how can i debug the makefile of bisect_ppx, not installing bisect-ppx-report ?
copy` has joined #ocaml
Sorella has joined #ocaml
darkf has quit [Quit: Leaving]
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<foolishmonkey> Hi, I'm trying to build ocaml on OpenBSD and I got the following error when running make world
<foolishmonkey> ar: interp.pic.o: No such file or directory
pierpa has joined #ocaml
cdidd has quit [Ping timeout: 240 seconds]
struktured has quit [Ping timeout: 255 seconds]
cdidd has joined #ocaml
zoobab has quit [Ping timeout: 250 seconds]
zoobab has joined #ocaml
struk|desk|away is now known as struk|desk2
struk|desk2 is now known as struk|desk
dhil has quit [Ping timeout: 255 seconds]
dhil has joined #ocaml
bobthenameless has quit [Ping timeout: 240 seconds]
tane has joined #ocaml
butts_butts has joined #ocaml
bobthenameless has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
FreeBirdLjj has quit [Remote host closed the connection]
larhat has joined #ocaml
dhil has quit [Ping timeout: 255 seconds]
struk|desk is now known as struk|desk|away
butts_butts has quit [Ping timeout: 252 seconds]
sz0 has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
dhil has joined #ocaml
struktured has joined #ocaml
nuuit has quit [Ping timeout: 240 seconds]
lordf has joined #ocaml
<struktured> god, why is kaputt sourced on darcs.
<aantron> Anarchos, you're offline, but if you're reading the logs and still having a problem with bisect-ppx-report, come back and ping me, or open an issue on GitHub :)
lokien_ has joined #ocaml
nojb has joined #ocaml
nojb has quit [Client Quit]
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
malc_ has joined #ocaml
Kakadu has joined #ocaml
djellemah_ has joined #ocaml
dhil has quit [Ping timeout: 252 seconds]
butts_butts has joined #ocaml
malc_ has quit [Quit: leaving]
flx has joined #ocaml
flux has quit [Ping timeout: 268 seconds]
flx is now known as flux
nuuit has joined #ocaml
djellemah_ has quit [Quit: Leaving]
struktured has quit [Ping timeout: 240 seconds]
djellemah_ has joined #ocaml
cyraxjoe has quit [Remote host closed the connection]
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
cyraxjoe has joined #ocaml
BitPuffin|osx has joined #ocaml
ygrek has joined #ocaml
alexst has joined #ocaml
zoobab has quit [Ping timeout: 244 seconds]
zoobab has joined #ocaml
ggole has quit []
pgiarrusso has quit [Quit: pgiarrusso]
pgiarrusso has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
Kakadu has quit [Ping timeout: 248 seconds]
Kakadu has joined #ocaml
butts_butts has quit [Ping timeout: 252 seconds]
butts_butts has joined #ocaml
luzie has quit [Remote host closed the connection]
luzie has joined #ocaml
Yithar has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
<pierpa> it would be faster if the reference creation here https://github.com/olopierpa/maze/blob/master/maze2.ml#L27 were hoisted outside of the loop, or is the compiler smart enough that it doesn't matter?
struk|desk|away is now known as struk|desk
<Drup> The compiler is not smart enough
<Drup> And I doubt flambda will do anything for that
zoobab has quit [Ping timeout: 276 seconds]
fs4lv1n1 has joined #ocaml
<pierpa> aha! ty
zoobab has joined #ocaml
djellemah_ has quit [Ping timeout: 250 seconds]
<companion_cube> and then you'd have to remember to reset it to 0
<companion_cube> so it's not that obvious
zoobab has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
lokien_ has quit [Quit: Connection closed for inactivity]
fs4lv1n1 has quit [Quit: leaving]
<Drup> companion_cube: it's the kind of thing C compiler do :)
zoobab has joined #ocaml
<pierpa> yes, companion_cube, I thought about that :)
<companion_cube> in OCaml you also need to be careful that the ref doesn't escape
<pierpa> hmm... in C there would be no runtime cost in creating the var k, there would no difference
<pierpa> hmm... in C there would be no runtime cost in creating the var k, so there would be no difference
yunxing has joined #ocaml
<companion_cube> indeed, but here there is a difference between variables and references
<companion_cube> (in C the problem of escaping also exists, incidentally; if you leak a pointer to a stack variable into the heap, it might be dereferenced later)
<pierpa> Yes
<pierpa> btw, that small change + anoter small one in the same function is having a visible impact on performance...
<Drup> I'm not surprised, it seems like it's the only allocation
<flux> /38
<pierpa> aha! the other modification is to split the matrix access, one index outside of the inner loop
yunxing has quit [Read error: Connection reset by peer]
yunxing has joined #ocaml
zoobab has quit [Ping timeout: 240 seconds]
zoobab has joined #ocaml
hanshenrik_ has quit [Ping timeout: 244 seconds]
yunxing has quit [Remote host closed the connection]
yunxing has joined #ocaml
hanshenrik_ has joined #ocaml
nore has joined #ocaml
<nore> Hello there, I have a question about the value restriction and polymorphism
<nore> Why is that if I define type 'a t = ('a -> int) -> int, then if u if of type 'a t, then id u is of type '_a t
<nore> But if I hide the implementation of type t in the signature of a module, and say that it is covariant
<nore> Then id u is of type 'a t ?
aantron has quit [Remote host closed the connection]
deko-pyon has joined #ocaml
<Drup> I'm curious as well, could you open a bug report on mantis ?
<companion_cube> gosh, sqlite3 is really low level :D
<nore> Ok, I'll do that
alexst has quit [Quit: leaving]
butts_butts has quit [Ping timeout: 252 seconds]
<icicled> Is there a way to conditionally link a package w/ oasis?
<icicled> I tried doing: if flag(foo) BuildDepends+: bisect_ppx but oasis says I can't use BuildDepends in a conditional
<struk|desk> icicled: I haven't found a great way to do it yet, but people do it at the opam level and invoke oasis differently to pass the info through, which is good for packaging
yunxing has quit [Ping timeout: 250 seconds]
seangrov` has joined #ocaml
seangrove has quit [Ping timeout: 276 seconds]
darkf has joined #ocaml
seangrov` has quit [Ping timeout: 244 seconds]
<icicled> ah that's not ideal
seangrov` has joined #ocaml
struktured has joined #ocaml
seangrov` has quit [Read error: Connection reset by peer]
seangrov` has joined #ocaml
infinity0 has quit [Remote host closed the connection]
larhat has quit [Quit: Leaving.]
<icicled> struk|desk: could you point me to an exampple please?
deko-pyon has quit [Quit: fix config]
lokien_ has joined #ocaml
struk|desk is now known as struk|desk|away
deko-pyon has joined #ocaml
infinity0 has joined #ocaml
<companion_cube> I should definitely learn Scanf
nojb has joined #ocaml
aantron has joined #ocaml
pgiarrusso has quit [Quit: pgiarrusso]
Simn has quit [Quit: Leaving]
nojb has quit [Quit: Leaving]
pgiarrusso has joined #ocaml
nojb has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 248 seconds]
lordf has quit [Ping timeout: 276 seconds]
tane has quit [Quit: Verlassend]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
<zozozo> companion_cube: well it is nice if you want to parse something simple
<zozozo> particularly the fact that a space actually matches any number of space, tabulation and newline characters
<struktured> icicled: this is NOT the latest version of future nor is it done with oasis, but the principle is similar: https://github.com/struktured/future/blob/master/opam
<companion_cube> yeah it's quite cool actually
<companion_cube> now that I've found how to restrict the eagerness of %s
<companion_cube> so, tonight: scanf ✔, sqlite ✔
<Drup> icicled: you can't do with oasis alone
<struktured> icicled: fwiw, I punted on this by making separate git repos for different packaging configurations
<Drup> In the case of bisect .. it's going to be annoying
<Drup> struktured: that's a bit overkill, you could have just declare different libraries in your _oasis
seangrov` has quit [Ping timeout: 244 seconds]
<struktured> drup: I initially thought the same but I am starting to prefer it, albeit some tools to automate things across repos helps here and there. fortunately opam +git is already pretty versatile for these tasks already
<struktured> Drup: did you edit the code gen'ed file or was it just gen'ed that way?
<Drup> struktured: the generated code goes inside https://github.com/Drup/LILiS/blob/master/myocamlbuild.ml#L1-L3
<struktured> ha ok, cool
<Drup> (It's an oasis feature, it's valid for all oasis-generated file)
Kakadu has quit [Remote host closed the connection]
Yithar has quit [Quit: Leaving]
<struktured> I think I need to study this one day: https://github.com/gasche/manual-ocamlbuild/blob/master/manual.md
<icicled> via enableing the AlphaFeatures: ocamlbuild_more_args
<icicled> and specifying XOCamlbuildPluginTags: package(bisect_ppx.plugin)
<icicled> the ocamlbuild command does get invoked correctly but even with the env var BISECT_COVERAGE=YES it still doesn't generate the report
<Drup> icicled: that looks like a good idea, but it's not going to be conditional
<icicled> it's supposed to be based on the env var
<Drup> that's not the point, you need to link Bisect_ppx_plugin from somewhere ...
<icicled> I did specify the command mentioned in myocamlbuild.ml
<icicled> Bisect_ppx_plugin.handle_coverage ()
<Drup> What I'm saying is that you need bisect_ppx to be installed to compiler your myocamlbuild, which kinda defeat the purpose
<Drup> -r
<icicled> I have all that - I simply want to toggle the bisect functionality
<icicled> based on a flag
aantron has quit [Remote host closed the connection]