<jyeo>
is there any way to get type information when I am generating code in camlp4?
<Drup1>
no
Drup1 is now known as Drup
<Drup>
jyeo: at least, not strictly within camlp4, you will need to do stuff with compiler-libs
<jyeo>
compiler-libs?
<jyeo>
how do i get that?
<jyeo>
Drup: ^
<Drup>
it should be included in the standard ocaml distribution
<Drup>
but afaik, there is no real documentation except "look at the code"
<jyeo>
okay. thanks Drup
<jyeo>
what about reflection in ocaml?
<jyeo>
can I get information about source code at run time?
<Drup>
not with regular ocaml
<Drup>
there are various experimentations around this concept, what do you want to do exactly ?
yacks has quit [Quit: Leaving]
lifeng has joined #ocaml
ben_zen has quit [Ping timeout: 248 seconds]
ulfdoz has joined #ocaml
Drup has quit [Quit: Leaving.]
ulfdoz has quit [Ping timeout: 264 seconds]
Arsenik has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
Arsenik has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
turnersr has quit [Quit: Leaving]
talzeus has quit [Remote host closed the connection]
thomasga has quit [Client Quit]
zpe has joined #ocaml
Simn has joined #ocaml
talzeus has joined #ocaml
chambart has joined #ocaml
jlouis has quit [Ping timeout: 240 seconds]
jlouis has joined #ocaml
eikke has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
ttamttam has joined #ocaml
<ttamttam>
Tu peux aussi envoyer l’invit. au Beslon ?
skchrko has quit [Quit: Leaving]
Snark has joined #ocaml
zRecursive has quit [Remote host closed the connection]
* adrien
looks at ttamttam and smiles
* mrvn
versteht nur Bahnhof.
cago has joined #ocaml
djcoin has joined #ocaml
pango has quit [Ping timeout: 264 seconds]
Patchou has quit [Ping timeout: 264 seconds]
pango has joined #ocaml
zpe has joined #ocaml
skchrko has joined #ocaml
ygrek has joined #ocaml
zpe has quit [Ping timeout: 276 seconds]
Oejet has joined #ocaml
zpe has joined #ocaml
adrien_o1w is now known as adrien_oww
<ttamttam>
adrien: did you read what is written on the wall ?
<ttamttam>
OK. Understood.
zpe has quit [Ping timeout: 264 seconds]
bondar has joined #ocaml
<adrien_oww>
:P
Kakadu has joined #ocaml
ollehar has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
yacks has joined #ocaml
ontologiae has joined #ocaml
dsheets_ has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
zpe has joined #ocaml
ggole has joined #ocaml
demonimin_ is now known as demonimin
ollehar has quit [Ping timeout: 276 seconds]
dsheets has joined #ocaml
chambart has quit [Ping timeout: 260 seconds]
chambart has joined #ocaml
<adrien_oww>
anyone knows how to get parallelization from ocamlbuild?
<adrien_oww>
I mean, what to do, what to avoid doing?
<ggole>
Is there more to it than -j?
<adrien_oww>
well, -j brings almost nothing
<adrien_oww>
usually
<adrien_oww>
it enables it
<adrien_oww>
but if the rules are too constraining, it won't be able to parallelize anything
lopex has quit [Ping timeout: 264 seconds]
skunkwerks has quit [Ping timeout: 246 seconds]
bondar has quit [Read error: No buffer space available]
rossberg has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
djcoin has quit [Quit: WeeChat 0.4.0]
breakds has joined #ocaml
skunkwerks has joined #ocaml
eikke has quit [Remote host closed the connection]
lopex has joined #ocaml
beckerb has joined #ocaml
bondar has joined #ocaml
talzeus has quit [Remote host closed the connection]
_andre has joined #ocaml
n06rin has joined #ocaml
ygrek_ has joined #ocaml
q66 has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
<ygrek_>
looks like it is not possible to specify several archive urls in opam package url file ?
<ygrek_>
I thought there is mirror support
<ygrek_>
and btw does opam really verify checksums?
Neros has joined #ocaml
ontologiae has joined #ocaml
ben_zen has joined #ocaml
<bernardofpc>
ggole: found out for yesterday's quadratic behaviour
<bernardofpc>
(of the GC)
<bernardofpc>
what happened is that both the size of the lists that got copied to the major heap got bigger with n
<bernardofpc>
and the number of lists that got copied also increased
<bernardofpc>
(with 10000 elements, 1 list among 6-7 got GC-ed, while with 60000, almost every one got GCed)
<bernardofpc>
after going after the 60000, it "rebecame"linear, but with a different slope
<bernardofpc>
so the minor heap worked as a "cache level", with quadratic behaviour for small numbers, and then linearly afterwards (with the slopes coinciding)
<bernardofpc>
(like, x² from 0->1, then 2x from 1 -> infty)
<ggole>
Hmm
<ggole>
I guess that's not too likely in 'real' programs
<ggole>
Interesting behaviour though
maufred_ has quit [Ping timeout: 264 seconds]
maufred has joined #ocaml
<bernardofpc>
well, my wild guess is that real programs always behave worse than simple benchmarks ;-)
<bernardofpc>
but what
<bernardofpc>
I find puzzling is that it takes much more time for GC to collect things than for those things to be created
<bernardofpc>
(collect = promote then destroy)
<bernardofpc>
how the GC works in freeing memory from the major heap ? has it got a "list of heads" to walk ?
ygrek_ has quit [Ping timeout: 264 seconds]
<ggole>
I've never look at major collections
<ggole>
*looked
<ggole>
I know they are considerably more expensive than minor collections though
ben_zen has quit [Ping timeout: 245 seconds]
gnuvince has quit [Remote host closed the connection]
<bernardofpc>
(that says that "major_words" includes promoted)
void64 has joined #ocaml
yacks has quit [Quit: Leaving]
djcoin has joined #ocaml
maufred_ has joined #ocaml
maufred has quit [Ping timeout: 264 seconds]
chambart has quit [Ping timeout: 243 seconds]
tane has joined #ocaml
dch has joined #ocaml
walter|r has quit [Read error: Connection reset by peer]
walter|r has joined #ocaml
walter|r has quit [Read error: Connection reset by peer]
walter|r has joined #ocaml
n06rin has quit [Quit: Leaving.]
Drup has joined #ocaml
<hcarty>
avsm: http://vpaste.net/adQL8 -- This minimal cohttp+lwt server is slow (~1 second) to respond to POST requests. Is that normal/expected? HEAD and GET requests are quick (time says 0.008 seconds).
<hcarty>
sgnb: Thanks for the link. I should look at ocsigen too. I am/was looking at cohttp first since it's relatively light but ocsigen does have a lot of useful extras.
<hcarty>
sgnb: It sounds like those benchmarks are against GET requests though. That paste's GET handling seems nice and quick. The slow POST is what currently concerns me with cohttp.
ontologiae has quit [Ping timeout: 245 seconds]
maufred_ has joined #ocaml
<Drup>
gasche: are you there ?
<adrien_oww>
try this: gasche, gasche, gasche!
maufred has quit [Ping timeout: 264 seconds]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
cago has quit [Quit: Leaving.]
saml has quit [Quit: Leaving]
saml has joined #ocaml
cago has joined #ocaml
cago has left #ocaml []
yacks has joined #ocaml
yacks has quit [Remote host closed the connection]
yacks has joined #ocaml
ollehar has joined #ocaml
skchrko_ has joined #ocaml
shinnya has joined #ocaml
demonimin has quit [Ping timeout: 245 seconds]
demonimin has joined #ocaml
chambart has joined #ocaml
void64 has quit [Ping timeout: 245 seconds]
bondar has quit [Ping timeout: 264 seconds]
<hcarty>
Is there an equivalent to open! in OCaml 4.01 when using the Module.( ... ) syntax?
<ggole>
What do you mean?
<def-lkb>
hcarty: no
<def-lkb>
but you can do a local let open! … in ()
<Drup>
flux: there is a new warning about shadowing in 4.01, I suppose it's the new construction to discard the warning.
Oejet has quit [Quit: Leaving.]
<flux>
I wonder if this shall lead to let! as well.. and module!, type!, etc ;-)
<ggole>
OCaml code could become much more excitable.
<def-lkb>
flux: I don't know where this led, but this come from object inheritance
weie has quit [Quit: Leaving...]
<flux>
ah, I forgot that they used ! already
<Drup>
def-lkb: you mean class inheritance right ?
<def-lkb>
Drup: pff, same sh*t
<Drup>
def-lkb: not really :D
lusory has quit [Ping timeout: 264 seconds]
<hcarty>
def-lkb: You can, but the whole thing would need to be wrapped in '( ... )' or 'begin ... end' which kills the concision
n06rin has joined #ocaml
<hcarty>
def-lkb: In order to limit the scope of the open that is
<def-lkb>
hcarty: yes, … it's just a compromise
maufred_ has quit [Ping timeout: 264 seconds]
skchrko_ has quit [Quit: Leaving]
skchrko has quit [Quit: Leaving]
<hcarty>
I like the warning but without some kind of M.!( ) or similar support it's too noisy to use in my code.
maufred has joined #ocaml
<hcarty>
I expect a ppx could fix that nicely
ontologiae has joined #ocaml
<def-lkb>
hcarty: it may be worth opening a bug report
<chris2>
"compiling Merlin with ocp-build takes only 4s on a quad-core while ocamlbuild needs 13s in similar conditions and with the same parallelisation settings."
<chris2>
but i dont need to write a new configuration file for ocamlbuild?
<hcarty>
It's (hopefully) too late for new syntax to make it into 4.01.0
<hcarty>
Is there a way to disable a warning by number in _tags?
<hcarty>
ocamlbuild -documentation makes it look like there isn't but I thought I saw it in a project at one point
<hcarty>
warn_A-44 seems to do what I want, sorry for the noise.
tane has quit [Quit: Verlassend]
<hcarty>
avsm: Regarding my cohttp question - if I use 'time curl -i -X POST -d "a" http://127.0.0.1:8080/' then the POST time is effectively the same as GET
demonimin has quit [Remote host closed the connection]
demonimin has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
bondar has joined #ocaml
n06rin has quit [Quit: Leaving.]
n06rin has joined #ocaml
<kerneis>
hcarty: oh this is good news
<kerneis>
we wondered about it the other day
<kerneis>
gasche: if you work on ocamlbuild's doc, it should probably be mentionned somewhere
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
<dsheets>
when is it allowed to miss a "url" file in an opam package metadata?
Arsenik has joined #ocaml
zpe has quit [Remote host closed the connection]
djcoin has quit [Quit: WeeChat 0.4.0]
Yoric has quit [Ping timeout: 264 seconds]
ttamttam has quit [Quit: ttamttam]
<dsheets>
besides conf-* and base-* packages, the only packages that lack a 'url' file in my opam-repository are 'ocp-build' packages
<dsheets>
ocp-build is not building for me because "./configure: file not found" and indeed the kept build directory shows nothing
<dsheets>
is ocp-build somehow special?
<dsheets>
somehow, I can build ocp-build with a clean opam
rossberg has quit [Remote host closed the connection]
<gour>
ada has qt bindings, but no plan for qt5...
<gour>
Kakadu: github page says: "I have paused my work with it..." ?
<Kakadu>
It's about QtGui
<Kakadu>
s/QtGui/QtWidgets/
<Kakadu>
Can somebody say something encouraging?
Arsenik has quit [Ping timeout: 240 seconds]
<gour>
"Multi-runtime OCaml" is supposed to remove some of the long standing complaints against ocaml, multi-core support?
<Drup>
gour: yes, in a quite interesting way
<flux>
I think it's akin to the erlang approach
<gour>
hmm..sounds very good
<whitequark>
so it's like forking, but without actual *nix forking
<flux>
I would say that it'll be great, but 'real' multi-core threads would still give some performance edge
<whitequark>
honestly there's a rather marginal difference between MVM and, well, just multi-processing
<flux>
NVM?
<gour>
Kakadu: i believe qt is the recommended route for gui today instead of gkt/wx...gtk dev on guadec said gtk is meant for 'small apps only' and it's anyway, more or less, just for linux
<whitequark>
MVM. multi-vm
<flux>
ah :)
<whitequark>
sorry, it's a Ruby term for that.
<Drup>
gour: gtk is working on windows, not "well", but it's working
<whitequark>
you can cut down on serialization and deserialization, but that's about it
<Kakadu>
Write something in OCaml+Qt than
<Kakadu>
I'm tired
<gour>
Drup: there is almost no support for it...even no binaries and the whole gtk teams counts less than dozen...
<Kakadu>
It's very said to wait for interview you will fail
<Drup>
gour: agreed, I did say "not well" :)
<gour>
Kakadu: tired for working on lablqt or due to interview?
<Kakadu>
I understanded that nobody need me lablqt
<gour>
Drup: i do not know about any project moving from qt to gtk
<Kakadu>
Also I trying to find normal job and it sucks
<Kakadu>
Sometimes I want never met OCaml
<gour>
Kakadu: that's sad...wonder why new work is targetting wxocaml when wx can't release 3.0 for >5yrs or so
<gour>
Kakadu: why?
<Drup>
Kakadu: it's like batteries, you don't know them, but I'm sure there are some lablqt users around there :D
<Kakadu>
Because it's really easier to be stupid java fanboy and beelive that lambdas are some shit invented by egg-headed scientists and unusable in real life
<Kakadu>
I spenf half a time of summer in OCaml-related internship project
<Kakadu>
spend*
<Drup>
gour: you can try to hurt adrien to make him work faster on his EFL bindings.
<Kakadu>
but nobody cares about what internship projects are
<Kakadu>
guys are writing in Java and want Java-jerks
<Kakadu>
I really don't understand how they are writing compiler in Java
<bernardofpc>
well, there's a theory about that
<Kakadu>
Probably it was better to take Scala related project for internship
<bernardofpc>
using Java programmers makes the enterprise less dependent on the people, because they are replaceable
<bernardofpc>
so this way they can hire juniors all the time and never pay senior prog salaries
<bernardofpc>
and their code sorta works
<Drup>
and have crapy software
<bernardofpc>
the thing is that an army of crappy coders can code more "stuff" than 1 enlightened person
<bernardofpc>
sure, whatever that person does might remain forever a good program
<bernardofpc>
whereas this will not be true for all the rest
<bernardofpc>
but think about it
<technomancy>
it's getting better; in the last decade it was nearly impossible to find FP jobs outside universities
<Kakadu>
technomancy: in what country>
<Kakadu>
?
<bernardofpc>
in the same way people paid engineers to make products that became obsolete *and* broke faster (such as light bulbs and women socks)
<technomancy>
Kakadu: anywhere afaik
<bernardofpc>
they pay programmers to make crappy programs so that they can forever sell "the next version"
<gour>
Drup: i prefer Qt bindings over EFL
<Kakadu>
bernardofpc: It is very deep thoought
n06rin has quit [Quit: Leaving.]
beckerb has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
tane has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
isBEKaml has joined #ocaml
derek_c has joined #ocaml
turnersr has joined #ocaml
ontologiae has quit [Ping timeout: 264 seconds]
Kakadu has quit [Quit: Page closed]
isBEKaml has quit [Read error: Connection reset by peer]
isBEKaml has joined #ocaml
isBEKaml has quit [Changing host]
isBEKaml has joined #ocaml
ygrek_ has quit [Ping timeout: 264 seconds]
<skunkwerks>
bernardofpc: you sound somewhat cynical :-)
derek_c has quit [Read error: Connection reset by peer]
dsheets has quit [Read error: Operation timed out]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
derek_c has joined #ocaml
dsheets has joined #ocaml
isBEKaml has left #ocaml []
zpe has quit [Ping timeout: 264 seconds]
djcoin has joined #ocaml
<gour>
how is ocaml's support on freebsd?
<gour>
hmm..ocaml-3.12...that's a bit old
<gour>
well, not really, same as debian sid
<technomancy>
it's new enough to bootstrap a newer version with opam =)
derek_c has quit [Read error: Connection reset by peer]
<gour>
ocp-build is just build tool, no packaging involved?
derek_c has joined #ocaml
ontologiae has joined #ocaml
Snark has quit [Quit: leaving]
dsheets has quit [Ping timeout: 256 seconds]
chambart has quit [Ping timeout: 244 seconds]
<jpdeplaix>
gour: mmh if I remember well, packaging is involved.
yacks has joined #ocaml
<gour>
jpdeplaix: does it mean it will make opam obsolete in the future?
dsheets has joined #ocaml
<gour>
ocp-build has 'uninstall' target which is, afaik, still missing in haskell's cabal...impressive :-)
<jpdeplaix>
gour: no, I mean by packaging, the install/uninstall primitives. Like the vision of packaging in OASIS
watermind has joined #ocaml
<gour>
jpdeplaix: so, ocp-build is becoming THE build-system and OPAM package manager tool for ocaml projects?
<jpdeplaix>
for OPAM yes. But IMHO, ocp-build is not ready yet. For the moment, I prefer the more standard ocamlbuild.
derek_c has quit [Quit: Lost terminal]
<Drup>
gour: there is not only install/uninstall for packaging in oasis, but also a lot of metadatas.
<gour>
Drup: i was thinking about (un)install in ocp-build...however, not familiar with neither ocp-build nor oasis...in recent time i was mostly focused to deploy ada for my project, but considering i'm still busy with web stuff, i haven't started yet and devlopment within ocaml community looks good, although i'd be happier to see more support for qt than wx bindings
Kakadu has joined #ocaml
yacks has quit [Read error: Operation timed out]
tobiasBora has joined #ocaml
Yoric has joined #ocaml
Neros has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
pippijn has quit [Ping timeout: 264 seconds]
thomasga has joined #ocaml
djcoin has quit [Quit: WeeChat 0.4.0]
ontologiae has quit [Ping timeout: 246 seconds]
pippijn has joined #ocaml
Yoric has joined #ocaml
void64 has joined #ocaml
ggole has quit []
Yoric has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
callen has quit [Ping timeout: 264 seconds]
callen has joined #ocaml
fryguybob has joined #ocaml
gour has quit [Quit: WeeChat 0.4.1]
pippijn has quit [Quit: Segmentation fault]
pippijn has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
_andre has quit [Quit: leaving]
Yoric has joined #ocaml
watermind has quit [Ping timeout: 268 seconds]
ollehar has joined #ocaml
watermind has joined #ocaml
chambart has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
tani has joined #ocaml
ollehar has joined #ocaml
tane has quit [Ping timeout: 264 seconds]
ollehar has quit [Read error: Connection reset by peer]
Yoric has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
Yoric has joined #ocaml
void64 has quit [Quit: Leaving]
void64 has joined #ocaml
void64 has quit [Client Quit]
void64 has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
ben_zen has joined #ocaml
ollehar has joined #ocaml
jayprich has joined #ocaml
gereedy has quit [Ping timeout: 240 seconds]
gereedy has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Yoric has quit [Ping timeout: 264 seconds]
thomasga has quit [Quit: Leaving.]
Simn has quit [Quit: Leaving]
tobiasBora has quit [Quit: Konversation terminated!]
Yoric has joined #ocaml
ontologiae has joined #ocaml
ben_zen has quit [Ping timeout: 264 seconds]
ontologiae has quit [Ping timeout: 245 seconds]
ollehar has quit [Ping timeout: 245 seconds]
void64 has quit [Ping timeout: 246 seconds]
walter|r has joined #ocaml
void64 has joined #ocaml
walter|r has quit [Read error: Connection reset by peer]