avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has quit [Ping timeout: 260 seconds]
manud has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
wildseba1 has joined #mirage
wildseba1 has quit [Ping timeout: 260 seconds]
manud has quit [Quit: manud]
ansiwen has quit [Read error: Connection reset by peer]
ansiwen has joined #mirage
mcclurmc has joined #mirage
manud has joined #mirage
thomasga has quit [Quit: Leaving.]
copy` has quit [Quit: Connection closed for inactivity]
mcclurmc has quit [Ping timeout: 240 seconds]
manud has quit [Quit: manud]
seangrove has joined #mirage
dsheets has joined #mirage
dsheets has quit [Ping timeout: 260 seconds]
manud has joined #mirage
rgrinberg has joined #mirage
dsheets has joined #mirage
seangrove has quit [Ping timeout: 252 seconds]
dsheets has quit [Ping timeout: 250 seconds]
insitu has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
seangrove has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
seangrove has quit [Remote host closed the connection]
manud has quit [Quit: manud]
wildseba1 has joined #mirage
wildseba1 has quit [Ping timeout: 250 seconds]
seangrove has joined #mirage
manud has joined #mirage
wildseba1 has joined #mirage
wildseba1 has quit [Ping timeout: 260 seconds]
wildseba1 has joined #mirage
seangrove has quit [Ping timeout: 246 seconds]
wildseba1 has quit [Ping timeout: 250 seconds]
wildseba1 has joined #mirage
wildseba1 has quit [Ping timeout: 276 seconds]
wildseba1 has joined #mirage
manud has quit [Quit: manud]
copy` has joined #mirage
wildseba1 has quit [Ping timeout: 260 seconds]
rgrinberg has joined #mirage
wildseba1 has joined #mirage
wildseba1 has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Ping timeout: 276 seconds]
wildseba1 has joined #mirage
wildseba1 has quit [Ping timeout: 276 seconds]
yomimono has quit [Ping timeout: 252 seconds]
wildseba1 has joined #mirage
mort___ has joined #mirage
mort___ has left #mirage [#mirage]
_longines has joined #mirage
Kensan has quit [Ping timeout: 252 seconds]
Kensan has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
mcclurmc has joined #mirage
mort___ has joined #mirage
doecnt has joined #mirage
mort___ has left #mirage [#mirage]
copy` has quit [Quit: Connection closed for inactivity]
insitu has joined #mirage
dsheets has joined #mirage
insitu has quit [Ping timeout: 260 seconds]
insitu has joined #mirage
doecnt has quit [Ping timeout: 260 seconds]
copy` has joined #mirage
dsheets has quit [Remote host closed the connection]
ansiwen has quit [Quit: No Ping reply in 180 seconds.]
ansiwen has joined #mirage
dsheets has joined #mirage
dsheets has quit [Remote host closed the connection]
dsheets has joined #mirage
insitu has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
aantron has quit [Ping timeout: 276 seconds]
<Drup> hannes: huum, nice :p
<Drup> that's everything, right ? Not only the part that are linked in ?
<hannes> it is using our wonderful tool chain to hook as "-cc myprogram.ml" passed to ocamlopt, and then records byte sizes of passed in .a, .o, -l files... still a bit cheating
<hannes> cheating due to the sum of all the bytes is >5MB, the main.native ~2.5MB (this is built on unix with mirage)... i suspect cc does some dead code removal?
<Drup> hannes: well, it only links in modules that are actually used
<hannes> ack
<Drup> not the whole archive
<Drup> (I wouldn't really call that dead code removal)
<hannes> yep... can do nm tricks to find the more concrete sizes
rgrinberg has joined #mirage
<Drup> hannes: what are you using for the graph ?
<hannes> Drup: my treemap.ml
<Drup> right
<Drup> I have a similar tool for opam packages
<hannes> for the dependency graph I emit dot file using findlib
<Drup> that's for ocamlfind packages, right ?
<Drup> if you want to have fun :p
wildseba1 has quit [Ping timeout: 276 seconds]
<Drup> re.str, booouuuh
<Drup> hannes: would be nice to get a module size decomposition (with grouping by archive it comes from, ofc)
dsheets has quit [Remote host closed the connection]
<hannes> Drup: and yes, agreed..
<hannes> Drup: btw functorias depends doesn't like dotty (and I cannot find xdot in my FreeBSD)
<Drup> what do you mean ?
<hannes> Drup: if I set --dot-command to dotty, I do not see graphs... generating a dot and other graphviz tools works
<Drup> I remember testing that
<Drup> it's a python script, you can copy it in your path
<hannes> ah, thx for the pointer
<hannes> I thought it must be sth of the graphviz distribution
<Drup> no, it's an external tool
<Drup> hannes: feel free to comment on https://github.com/mirage/functoria/issues/28 if you think we should change it or something
<Drup> dotty's UI is so terrible that it would make graphs pretty much unreadable
dsheets has joined #mirage
dsheets has quit [Ping timeout: 250 seconds]
dsheets has joined #mirage
mcclurmc has quit [Ping timeout: 276 seconds]
dsheets has quit [Ping timeout: 260 seconds]