Newest at the top
| 2025-10-25 14:20:42 +0200 | Googulator59 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 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:18:55 +0200 | Square2 | (~Square@user/square) Square |
| 2025-10-25 14:12:23 +0200 | trickard | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 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 13:56:42 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-25 13:56:02 +0200 | gustrb | (~gustrb@191.243.134.87) (Quit: gustrb) |
| 2025-10-25 13:55:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-25 13:54:56 +0200 | ft | (~ft@mue-88-130-106-235.dsl.tropolys.de) ft |
| 2025-10-25 13:47:54 +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:46:33 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-25 13:39:08 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 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:34:07 +0200 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2025-10-25 13:30:32 +0200 | Square2 | (~Square@user/square) (Ping timeout: 256 seconds) |
| 2025-10-25 13:28:44 +0200 | <Unicorn_Princes> | or what is the idiomatic way to avoid/deal with this |
| 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:24:33 +0200 | <Unicorn_Princes> | you may be right. hm |
| 2025-10-25 13:23:39 +0200 | Leary | (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 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:10:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 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 12:51:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-25 12:48:18 +0200 | <[exa]> | well, probably |
| 2025-10-25 12:46:23 +0200 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 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:42:34 +0200 | <tomsmeding> | yes but it's longer |
| 2025-10-25 12:37:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-25 12:35:45 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 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:28:27 +0200 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2025-10-25 12:24:12 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
| 2025-10-25 12:12:04 +0200 | trickard_ | trickard |
| 2025-10-25 12:08:42 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-25 12:05:06 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-25 11:53:31 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 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:45:40 +0200 | Googulator71 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 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:42:08 +0200 | Jackneill_ | (~Jackneill@94-21-95-10.pool.digikabel.hu) (Remote host closed the connection) |
| 2025-10-25 11:34:40 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |
| 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:28:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:23:40 +0200 | califax_ | califax |
| 2025-10-25 11:23:02 +0200 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-10-25 11:22:25 +0200 | califax_ | (~califax@user/califx) califx |
| 2025-10-25 11:17:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-25 11:12:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-25 11:10:44 +0200 | trickard_ | (~trickard@cpe-55-98-47-163.wireline.com.au) |