al-damiri has quit [Quit: Connection closed for inactivity]
jbrown has quit [Ping timeout: 264 seconds]
silver_ has joined #ocaml
cbot has joined #ocaml
silver has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
ratsch has quit [Remote host closed the connection]
ratsch has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
exarkun has joined #ocaml
silver_ has quit [Read error: Connection reset by peer]
hdon has quit [Ping timeout: 240 seconds]
pierpal has joined #ocaml
dtornabene has joined #ocaml
tormen_ has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 248 seconds]
tormen has quit [Ping timeout: 256 seconds]
moei has joined #ocaml
argent_smith has joined #ocaml
hdon has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
hdon has quit [Ping timeout: 268 seconds]
hdon has joined #ocaml
navaja has joined #ocaml
_xvilka_ has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
jbrown has quit [Ping timeout: 248 seconds]
hdon has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
hdon has quit [Ping timeout: 256 seconds]
h11 has quit [Quit: WeeChat 2.1]
navaja has quit [Ping timeout: 265 seconds]
tarptaeya has joined #ocaml
jimmyrcom_ has joined #ocaml
h11 has joined #ocaml
pierpa has quit [Quit: Page closed]
dtornabene has quit [Remote host closed the connection]
sh0t has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 264 seconds]
zv has quit [Ping timeout: 264 seconds]
pierpal has joined #ocaml
zv has joined #ocaml
argent_smith has joined #ocaml
argent_smith has quit [Ping timeout: 260 seconds]
runciter has joined #ocaml
<runciter>
i've installed an ocaml module with opam and after adding a `#require` line to my ~/.ocamlinit file it's available in utop, but ocamlopt complains that the module is unbound - where should i look to debug this?
<M-ErkkiSeppl>
helloworld.opt takes 0.002 seconds to run on my machine, helloworld.py takes python3 0.030 seconds, for reference.
neiluj has quit [Ping timeout: 245 seconds]
tarptaeya has joined #ocaml
neiluj has joined #ocaml
argent_smith has joined #ocaml
argent_smith has quit [Ping timeout: 240 seconds]
<steenuil>
I'm pretty sure that compared to Python it's completely negligible
<M-ErkkiSeppl>
btw, time /bin/true is also 0.002 seconds ;)
obliq is now known as amcorvi
amcorvi has quit [Quit: leaving]
opios has joined #ocaml
argent_smith has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 264 seconds]
dtornabene has joined #ocaml
TarVanimelde has joined #ocaml
<Leonidas>
M-ErkkiSeppl: Yes, I'd still be interested in the overhead, because it probably is not 0. It is very low though :)
tarptaeya has quit [Remote host closed the connection]
tarptaeya has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
malina has quit [Ping timeout: 248 seconds]
dxtr has quit [Ping timeout: 240 seconds]
dxtr has joined #ocaml
pierpal has joined #ocaml
<M-ErkkiSeppl>
one would probably need a better benchmark that 'time' for one shell command
<M-ErkkiSeppl>
say an ocaml program that runs fork+exec in loop and also separates fork overhead from the rest :), bonus points for exec overhead measurement
dhil has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
Haudegen has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
pierpal has joined #ocaml
<mrvn>
just run it 100 times in shell and subtract running 100 times /bin/true.
<mrvn>
Leonidas: Normaly if startup time is any consideration then your overall time is negible. If you start the runtime 1000 times then just consider writing the whole thing in ocaml so it makes 1000 function calls instead of starting 1000 times ocaml.
demonimin has quit [Ping timeout: 268 seconds]
argent_smith has quit [Quit: Leaving.]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
hdon has joined #ocaml
<M-ErkkiSeppl>
someone(TM) should just write a zsh plugin interface for OCaml ;-)
<Drup>
why do you need that ?
<M-ErkkiSeppl>
obviously for running an OCaml function 1000 times but fast!
<Leonidas>
mrvn: you should read the linked post, that's also what Mozilla is doing but it sort of sucks
hdon has quit [Ping timeout: 268 seconds]
<steenuil>
can you even write zsh plugins in languages other than zsh?
jbrown has joined #ocaml
<M-ErkkiSeppl>
yes, you can extend it with C
<M-ErkkiSeppl>
it comes with a set of modules as shared objects as well. but I doubt 99% of users use them :)
<M-ErkkiSeppl>
doesn't seem though that's a mechanism really intended for user extensions, rather for splitting from the core. ie. zsh doesn't come with development header files.
silver has joined #ocaml
ruffy__ has joined #ocaml
<ruffy__>
What happened to the Big_int module in OCaml 4.06? I can't find any information about that.
<Drup>
ruffy__: split off to the "num" library
<ruffy__>
So the functions are now available in the "num" library?
<Drup>
yes
<ruffy__>
tank you :)
<ruffy__>
*thank
ruffy__ has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
baroud has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
weird_error has joined #ocaml
TC01 has quit [Remote host closed the connection]
sz0 has joined #ocaml
asdf123 has joined #ocaml
barcabuona has quit [Quit: WeeChat 2.1]
asdf123 has quit [Remote host closed the connection]
baroud has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
weird_error has quit [Quit: weird_error]
mk9 has joined #ocaml
Haudegen has quit [Remote host closed the connection]
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
baroud has quit [Remote host closed the connection]
secondwtq has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
orbitz has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
pmetzger has joined #ocaml
<pmetzger>
Anyone here know much about the generation of the OCaml manual?
<companion_cube>
"good luck"
<pmetzger>
In the libref stuff, there's all this weird stuff in the <head> elements, like <link title="Arg_helper" rel="Chapter" href="Arg_helper.html">
<pmetzger>
I have no idea what that would mean in HTML, as I've never seen such a thing before. I read the HTML reference and it describes <link> the way I know it, as something to load stuff like css.
<pmetzger>
Anyone understand what that is for?
<pmetzger>
do view source on caml.inria.fr/pub/docs/manual-ocaml/libref/Arg.html if you want to see what I mean.
<pmetzger>
This does nothing on any modern browser I've seen, though.
<pmetzger>
What does it mean, "lets you define document relationships within a web site"?
<M-ErkkiSeppl>
perhaps ie. screen readeres do something
<pmetzger>
I doubt it.
<M-ErkkiSeppl>
it means you can add semantic information for purposes other than just plain click'n'surf...
<pmetzger>
Yes, but nothing uses this semantic information so far as I'm able to ascertain.
govg has joined #ocaml
<pmetzger>
Looks like ocamldoc is generating it.
<M-ErkkiSeppl>
doesn't mean anything uses it, but on the other hand adding them has near zero cost :-)
<pmetzger>
I just spent a bunch of time trying to figure out what they are for, and that would seem to be a cost to me. :)
<M-ErkkiSeppl>
a person who has been writing the generator simply has been browsing assorted html docs and decided adding more information is better than less :)
<M-ErkkiSeppl>
well you also gained insight!
<M-ErkkiSeppl>
"they are bloody useless" but insight nevertheles :)
<Armael>
I guess it might be some semantic web stuff
<Armael>
probably not so fashionable these days
<M-ErkkiSeppl>
too much effort and too much visible benefit
<pmetzger>
Semantic Web is dead.
<M-ErkkiSeppl>
s/much/little/
<pmetzger>
Anyway, I've been doing some CSS tuning so I noticed it.
<pmetzger>
Improving the appearance of the generated pages with a touch of CSS turns out to be remarkably simple.
govg has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
mk9 has joined #ocaml
jnavila has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
Haudegen has joined #ocaml
<exarkun>
`jbuilder build` crashed with a stack overflow
argent_smith has quit [Quit: Leaving.]
_etc has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
al-damiri has joined #ocaml
hdon has joined #ocaml
_etc has quit [Quit: _etc]
dhil has quit [Ping timeout: 276 seconds]
dhil has joined #ocaml
mk9 has quit [Quit: mk9]
FreeBirdLjj has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 256 seconds]
<exarkun>
When I try to `#require` this library in utop, it fails because: Error: Reference to undefined global `Location'
<exarkun>
I don't understand what this is telling me. Particularly because "Location" appears nowhere in the source of the library.
FreeBirdLjj has quit [Ping timeout: 265 seconds]
<octachron>
exarkun, does it work outside of any toplevels?
<exarkun>
I might not know what that question means
<exarkun>
I have written a program that uses this library which compiles and runs?
<octachron>
this mysterious library probably uses the compiler-libs internally, and thus requiring it conflicts with utop own internal version of compiler-libs
<exarkun>
Oh, yea, it might, I guess.
<exarkun>
it depends on a library that depends on a library that uses some compiler-libs, yea.
<exarkun>
bleh.
jimmyrcom has quit [Ping timeout: 248 seconds]
jimmyrcom has joined #ocaml
jimmyrcom_ has joined #ocaml
baroud has joined #ocaml
<pmetzger>
octachron: when you've generated sidebars for the manual, how did you do it? in the hevea layer or elsewhere?
<copy`>
exarkun: It should work if you use `utop-full` instead of `utop`
<exarkun>
copy`: huh. it does.
bjs has quit [Quit: Bye!]
<octachron>
pmetzger, by patching hacha (and I think I remember some manual editing?), which is one of the subtool used by hevea to cut the one-page html output into single pages
_andre has quit [Read error: Connection reset by peer]
<pmetzger>
I'm doing some experiments using lambda soup to rearrange some stuff instead.
<pmetzger>
I think we can accomplish a great deal with a very small amount of postprocessing.
<Armael>
the issue with post-processing is maintenability
FreeBirdLjj has joined #ocaml
ygrek has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Client Quit]
<pmetzger>
Why? If it's done by a program and the output is pretty much constant because it is created by a program, there's no issue.
pierpal has joined #ocaml
<pmetzger>
The output is created by hevea etc. which are not about to change much.
<pmetzger>
If one is doing fairly light touchups, there's hardly any risk the underlying DOM is going to look very different from one year to another.
<pmetzger>
Ultimately the docs should probably move to something more maintainable like Sphinx but I see no reason to have a fight over that when a short script can make them quite reasonable looking.
dhil has quit [Ping timeout: 248 seconds]
baroud has quit [Remote host closed the connection]
<Armael>
yea, I agree
<companion_cube>
what's the point of having both utop and utop-full ?
<Armael>
I think it's related to whether you want to have compiler-libs loaded or not
<Armael>
oh well octachron already explained that earlier
<companion_cube>
why not always load compiler-libs, was the question
<Armael>
um, I guess it pollutes the environment
<companion_cube>
m'kay
<companion_cube>
seems a bit brutal to have two binaries only for that
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
muelleme has joined #ocaml
hdon has quit [Changing host]
hdon has joined #ocaml
malina has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
pierpal has quit [Read error: Connection reset by peer]
<Leonidas>
otoh, compiler-libs snatches all the good module names one might want to use when writing a compiler, like Location :p
noitakomentaja has joined #ocaml
<companion_cube>
if you write a compiler, please use a wrapped library…
jack5638 has quit [Ping timeout: 248 seconds]
jack5638 has joined #ocaml
bjs has joined #ocaml
FreeBirdLjj has joined #ocaml
noitakomentaja has quit [Ping timeout: 255 seconds]
pierpa has joined #ocaml
noitakomentaja has joined #ocaml
bacam has quit [Quit: reboot]
bacam has joined #ocaml
mk9 has joined #ocaml
Fare has joined #ocaml
malina has quit [Ping timeout: 256 seconds]
<Fare>
I can't seem to be able to use @@deriving for the lens package using jbuild. I get an error: Error: Cannot locate deriver lens
FreeBirdLjj has quit [Ping timeout: 256 seconds]
<pmetzger>
Fare: are you installing from opam etc?
<Fare>
yes I am
<Fare>
you here!?
<pmetzger>
I'm an OCaml user.
<Fare>
I have this line in my jbuild file: (preprocess (pps (ppx_deriving.std lens.ppx_deriving ppx_inline_test)))
<Fare>
am I missing something?
<Fare>
jbuilder 1.0+beta19.1, lens 1.2.0
<Fare>
ocaml 4.06.1
<pmetzger>
This is probably past what I know how to debug unfortunately. I find the way jbuilder works kind of opaque, but I'm not up on all the debugging methods.
<Armael>
I have the same problem with the visitors ppx
<kuwze>
I am trying to update an old library. In the code it uses "Eliom_services.get_https" but I cannot find that in any version of the official Eliom docs, and I have no clue what the equivalent would be in Eliom 6.0. Also google isn't helping.
argent_smith has joined #ocaml
jnavila has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 276 seconds]
gtrak has quit [Ping timeout: 264 seconds]
navaja has joined #ocaml
bairui_ is now known as bairui
spew has quit [Disconnected by services]
navaja is now known as spew
orbifx has joined #ocaml
noitakomentaja has quit [Quit: WeeChat 2.0.1]
noitakomentaja has joined #ocaml
spew has quit [Ping timeout: 260 seconds]
discord_bot has joined #ocaml
<discord_bot>
<Bluddy> testing
<Bluddy[m]>
testing
<discord_bot>
<ubsan> hullo
Bluddy has joined #ocaml
<discord_bot>
<Bluddy> testing again
<Fare>
Armael, ppxfind seems works on the command-line for lens.ppx_deriving, but not for ppx_inline_test, and then the two conflict. Sigh.
<Fare>
I believe the "right thing" might be to update lens.ppx_deriving to use the "new" interface. And now I must shave yaks by learning enough of the whole old and new build systems and preprocessing conventions to get it all to work.
muelleme has joined #ocaml
demonimin has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
zolk3ri has quit [Remote host closed the connection]
spew has joined #ocaml
Bluddy has quit [Quit: Page closed]
malina has quit [Ping timeout: 268 seconds]
discord_bot has quit [Remote host closed the connection]
Bluddy has joined #ocaml
<Bluddy>
test
Bluddy has quit [Client Quit]
sh0t has quit [Remote host closed the connection]
<kuwze>
can I use a library built against an older version of ocaml with a new one?
<kuwze>
or does that not work out well like I suspect
jao has joined #ocaml
<zozozo>
kuwze: you can't
<zozozo>
compiler will complain
rostero has joined #ocaml
<kuwze>
zozozo: thanks
kakadu has quit [Remote host closed the connection]
Haudegen has quit [Read error: Connection reset by peer]
fredcy_ has joined #ocaml
<Fare>
interestingly, ppx_deriving_lens has Ppx_deriving.(register (create deriver ... much like Ppx_deriving_eq which comes builtin with ppx_deriving and works.