Logs: liberachat/#haskell
| 2025-10-16 23:43:02 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 2025-10-16 23:46:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-16 23:47:37 | × | acidjnk quits (~acidjnk@p200300d6e71719750129677a31b7bc88.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-10-16 23:54:37 | × | gustrb quits (~gustrb@200.132.2.8) (Ping timeout: 246 seconds) |
| 2025-10-16 23:55:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-16 23:58:55 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-17 00:06:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 00:07:02 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-17 00:10:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-10-17 00:11:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 00:11:47 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-10-17 00:14:50 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-10-17 00:15:32 | × | zfnmxt quits (~m-gkkevi@user/zfnmxt) (Remote host closed the connection) |
| 2025-10-17 00:16:06 | → | Zemy joins (~Zemy@2600:100c:b0a4:d984:e881:2dff:fe8d:7adc) |
| 2025-10-17 00:16:23 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-17 00:18:34 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 00:18:43 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 00:20:14 | → | zfnmxt joins (~m-gkkevi@209.209.10.107) |
| 2025-10-17 00:20:28 | → | divya joins (divya@140.238.251.170) |
| 2025-10-17 00:20:44 | × | Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 2025-10-17 00:22:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 00:24:55 | × | zfnmxt quits (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
| 2025-10-17 00:25:30 | × | Psychotic1 quits (~Psychotic@2600:1007:b03f:31b9:ac66:7c96:29ca:d87a) (Ping timeout: 248 seconds) |
| 2025-10-17 00:26:37 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-17 00:27:44 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 00:27:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 00:29:01 | → | gustrb joins (~gustrb@200.132.2.8) |
| 2025-10-17 00:30:51 | → | zfnmxt joins (~m-gkkevi@209.209.10.107) |
| 2025-10-17 00:34:52 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-10-17 00:35:41 | × | zfnmxt quits (~m-gkkevi@209.209.10.107) (Ping timeout: 256 seconds) |
| 2025-10-17 00:38:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 00:39:39 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 2025-10-17 00:43:16 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 00:45:32 | × | otto_s_ quits (~user@p4ff27814.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-10-17 00:47:18 | → | otto_s joins (~user@p5de2f2fc.dip0.t-ipconnect.de) |
| 2025-10-17 00:54:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 00:54:49 | × | Square2 quits (~Square@user/square) (Ping timeout: 246 seconds) |
| 2025-10-17 00:55:23 | → | Square joins (~Square4@user/square) |
| 2025-10-17 00:57:30 | × | xff0x quits (~xff0x@2405:6580:b080:900:f00e:ba81:9552:a989) (Ping timeout: 248 seconds) |
| 2025-10-17 00:59:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-17 01:00:07 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-17 01:05:43 | × | FANTOM quits (~fantom@90.244.183.5) (Ping timeout: 256 seconds) |
| 2025-10-17 01:09:38 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-10-17 01:09:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 01:10:02 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 01:13:05 | × | gustrb quits (~gustrb@200.132.2.8) (Ping timeout: 256 seconds) |
| 2025-10-17 01:14:56 | × | Pixi quits (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2025-10-17 01:15:20 | → | Pixi joins (~Pixi@user/pixi) |
| 2025-10-17 01:16:01 | → | FANTOM joins (~fantom@90.244.168.178) |
| 2025-10-17 01:16:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 01:18:25 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-17 01:18:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-17 01:19:58 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-10-17 01:20:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 01:20:13 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-10-17 01:20:43 | → | zfnmxt joins (~m-gkkevi@209.209.10.107) |
| 2025-10-17 01:24:10 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 248 seconds) |
| 2025-10-17 01:24:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 01:28:46 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 01:33:14 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 248 seconds) |
| 2025-10-17 01:35:11 | <jackdk> | dolio: Apparently that work ran into roadblocks and is not planned any more: https://gitlab.haskell.org/ghc/ghc/-/issues/15028. This libraries@ post lists the main problems: https://mail.haskell.org/pipermail/libraries/2020-April/030357.html . Most seem fixable, but the syntactic noise seems really annoying and the strictness change more fundamentally difficult. |
| 2025-10-17 01:35:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 01:38:08 | trickard_ | is now known as trickard |
| 2025-10-17 01:40:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 01:51:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 01:54:43 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-17 01:56:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 02:06:42 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-17 02:07:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 02:12:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 02:20:19 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-17 02:23:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 02:24:32 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-10-17 02:27:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 02:28:35 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1) |
| 2025-10-17 02:33:00 | × | td_ quits (~td@i5387093E.versanet.de) (Ping timeout: 244 seconds) |
| 2025-10-17 02:35:07 | → | td_ joins (~td@i5387090B.versanet.de) |
| 2025-10-17 02:38:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 02:39:27 | <dcpagan> | Is there a way to either undo an import or hide a variable from an existing import? |
| 2025-10-17 02:39:37 | <dcpagan> | I keep getting ambiguous occurrence errors. |
| 2025-10-17 02:39:47 | <dcpagan> | I mean in the interactive shell. |
| 2025-10-17 02:40:07 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 2025-10-17 02:40:47 | <geekosaur> | probably have to unimport and re-import with `hiding` |
| 2025-10-17 02:41:06 | <geekosaur> | (unimporting is done with the old `:m` command: `:m -Module.Name` |
| 2025-10-17 02:41:12 | <geekosaur> | ) |
| 2025-10-17 02:43:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 02:44:11 | <ski> | import Prelude hiding (length) |
| 2025-10-17 02:44:43 | <fgidim> | something like import Prelude hiding tail or import Prelude hiding( head, tail ) |
| 2025-10-17 02:54:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 03:01:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:09:49 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2025-10-17 03:12:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 03:13:15 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 03:17:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:21:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 03:25:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 03:28:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-10-17 03:29:31 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2025-10-17 03:29:50 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-10-17 03:30:28 | → | haskellbridge joins (~hackager@96.28.224.214) |
All times are in UTC.