| 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 |
| 2025-10-25 10:11:42 +0200 | <[exa]> | yeah I'd vote for init file approach too |
| 2025-10-25 10:13:31 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-10-25 10:13:39 +0200 | <[exa]> | doing autoimports in any other way gets a bit hairy, in rust it might be OK but here you also have small module-related things that change on the import (mainly instances) which could probably mess up stuff if done too automagically |
| 2025-10-25 10:14:34 +0200 | <[exa]> | btw why have audio in prelude? |
| 2025-10-25 10:15:04 +0200 | <Unicorn_Princes> | just so i can do Audio.stuff instead of MyProject.Audio.stuff |
| 2025-10-25 10:16:13 +0200 | <Unicorn_Princes> | i dunno, maybe i shouldn't nest everything under MyProject... |
| 2025-10-25 10:17:28 +0200 | <Unicorn_Princes> | (to be clear this is not meant as a general purpose prelude) |
| 2025-10-25 10:22:01 +0200 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-25 10:22:51 +0200 | <haskellbridge> | <doc> ...if you just want the experience of typing Audio.stuff maybe you could fake it with OverloadedRecordDot + NoFieldSelectors and a top-level record value named "audio" containing all the "exported functions".. the only difference now is that audio is lowercase |
| 2025-10-25 10:24:26 +0200 | <haskellbridge> | <doc> (this would be extremely funny, to be clear, and uncertain whether advisable) |
| 2025-10-25 10:24:43 +0200 | <Unicorn_Princes> | ye no sounds too dirty for me :S |
| 2025-10-25 10:33:10 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 2025-10-25 10:46:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-10-25 10:56:31 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-10-25 10:56:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 10:58:23 +0200 | <[exa]> | +1 for not over-nesting |
| 2025-10-25 10:59:48 +0200 | <[exa]> | Unicorn_Princes: to be super safe you might call your Audio with some project-specific prefix (MPAudio). Gives a safe default and people can import it nicely (as A) |
| 2025-10-25 11:01:10 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-25 11:01:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-25 11:02:36 +0200 | <Unicorn_Princes> | but then isn't MyProject.Audio just that project-specific prefix? |
| 2025-10-25 11:08:36 +0200 | acidjnk | (~acidjnk@p200300d6e71719145522d7c0b030ad0e.dip0.t-ipconnect.de) acidjnk |
| 2025-10-25 11:10:31 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:10:44 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 11:12:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-25 11:22:25 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-10-25 11:23:02 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-25 11:23:40 +0200 | califax_ | califax |
| 2025-10-25 11:28:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:34:25 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:34:40 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 11:42:08 +0200 | Jackneill_ | (~Jackneill@94-21-95-10.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-10-25 11:45:38 +0200 | Googulator17 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 11:45:40 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 11:53:18 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 11:53:31 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 12:05:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-25 12:08:42 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-25 12:12:04 +0200 | trickard_ | trickard |
| 2025-10-25 12:24:12 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-25 12:28:27 +0200 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2025-10-25 12:35:32 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 12:35:45 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 12:37:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-25 12:42:34 +0200 | <tomsmeding> | yes but it's longer |
| 2025-10-25 12:46:13 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 264 seconds) |
| 2025-10-25 12:46:23 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-10-25 12:48:18 +0200 | <[exa]> | well, probably |
| 2025-10-25 12:51:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-25 13:02:30 +0200 | <Unicorn_Princes> | well in principle only longer by one '.' - i could rename MyProject to MP :) |
| 2025-10-25 13:10:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-25 13:20:40 +0200 | <[exa]> | Unicorn_Princes: like, the only thing that can go wrong there is naming conflict with some other library, but since this is some kinda usecase-specific Prelude I guess that isn't a huge issue, right? |
| 2025-10-25 13:23:39 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 2025-10-25 13:24:33 +0200 | <Unicorn_Princes> | you may be right. hm |
| 2025-10-25 13:28:01 +0200 | <Unicorn_Princes> | so say i have a top-lvl module named CommonName (so not nested as MyProject.CommonName), and i find the name is already taken by some (possibly standard) library i want to also use (or someone else wants to use both).. what are one's options in that case? |
| 2025-10-25 13:28:44 +0200 | <Unicorn_Princes> | or what is the idiomatic way to avoid/deal with this |
| 2025-10-25 13:30:32 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-25 13:34:07 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-25 13:38:43 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2025-10-25 13:39:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-10-25 13:46:33 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-25 13:47:40 +0200 | gustrb | (~gustrb@191.243.134.87) (Client Quit) |
| 2025-10-25 13:47:54 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-25 13:54:56 +0200 | ft | (~ft@mue-88-130-106-235.dsl.tropolys.de) ft |
| 2025-10-25 13:55:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-25 13:56:02 +0200 | gustrb | (~gustrb@191.243.134.87) (Quit: gustrb) |
| 2025-10-25 13:56:42 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-25 14:12:10 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 14:12:23 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 14:18:55 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-25 14:20:38 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 14:20:42 +0200 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 14:27:12 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2f56:9d6e:f7ad:9ced) (Ping timeout: 256 seconds) |
| 2025-10-25 14:29:32 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-10-25 14:30:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:178:1b91:5acf:7fe4) |
| 2025-10-25 14:37:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 244 seconds) |
| 2025-10-25 14:42:23 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 14:42:36 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 14:49:06 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-10-25 14:53:50 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-25 14:55:04 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-25 14:57:55 +0200 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-25 14:58:08 +0200 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-10-25 15:11:43 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 15:11:56 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 15:15:41 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 15:15:44 +0200 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 15:16:36 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 15:19:27 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 15:20:42 +0200 | Googulator29 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 15:20:50 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 15:22:05 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 15:26:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:d88f:2255:14bf:ec80) |
| 2025-10-25 15:45:38 +0200 | Googulator87 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 15:45:42 +0200 | Googulator67 | (~Googulato@92-249-221-245.pool.digikabel.hu) |
| 2025-10-25 15:46:19 +0200 | bggd | (~bgg@2a01:e0a:819:1510:7bcd:1a48:39fb:eb8e) (Remote host closed the connection) |
| 2025-10-25 15:56:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-10-25 16:02:14 +0200 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:58f2:1a2c:6dc:ccad) (Quit: Leaving) |
| 2025-10-25 16:06:55 +0200 | Wbooze | (~wboozE@2a02:8071:57a1:dc0:dd1a:b344:a3df:bce) Inline |
| 2025-10-25 16:14:24 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-25 16:14:37 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 16:21:30 +0200 | zeenk | (~zeenk@82.78.233.217) (Quit: Konversation terminated!) |
| 2025-10-25 16:23:21 +0200 | trickard_ | trickard |
| 2025-10-25 16:24:08 +0200 | nerdychip | (~nerdychip@user/nerdychip) nerdychip |