| 2025-10-25 00:01:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-25 00:02:25 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds) |
| 2025-10-25 00:03:09 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-10-25 00:03:22 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-25 00:04:10 +0200 | AlexZenon | (~alzenon@85.174.180.65) (Ping timeout: 256 seconds) |
| 2025-10-25 00:05:22 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-10-25 00:06:21 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-25 00:06:37 +0200 | trickard___ | trickard |
| 2025-10-25 00:08:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-10-25 00:11:42 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds) |
| 2025-10-25 00:12:05 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-25 00:12:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 00:12:22 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-10-25 00:14:56 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 240 seconds) |
| 2025-10-25 00:19:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 00:19:27 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-25 00:25:24 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Leaving) |
| 2025-10-25 00:30:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 00:31:59 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-10-25 00:35:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-25 00:42:21 +0200 | AlexZenon | (~alzenon@85.174.180.65) |
| 2025-10-25 00:45:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-10-25 00:46:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 00:48:37 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-25 00:50:28 +0200 | AlexZenon | (~alzenon@85.174.180.65) (Ping timeout: 246 seconds) |
| 2025-10-25 00:52:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-25 00:56:05 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2025-10-25 01:02:03 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-25 01:03:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 01:05:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-25 01:06:11 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-25 01:08:06 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-25 01:08:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 01:09:40 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-25 01:09:54 +0200 | AlexZenon | (~alzenon@85.174.180.65) |
| 2025-10-25 01:11:33 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-25 01:15:13 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-10-25 01:19:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 01:24:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-25 01:29:30 +0200 | karenw | (~karenw@user/karenw) (Ping timeout: 252 seconds) |
| 2025-10-25 01:34:55 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-25 01:35:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 01:37:04 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-25 01:40:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 265 seconds) |
| 2025-10-25 01:48:01 +0200 | ridcully | (~ridcully@p508accdc.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-10-25 01:48:50 +0200 | ridcully | (~ridcully@p508acea1.dip0.t-ipconnect.de) ridcully |
| 2025-10-25 02:24:30 +0200 | acidjnk | (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-10-25 02:28:17 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-10-25 02:32:26 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-25 02:33:34 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-25 02:37:06 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-10-25 02:37:09 +0200 | otto_s | (~user@p5b044bdd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-10-25 02:38:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-25 02:38:52 +0200 | otto_s | (~user@p5b044c35.dip0.t-ipconnect.de) |
| 2025-10-25 02:40:12 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-10-25 02:50:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 02:53:51 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-10-25 03:05:38 +0200 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 03:05:50 +0200 | Googulator52 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 03:06:57 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-10-25 03:10:46 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 03:10:46 +0200 | Googulator48 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 03:20:02 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-25 03:36:17 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-25 03:36:37 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-25 03:39:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-10-25 03:40:38 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 03:40:38 +0200 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 03:41:25 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-10-25 03:41:58 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-25 03:43:28 +0200 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-25 03:43:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-10-25 03:53:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 03:54:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-25 03:59:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-10-25 04:01:08 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-25 04:01:28 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-10-25 04:05:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 04:08:28 +0200 | trickard___ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 04:08:58 +0200 | trickard | (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-25 04:10:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 04:15:53 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 04:16:03 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 04:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 04:31:26 +0200 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-25 04:33:12 +0200 | td_ | (~td@i53870931.versanet.de) (Ping timeout: 252 seconds) |
| 2025-10-25 04:35:06 +0200 | td_ | (~td@i5387091A.versanet.de) |
| 2025-10-25 04:35:42 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-25 04:50:36 +0200 | Googulator62 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 04:50:39 +0200 | Googulator86 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 04:56:41 +0200 | fgarcia | (~lei@user/fgarcia) fgarcia |
| 2025-10-25 04:56:47 +0200 | fgarcia | fgidim |
| 2025-10-25 05:15:15 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-25 05:20:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-25 05:26:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 05:33:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-25 05:34:27 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-25 05:37:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 05:42:32 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-25 05:44:34 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-10-25 05:47:34 +0200 | aforemny_ | (~aforemny@i577B13CB.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-25 05:47:51 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:b100:3a99:e5dc:dead:335d) aforemny |
| 2025-10-25 05:52:47 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-25 06:00:03 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-25 06:01:13 +0200 | td_ | (~td@i5387091A.versanet.de) (Ping timeout: 264 seconds) |
| 2025-10-25 06:02:40 +0200 | td_ | (~td@i53870908.versanet.de) td_ |
| 2025-10-25 06:06:04 +0200 | trickard___ | trickard |
| 2025-10-25 06:10:04 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-10-25 06:12:18 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-25 06:12:18 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 2025-10-25 06:13:36 +0200 | synchromesh | (~john@2406:5a00:2412:2c00:38ff:e310:276e:e945) synchromesh |
| 2025-10-25 06:20:32 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-25 06:20:38 +0200 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 06:20:38 +0200 | Googulator62 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 06:20:59 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-25 06:22:53 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 06:24:37 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-10-25 06:24:57 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-25 06:25:55 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-25 06:29:04 +0200 | craunts795335385 | (~craunts@110.54.179.70) |
| 2025-10-25 06:30:24 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-10-25 06:30:56 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-25 06:33:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-25 06:35:19 +0200 | craunts795335385 | (~craunts@110.54.179.70) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-25 06:35:51 +0200 | xff0x | (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2025-10-25 06:41:37 +0200 | aforemny_ | (~aforemny@2001:9e8:6ceb:2e00:4406:cf8f:80da:fb76) aforemny |
| 2025-10-25 06:41:55 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-25 06:41:58 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:b100:3a99:e5dc:dead:335d) (Ping timeout: 256 seconds) |
| 2025-10-25 06:42:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-25 06:42:42 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-25 06:47:01 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-10-25 06:48:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 06:50:40 +0200 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 06:50:40 +0200 | Googulator44 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 06:51:51 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 06:53:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 06:57:09 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-10-25 06:57:24 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Client Quit) |
| 2025-10-25 06:58:42 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2f56:9d6e:f7ad:9ced) |
| 2025-10-25 07:01:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-25 07:05:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 07:08:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 07:10:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-25 07:14:02 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-10-25 07:21:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 07:27:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 07:35:44 +0200 | Googulator25 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 07:35:44 +0200 | Googulator3 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 07:37:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 07:42:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 07:47:33 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-10-25 07:53:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 07:58:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-25 08:02:43 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-25 08:09:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 08:13:16 +0200 | emperori | (~emperori@49.36.181.232) |
| 2025-10-25 08:14:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-25 08:14:46 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-10-25 08:18:11 +0200 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-25 08:25:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 08:26:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 08:26:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-25 08:27:21 +0200 | califax | (~califax@user/califx) califx |
| 2025-10-25 08:35:04 +0200 | emperori | (~emperori@49.36.181.232) (Remote host closed the connection) |
| 2025-10-25 08:35:36 +0200 | <Unicorn_Princes-> | i have a module A.B, and I'd like to re-export it qualified from a module C, so that I can do import qualified C; x = C.B.f; |
| 2025-10-25 08:36:22 +0200 | Unicorn_Princes- | Unicorn_Princes |
| 2025-10-25 08:38:45 +0200 | <Unicorn_Princes> | so far only figured out how to do it unqualified, i.e. module C (module A.B) where..; import qualified C; x = C.f; (where f is defined in A.B) |
| 2025-10-25 08:43:50 +0200 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2025-10-25 08:45:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-25 08:48:25 +0200 | <c_wraith> | You can't. Exporting from a module is a flat namespace. |
| 2025-10-25 08:49:34 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-10-25 08:56:31 +0200 | <Unicorn_Princes> | oh dear |
| 2025-10-25 08:59:28 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-25 08:59:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-25 09:06:55 +0200 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-10-25 09:15:48 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 09:15:48 +0200 | Googulator25 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 09:16:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-25 09:19:52 +0200 | <[exa]> | Unicorn_Princes: any actual usecase for that? (mostly curious) |
| 2025-10-25 09:27:40 +0200 | <Unicorn_Princes> | yep - making kind of a custom prelude (for a specific usecase). imagine i have System.Directory.setCurrentDirectory, and Conversion.Audio.toMp3, and i want to make a single MyPrelude module, where with just import qualified MyPrelude, I can do MyPrelude.setCurrentDirectory (since it's a commonly used function it's top-level) and MyPrelude.Audio.toMp3 (less commonly used, so more nesting) |
| 2025-10-25 09:29:01 +0200 | <Unicorn_Princes> | basically this: https://doc.rust-lang.org/book/ch14-02-publishing-to-crates-io.html#exporting-a-convenient-public-… |
| 2025-10-25 09:29:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-25 09:35:31 +0200 | zeenk | (~zeenk@82.78.233.217) zeenk |
| 2025-10-25 09:38:11 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 2025-10-25 09:39:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-10-25 09:40:01 +0200 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-10-25 09:40:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 09:45:42 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 240 seconds) |
| 2025-10-25 09:45:48 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-10-25 09:46:28 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-10-25 09:50:46 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-10-25 09:51:02 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-25 09:58:29 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 09:58:42 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 09:58:43 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 10:01:56 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-10-25 10:03:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-25 10:08:39 +0200 | <[exa]> | Unicorn_Princes: so essentially "import qualified MyPrelude.Audio" would be almost there, except you don't want to write the qualified import yourself? |
| 2025-10-25 10:10:24 +0200 | <Unicorn_Princes> | yes, and "import qualified MyPrelude.Audio as Audio" is all the way there |
| 2025-10-25 10:10:57 +0200 | <Unicorn_Princes> | only right now that's in an init file that is ran at runtime so doesn't get any compile-time checking. which honestly isn't a big deal since it's super small |