Logs: liberachat/#haskell
| 2025-10-31 19:40:07 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-10-31 19:40:21 | × | jespada quits (~jespada@2800:a4:2225:3b00:4824:161a:e31a:fdd3) (Quit: Textual IRC Client: www.textualapp.com) |
| 2025-10-31 19:40:52 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 19:41:06 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 19:42:03 | <merijn> | tomsmeding: to be fair, that's really like 5 GHCs in one :p |
| 2025-10-31 19:42:15 | <tomsmeding> | is it? |
| 2025-10-31 19:42:38 | <merijn> | tomsmeding: all the different flavours are shipped together |
| 2025-10-31 19:42:49 | <merijn> | static, static + profiling, dynamic, dynamic + profiling |
| 2025-10-31 19:43:01 | <tomsmeding> | isn't there tremendous overlap between them? |
| 2025-10-31 19:43:15 | <merijn> | tomsmeding: all of base exists once per flavour |
| 2025-10-31 19:43:15 | <tomsmeding> | why would I need a completely separate GHC to be able to compile with profiling? |
| 2025-10-31 19:43:20 | <tomsmeding> | oh the libraries, right |
| 2025-10-31 19:43:56 | <merijn> | the RTS has all of those and then also debug flavour |
| 2025-10-31 19:44:18 | <merijn> | there's A LOT of duplication and in the absence of linking being a thing at all in wasm you can collapse a lot of that |
| 2025-10-31 19:44:20 | → | nek0 joins (~nek0@user/nek0) |
| 2025-10-31 19:45:09 | <tomsmeding> | merijn: though libHSghc-9.8.4-c895.a is 272 MB on my system |
| 2025-10-31 19:45:15 | <tomsmeding> | that's just one flavour |
| 2025-10-31 19:45:35 | <tomsmeding> | (the .p_a is 447 MB, yes) |
| 2025-10-31 19:45:57 | <merijn> | tomsmeding: Oh, I forgot mentioning you ship "GHC-as-library" in all flavours too :p |
| 2025-10-31 19:46:14 | <tomsmeding> | > 50 / 272 |
| 2025-10-31 19:46:16 | <lambdabot> | 0.18382352941176472 |
| 2025-10-31 19:46:26 | <tomsmeding> | which 82% of GHC does the wasm playground get to cut? |
| 2025-10-31 19:47:23 | <merijn> | Well, presumably literally all of the GC and multi-threading? :p |
| 2025-10-31 19:47:37 | <boonochrom> | I fear that RTS also has to have those 4 flavours. |
| 2025-10-31 19:47:56 | <merijn> | tomsmeding: Also, don't forget debug symbols |
| 2025-10-31 19:48:32 | <tomsmeding> | merijn: okay very good point, stripping that .a yields 124 MB |
| 2025-10-31 19:48:54 | <boonochrom> | OK OK GHC-in-browser probably can choose just one flavour and stick to it. |
| 2025-10-31 19:49:00 | <tomsmeding> | still, cutting >50% still seems much |
| 2025-10-31 19:49:59 | <boonochrom> | Some years ago someone in the local Haskell group eventually suggested "use a standard exe compressor" >:) |
| 2025-10-31 19:50:07 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2025-10-31 19:50:47 | <tomsmeding> | ghc-in-browser only needs to do bytecode interpretation; not sure if the process is smart enough to cut the native code generator, but it could in principle |
| 2025-10-31 19:51:14 | <tomsmeding> | maybe GC + some of the RTS + native codegen starts being sizeable? |
| 2025-10-31 19:51:51 | <tomsmeding> | my GHC 9.12 is actually 3.6 GB |
| 2025-10-31 19:52:30 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-10-31 19:52:52 | <haskellbridge> | <sm> ouch |
| 2025-10-31 19:54:59 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 2025-10-31 19:56:01 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2025-10-31 19:57:23 | <merijn> | sm: I mean, that's still nothing compared to clang |
| 2025-10-31 19:57:39 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-31 19:57:42 | <merijn> | Which is like a solid 6.5 GB and that's not even with all bells and whistles |
| 2025-10-31 19:59:44 | <tomsmeding> | merijn: I happen to have a full install of clang 15 here in a prefix directory, and it's 584 MB |
| 2025-10-31 19:59:56 | <tomsmeding> | yes, clang 15 is old, but it hasn't become 6.5 MB in a few years |
| 2025-10-31 20:00:03 | <tomsmeding> | s/MB/GB/ |
| 2025-10-31 20:00:16 | <tomsmeding> | (yes, the build directory is 11 GB) |
| 2025-10-31 20:00:59 | <tomsmeding> | though you're right that 584 is larger than 124 |
| 2025-10-31 20:00:59 | × | synchromesh quits (~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) (Read error: Connection reset by peer) |
| 2025-10-31 20:02:11 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-31 20:02:22 | → | synchromesh joins (~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) |
| 2025-10-31 20:02:30 | <merijn> | tomsmeding: I have a full install in my homedir (multiple actually) and the smallest is 5GB |
| 2025-10-31 20:02:41 | <tomsmeding> | 1. rip your disk |
| 2025-10-31 20:02:56 | <tomsmeding> | 2. apparently you have many more bells 'n whistles enabled than I have |
| 2025-10-31 20:02:56 | <merijn> | tomsmeding: Just clang or clang++ too? |
| 2025-10-31 20:03:09 | <tomsmeding> | this is just clang, though with the NVPTX backend, I think |
| 2025-10-31 20:03:27 | <tomsmeding> | oh no there's clang++ too |
| 2025-10-31 20:03:46 | <tomsmeding> | and all the llvm-* tools, though I expect they share most of the code with clang |
| 2025-10-31 20:07:18 | × | phma quits (~phma@2605:59c8:6211:ff08:7181:51cb:35db:c6be) (Ping timeout: 256 seconds) |
| 2025-10-31 20:17:50 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) |
| 2025-10-31 20:27:08 | × | haltingsolver quits (~cmo@2604:3d09:207f:8000:d250:ea0c:366a:6e73) (Ping timeout: 256 seconds) |
| 2025-10-31 20:33:01 | → | Eoco joins (~ian@128.101.131.218) |
| 2025-10-31 20:34:27 | × | inline quits (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Ping timeout: 250 seconds) |
| 2025-10-31 20:35:38 | → | Googulator73 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 20:35:43 | × | Googulator31 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 20:36:13 | → | inline joins (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) |
| 2025-10-31 20:36:52 | → | remexre joins (~remexre@user/remexre) |
| 2025-10-31 20:38:35 | → | bonken joins (~bonken@77.240.72.67) |
| 2025-10-31 20:40:42 | × | Googulator73 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 20:40:49 | → | Googulator73 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 20:42:47 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 2025-10-31 20:47:44 | × | fgidim quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-10-31 20:51:14 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-10-31 20:53:09 | × | Zemy quits (~Zemy@2600:100c:b0a9:88fa:48c9:49ff:fe87:6a25) (Ping timeout: 252 seconds) |
| 2025-10-31 20:58:40 | ← | bonken parts (~bonken@77.240.72.67) (Leaving) |
| 2025-10-31 20:59:07 | × | annamalai quits (~annamalai@157.32.136.128) (Ping timeout: 264 seconds) |
| 2025-10-31 21:00:41 | → | Googulator24 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 21:00:52 | × | Googulator73 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 21:09:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-10-31 21:18:19 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-31 21:20:42 | → | Googulator14 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 21:20:45 | × | Googulator24 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 21:21:43 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 21:23:10 | × | YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-10-31 21:23:30 | → | YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:3dd:a915:d31f:6e01) |
| 2025-10-31 21:27:57 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 21:29:17 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-31 21:30:48 | × | inline quits (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) (Ping timeout: 260 seconds) |
| 2025-10-31 21:35:43 | → | Googulator52 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 21:35:43 | × | Googulator14 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 21:36:16 | → | inline joins (~inline@2a02:8071:57a1:dc0:da65:d2f0:d460:56a8) |
| 2025-10-31 21:41:41 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-31 21:42:37 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-31 21:44:06 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Quit: Frostillicus) |
| 2025-10-31 21:45:17 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-31 21:47:03 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 252 seconds) |
| 2025-10-31 21:47:10 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 21:55:38 | → | Googulator42 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-10-31 21:55:46 | × | Googulator52 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 21:55:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 21:58:21 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-10-31 22:00:47 | × | Googulator42 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 22:00:48 | → | Googulator46 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
All times are in UTC.