Logs: liberachat/#haskell
| 2025-10-25 01:43:52 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-25 01:53:25 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 01:54:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-25 01:59:17 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-10-25 02:01:08 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-25 02:01:28 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-25 02:05:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 02:08:28 | → | trickard___ joins (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 2025-10-25 02:08:58 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-10-25 02:10:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 02:15:53 | × | Googulator86 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 02:16:03 | → | Googulator86 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 02:21:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 02:31:26 | × | craunts795335385 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-25 02:33:12 | × | td_ quits (~td@i53870931.versanet.de) (Ping timeout: 252 seconds) |
| 2025-10-25 02:35:06 | → | td_ joins (~td@i5387091A.versanet.de) |
| 2025-10-25 02:35:42 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-25 02:50:36 | → | Googulator62 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 02:50:39 | × | Googulator86 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 02:56:41 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-10-25 02:56:47 | fgarcia | is now known as fgidim |
| 2025-10-25 03:15:15 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-10-25 03:20:56 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-25 03:26:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 03:33:48 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-25 03:34:27 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-25 03:37:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 03:42:32 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-25 03:44:34 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-25 03:47:34 | × | aforemny_ quits (~aforemny@i577B13CB.versanet.de) (Ping timeout: 256 seconds) |
| 2025-10-25 03:47:51 | → | aforemny joins (~aforemny@2001:9e8:6ce5:b100:3a99:e5dc:dead:335d) |
| 2025-10-25 03:52:47 | → | Square2 joins (~Square@user/square) |
| 2025-10-25 04:00:03 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-25 04:01:13 | × | td_ quits (~td@i5387091A.versanet.de) (Ping timeout: 264 seconds) |
| 2025-10-25 04:02:40 | → | td_ joins (~td@i53870908.versanet.de) |
| 2025-10-25 04:06:04 | trickard___ | is now known as trickard |
| 2025-10-25 04:10:04 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-10-25 04:12:18 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-25 04:12:18 | × | synchromesh quits (~john@2406:5a00:2412:2c00:443f:a42a:4395:130b) (Read error: Connection reset by peer) |
| 2025-10-25 04:13:36 | → | synchromesh joins (~john@2406:5a00:2412:2c00:38ff:e310:276e:e945) |
| 2025-10-25 04:20:32 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-25 04:20:38 | → | Googulator44 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 04:20:38 | × | Googulator62 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 04:20:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-25 04:22:53 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 04:24:37 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 264 seconds) |
| 2025-10-25 04:24:57 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-25 04:25:55 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-25 04:29:04 | → | craunts795335385 joins (~craunts@110.54.179.70) |
| 2025-10-25 04:30:24 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2025-10-25 04:30:56 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-25 04:33:37 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-25 04:35:19 | × | craunts795335385 quits (~craunts@110.54.179.70) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-25 04:35:51 | × | xff0x quits (~xff0x@ai080027.d.east.v6connect.net) (Ping timeout: 252 seconds) |
| 2025-10-25 04:41:37 | → | aforemny_ joins (~aforemny@2001:9e8:6ceb:2e00:4406:cf8f:80da:fb76) |
| 2025-10-25 04:41:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-10-25 04:41:58 | × | aforemny quits (~aforemny@2001:9e8:6ce5:b100:3a99:e5dc:dead:335d) (Ping timeout: 256 seconds) |
| 2025-10-25 04:42:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-25 04:42:42 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-25 04:47:01 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 2025-10-25 04:48:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 04:50:40 | → | Googulator3 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 04:50:40 | × | Googulator44 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 04:51:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 04:53:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 04:57:09 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-10-25 04:57:24 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Client Quit) |
| 2025-10-25 04:58:42 | → | xff0x joins (~xff0x@2405:6580:b080:900:2f56:9d6e:f7ad:9ced) |
| 2025-10-25 05:01:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-25 05:05:07 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 05:08:25 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 05:10:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-25 05:14:02 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-25 05:21:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 05:27:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 05:35:44 | → | Googulator25 joins (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-25 05:35:44 | × | Googulator3 quits (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-25 05:37:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 05:42:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-25 05:47:33 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-10-25 05:53:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 05:58:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-25 06:02:43 | × | LainIwakura quits (~LainIwaku@user/LainIwakura) (Quit: Client closed) |
| 2025-10-25 06:09:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 06:13:16 | → | emperori joins (~emperori@49.36.181.232) |
| 2025-10-25 06:14:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-25 06:14:46 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2025-10-25 06:18:11 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-25 06:25:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-25 06:26:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-25 06:26:53 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-25 06:27:21 | → | califax joins (~califax@user/califx) |
| 2025-10-25 06:35:04 | × | emperori quits (~emperori@49.36.181.232) (Remote host closed the connection) |
| 2025-10-25 06:35:36 | <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 06:36:22 | Unicorn_Princes- | is now known as Unicorn_Princes |
| 2025-10-25 06:38:45 | <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 06:43:50 | × | notzmv quits (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2025-10-25 06:45:30 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-25 06:48:25 | <c_wraith> | You can't. Exporting from a module is a flat namespace. |
| 2025-10-25 06:49:34 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 265 seconds) |
All times are in UTC.