IRCBrowse

2025/11/25

2025-11-25 00:06:05 +0100X-Scale(~ARM@6.67.114.89.rev.vodafone.pt) X-Scale
2025-11-25 00:06:18 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-11-25 00:08:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 00:12:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 00:12:35 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-11-25 00:13:09 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 00:13:45 +0100infinity0(~infinity0@pwned.gg) (Ping timeout: 252 seconds)
2025-11-25 00:13:50 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-11-25 00:14:48 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-11-25 00:15:07 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-25 00:16:41 +0100trickard_trickard
2025-11-25 00:17:24 +0100mange(~mange@user/mange) mange
2025-11-25 00:17:45 +0100ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-11-25 00:19:58 +0100hseg_(~hseg_@46.120.21.70) (Remote host closed the connection)
2025-11-25 00:21:39 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 00:23:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 00:24:34 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-11-25 00:25:07 +0100Sgeo_(~Sgeo@user/sgeo) Sgeo
2025-11-25 00:27:54 +0100Googulator2Googulator
2025-11-25 00:28:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-25 00:28:56 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 240 seconds)
2025-11-25 00:30:31 +0100emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-11-25 00:32:24 +0100Square2(~Square4@user/square) Square
2025-11-25 00:35:15 +0100Square3(~Square@user/square) (Ping timeout: 240 seconds)
2025-11-25 00:39:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 00:43:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 00:51:49 +0100hseg_(~hseg_@46.120.21.70) hseg
2025-11-25 00:53:59 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 00:54:03 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-11-25 00:54:28 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 01:00:17 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-11-25 01:00:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-25 01:02:14 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-11-25 01:10:53 +0100karenw(~karenw@user/karenw) karenw
2025-11-25 01:11:00 +0100Googulator58(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 01:11:14 +0100Googulator(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 01:12:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 01:13:12 +0100karenw(~karenw@user/karenw) (Remote host closed the connection)
2025-11-25 01:15:09 +0100karenw(~karenw@user/karenw) karenw
2025-11-25 01:16:42 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 01:16:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-25 01:16:56 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 01:19:25 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-11-25 01:20:24 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-25 01:22:53 +0100Googulator58Googulator
2025-11-25 01:27:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 01:30:28 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 01:32:05 +0100SoF(~skius@user/skius) (Quit: Ping timeout (120 seconds))
2025-11-25 01:32:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-25 01:32:25 +0100pointlessslippe-(~pointless@62.106.85.17) (Ping timeout: 264 seconds)
2025-11-25 01:32:40 +0100SoF(~skius@user/skius) skius
2025-11-25 01:32:43 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 246 seconds)
2025-11-25 01:42:24 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 01:42:38 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 01:42:49 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 01:43:15 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2025-11-25 01:46:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 01:53:46 +0100pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-11-25 01:55:43 +0100Googulator12(~Googulato@85-238-95-93.pool.digikabel.hu)
2025-11-25 01:56:11 +0100Googulator(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 01:58:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 02:02:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-25 02:13:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 02:15:01 +0100Googulator12Googulator
2025-11-25 02:18:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-25 02:19:42 +0100defragger(~random@i6DFADE93.versanet.de) (Ping timeout: 252 seconds)
2025-11-25 02:21:23 +0100defragger(~random@i6DFADED8.versanet.de) defragger
2025-11-25 02:28:24 +0100comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-11-25 02:29:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 02:31:13 +0100vardhan(~vardhan@122.172.80.152)
2025-11-25 02:32:00 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-25 02:32:35 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-11-25 02:33:22 +0100califax(~califax@user/califx) califx
2025-11-25 02:35:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 02:40:44 +0100Googulator(~Googulato@85-238-95-93.pool.digikabel.hu) (Quit: Client closed)
2025-11-25 02:40:46 +0100Googulator58(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 02:42:55 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds)
2025-11-25 02:44:30 +0100Tuplanolla(~Tuplanoll@91-152-225-194.elisa-laajakaista.fi) (Quit: Leaving.)
2025-11-25 02:47:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 02:50:22 +0100trickard_trickard
2025-11-25 02:51:28 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-25 02:55:05 +0100ubert(~Thunderbi@91.141.74.115.wireless.dyn.drei.com) (Quit: ubert)
2025-11-25 02:55:20 +0100ubert(~Thunderbi@91.141.74.115.wireless.dyn.drei.com) ubert
2025-11-25 02:58:55 +0100X-Scale(~ARM@6.67.114.89.rev.vodafone.pt) (Ping timeout: 240 seconds)
2025-11-25 03:00:28 +0100omidmash6(~omidmash@user/omidmash) omidmash
2025-11-25 03:00:57 +0100acidjnk(~acidjnk@p200300d6e7171999e55ab4ed707f2239.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-11-25 03:02:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 03:02:43 +0100omidmash(~omidmash@user/omidmash) (Ping timeout: 264 seconds)
2025-11-25 03:02:43 +0100omidmash6omidmash
2025-11-25 03:06:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 03:07:18 +0100X-Scale(~ARM@6.67.114.89.rev.vodafone.pt) X-Scale
2025-11-25 03:08:40 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 245 seconds)
2025-11-25 03:10:50 +0100Googulator99(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 03:10:50 +0100Googulator58(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 03:15:22 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 03:18:03 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 03:18:44 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 03:18:58 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 03:22:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 03:22:15 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2025-11-25 03:33:24 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 03:38:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-25 03:40:42 +0100Googulator99(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 03:40:49 +0100Googulator33(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 03:43:48 +0100EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2025-11-25 03:44:07 +0100EvanR(~EvanR@user/evanr) EvanR
2025-11-25 03:48:52 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 03:53:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 04:01:33 +0100EvanR_(~EvanR@user/evanr) EvanR
2025-11-25 04:03:55 +0100comonad(~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de)
2025-11-25 04:04:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 04:04:30 +0100EvanR(~EvanR@user/evanr) (Ping timeout: 256 seconds)
2025-11-25 04:08:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 04:13:51 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 04:14:04 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 04:19:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 04:20:47 +0100marlino(~marlino@96-8-193-85.block0.gvtc.com)
2025-11-25 04:24:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-25 04:25:55 +0100marlino(~marlino@96-8-193-85.block0.gvtc.com) (Quit: WeeChat 4.7.1)
2025-11-25 04:26:42 +0100haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-11-25 04:35:11 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 04:36:14 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 04:40:13 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-25 04:43:49 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2025-11-25 04:47:26 +0100marlino(~marlino@96-8-193-85.block0.gvtc.com)
2025-11-25 04:49:08 +0100EvanR_EvanR
2025-11-25 04:50:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 04:54:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 04:56:27 +0100vgtw(~vgtw@user/vgtw) (Ping timeout: 252 seconds)
2025-11-25 04:57:26 +0100vgtw(~vgtw@user/vgtw) vgtw
2025-11-25 05:01:36 +0100hakutaku(~textual@chen.yukari.eu.org)
2025-11-25 05:02:29 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 05:05:34 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-25 05:05:53 +0100hakutaku_(~textual@chen.yukari.eu.org)
2025-11-25 05:05:55 +0100hakutaku(~textual@chen.yukari.eu.org) (Ping timeout: 240 seconds)
2025-11-25 05:06:08 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 05:10:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 05:10:48 +0100Googulator33(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 05:10:55 +0100Googulator33(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 05:11:28 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-11-25 05:21:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 05:26:08 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds)
2025-11-25 05:27:31 +0100potatoespotatoes(~quassel@user/potatoespotatoes) ()
2025-11-25 05:28:20 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-25 05:28:27 +0100potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-11-25 05:28:45 +0100potatoespotatoes(~quassel@user/potatoespotatoes) (Client Quit)
2025-11-25 05:30:41 +0100potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-11-25 05:34:15 +0100Googulator33Googulator
2025-11-25 05:34:19 +0100potatoespotatoes(~quassel@user/potatoespotatoes) (Client Quit)
2025-11-25 05:35:30 +0100marlino(~marlino@96-8-193-85.block0.gvtc.com) (Quit: WeeChat 4.7.1)
2025-11-25 05:36:43 +0100potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-11-25 05:39:34 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 05:40:55 +0100Googulator11(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 05:40:56 +0100Googulator(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 05:43:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 05:47:31 +0100karenw(~karenw@user/karenw) (Ping timeout: 246 seconds)
2025-11-25 05:54:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 05:57:27 +0100djspacewhale(~djspacewh@user/djspacewhale) djspacewhale
2025-11-25 05:59:03 +0100djspacewhale(~djspacewh@user/djspacewhale) (Remote host closed the connection)
2025-11-25 05:59:32 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-25 06:10:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 06:14:24 +0100mange(~mange@user/mange) (Remote host closed the connection)
2025-11-25 06:15:01 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-25 06:17:35 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-11-25 06:25:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 06:29:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 06:32:38 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 06:38:03 +0100hakutaku_(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-11-25 06:40:57 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 06:42:35 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2025-11-25 06:45:25 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-25 06:47:21 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 06:54:19 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-11-25 06:56:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 07:03:21 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-25 07:06:47 +0100omidmash(~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat)
2025-11-25 07:08:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 07:08:24 +0100weary-traveler(~user@user/user363627) user363627
2025-11-25 07:11:26 +0100omidmash(~omidmash@user/omidmash) omidmash
2025-11-25 07:12:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 07:23:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 07:24:22 +0100trickard_trickard
2025-11-25 07:26:25 +0100nitrix(~nitrix@user/meow/nitrix) (Ping timeout: 264 seconds)
2025-11-25 07:27:38 +0100michalz(~michalz@185.246.207.221)
2025-11-25 07:27:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 07:27:58 +0100notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2025-11-25 07:36:31 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-25 07:39:09 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 07:43:13 +0100weary-traveler(~user@user/user363627) (Ping timeout: 264 seconds)
2025-11-25 07:43:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 07:54:38 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 07:58:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 08:02:24 +0100Square3(~Square@user/square) Square
2025-11-25 08:06:09 +0100Square2(~Square4@user/square) (Ping timeout: 260 seconds)
2025-11-25 08:09:41 +0100takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-11-25 08:10:07 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 08:14:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-11-25 08:20:47 +0100tromp(~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc)
2025-11-25 08:21:38 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 08:21:52 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 08:24:37 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-11-25 08:25:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 08:25:39 +0100poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-11-25 08:28:45 +0100poscat(~poscat@user/poscat) poscat
2025-11-25 08:29:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 08:40:47 +0100Googulator11(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 08:40:50 +0100Googulator1(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 08:40:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 08:45:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 08:45:15 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-11-25 08:45:58 +0100lucabtz(~lucabtz@user/lucabtz) lucabtz
2025-11-25 08:49:31 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 246 seconds)
2025-11-25 08:49:43 +0100arandombit(~arandombi@user/arandombit) arandombit
2025-11-25 08:56:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 08:57:05 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 09:01:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-25 09:01:50 +0100ptrspt(~ptrspt@2.122.160.102)
2025-11-25 09:05:15 +0100Square3(~Square@user/square) (Ping timeout: 240 seconds)
2025-11-25 09:09:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 09:11:07 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-11-25 09:13:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 09:14:19 +0100ptrspt(~ptrspt@2.122.160.102) (Remote host closed the connection)
2025-11-25 09:17:36 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-11-25 09:19:27 +0100rnat(uid73555@id-73555.lymington.irccloud.com)
2025-11-25 09:19:44 +0100rnat(uid73555@id-73555.lymington.irccloud.com) (Client Quit)
2025-11-25 09:20:17 +0100rnat(uid73555@id-73555.lymington.irccloud.com)
2025-11-25 09:24:08 +0100nitrix(~nitrix@user/meow/nitrix) nitrix
2025-11-25 09:24:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 09:26:40 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-25 09:27:35 +0100hakutaku(~textual@chen.yukari.eu.org)
2025-11-25 09:29:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-25 09:30:56 +0100haskellbridge(~hackager@96.28.224.214) (Read error: Connection reset by peer)
2025-11-25 09:33:01 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 09:33:15 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 09:33:39 +0100tomku(~tomku@user/tomku) (Ping timeout: 260 seconds)
2025-11-25 09:34:29 +0100hakutaku(~textual@chen.yukari.eu.org) (Remote host closed the connection)
2025-11-25 09:35:03 +0100hakutaku(~textual@chen.yukari.eu.org)
2025-11-25 09:35:32 +0100tomku(~tomku@user/tomku) tomku
2025-11-25 09:36:04 +0100tromp(~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-25 09:37:40 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-11-25 09:37:40 +0100ChanServ+v haskellbridge
2025-11-25 09:40:47 +0100notzmv(~umar@user/notzmv) notzmv
2025-11-25 10:03:54 +0100emmanuelux(~emmanuelu@user/emmanuelux) (Remote host closed the connection)
2025-11-25 10:06:03 +0100kuribas(~user@188.188.119.115) kuribas
2025-11-25 10:09:08 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-25 10:10:03 +0100Googulator1Googulator
2025-11-25 10:10:35 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds)
2025-11-25 10:18:34 +0100hakutaku(~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2025-11-25 10:21:26 +0100vanishingideal(~vanishing@user/vanishingideal) (Read error: Connection reset by peer)
2025-11-25 10:26:09 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) (Quit: leaving)
2025-11-25 10:27:39 +0100acidjnk(~acidjnk@p200300d6e7171998508fe3f98c6641fe.dip0.t-ipconnect.de) acidjnk
2025-11-25 10:32:09 +0100annamalai(~annamalai@157.32.136.68) (Ping timeout: 265 seconds)
2025-11-25 10:35:55 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-11-25 10:41:19 +0100weary-traveler(~user@user/user363627) user363627
2025-11-25 10:43:39 +0100haritz(~hrtz@140.228.70.141)
2025-11-25 10:43:39 +0100haritz(~hrtz@140.228.70.141) (Changing host)
2025-11-25 10:43:39 +0100haritz(~hrtz@user/haritz) haritz
2025-11-25 10:48:20 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-25 10:50:03 +0100chele(~chele@user/chele) chele
2025-11-25 10:51:37 +0100tromp(~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc)
2025-11-25 10:55:13 +0100kuribas(~user@188.188.119.115) (Ping timeout: 264 seconds)
2025-11-25 10:55:16 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 255 seconds)
2025-11-25 10:55:20 +0100hseg_(~hseg_@46.120.21.70) (Ping timeout: 256 seconds)
2025-11-25 10:58:14 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2025-11-25 11:00:47 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-25 11:01:55 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 240 seconds)
2025-11-25 11:01:55 +0100haskellbridge(~hackager@96.28.224.214) (Read error: Connection reset by peer)
2025-11-25 11:02:23 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 11:04:02 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 11:05:18 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2025-11-25 11:08:46 +0100haskellbridge(~hackager@96.28.224.214) hackager
2025-11-25 11:08:46 +0100ChanServ+v haskellbridge
2025-11-25 11:26:10 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-11-25 11:29:06 +0100rnat(uid73555@id-73555.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-11-25 11:29:15 +0100trickard_trickard
2025-11-25 11:30:32 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-25 11:31:33 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-25 12:07:49 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-25 12:08:06 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 12:08:30 +0100karenw(~karenw@user/karenw) karenw
2025-11-25 12:08:43 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 264 seconds)
2025-11-25 12:11:19 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-25 12:14:08 +0100annamalai(~annamalai@157.32.140.105) annamalai
2025-11-25 12:14:20 +0100confusedalex(~confuseda@user/confusedalex) (Read error: Connection reset by peer)
2025-11-25 12:17:21 +0100confusedalex(~confuseda@user/confusedalex) confusedalex
2025-11-25 12:18:49 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 246 seconds)
2025-11-25 12:21:19 +0100fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-11-25 12:21:37 +0100confusedalex(~confuseda@user/confusedalex) (Ping timeout: 246 seconds)
2025-11-25 12:23:05 +0100_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-11-25 12:26:07 +0100confusedalex(~confuseda@user/confusedalex) confusedalex
2025-11-25 12:32:57 +0100 <fgarcia> > putStrLn "hi!"
2025-11-25 12:32:58 +0100 <lambdabot> <IO ()>
2025-11-25 12:40:23 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-25 12:43:47 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-11-25 12:53:33 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-11-25 12:53:59 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 13:03:09 +0100 <haskellbridge> <Zemyla> What's the name of the newtype which, when Traversed over, does the Applicatives backwards from their normal order?
2025-11-25 13:03:31 +0100 <haskellbridge> <Zemyla> Like getX . traverse f . X = getBackwards . traverse (Backwards . f)
2025-11-25 13:07:19 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-25 13:08:33 +0100 <Leary> Zemyla: `Reverse`
2025-11-25 13:09:05 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-25 13:09:44 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 13:09:58 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 13:10:20 +0100 <haskellbridge> <Zemyla> Thanks!
2025-11-25 13:13:59 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 13:15:44 +0100Googulator49(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 13:15:53 +0100Googulator(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 13:20:57 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 13:26:48 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2025-11-25 13:28:40 +0100Inline(~inlinE@2001-4dd7-868d-0-7876-6072-4304-49c7.ipv6dyn.netcologne.de) (Ping timeout: 245 seconds)
2025-11-25 13:30:19 +0100hseg(~gesh@46.120.21.70) hseg
2025-11-25 13:32:02 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-11-25 13:32:24 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 13:32:32 +0100__monty__(~toonn@user/toonn) toonn
2025-11-25 13:33:12 +0100 <hseg> Hi, I'm trying to build+test shake, but it's having difficulty finding my package databases (so eg the docs test breaks). Is this well-known?
2025-11-25 13:36:43 +0100Inline(~inlinE@2001-4dd7-868d-0-f98f-ba9-5de-6875.ipv6dyn.netcologne.de) Inline
2025-11-25 13:38:17 +0100hseg_(~hseg_@46.120.21.70) hseg
2025-11-25 13:42:17 +0100 <merijn> hseg: That sounds very suspicious
2025-11-25 13:42:25 +0100 <merijn> hseg: What OS?
2025-11-25 13:42:50 +0100 <merijn> And how did you install GHC/cabal
2025-11-25 13:43:39 +0100merijnhas certain suspicions
2025-11-25 13:45:40 +0100Googulator1(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 13:45:48 +0100Googulator49(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 13:47:22 +0100 <hseg> linux, with nonstandard xdg directories, installed via ghcup
2025-11-25 13:47:27 +0100 <hseg> *arch linux
2025-11-25 13:47:38 +0100 <tomsmeding> do you have a system ghc installed too?
2025-11-25 13:47:42 +0100 <hseg> nope
2025-11-25 13:49:35 +0100karenw(~karenw@user/karenw) (Ping timeout: 240 seconds)
2025-11-25 13:50:14 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 13:52:43 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 13:54:18 +0100 <merijn> Did you at one point have a system ghc installed and/or system Haskell packages installed?
2025-11-25 13:54:32 +0100hseg_(~hseg_@46.120.21.70) (Remote host closed the connection)
2025-11-25 13:54:34 +0100 <merijn> Because of course it's Arch :)
2025-11-25 13:54:51 +0100hseg_(~hseg_@46.120.21.70) hseg
2025-11-25 13:54:56 +0100 <hseg> nope, because I wanted to avoid that hell
2025-11-25 13:54:57 +0100 <merijn> hseg: Is there a ~/.cabal or ~/.ghc in your homedir?
2025-11-25 13:56:14 +0100 <tomsmeding> what exactly is the error if you pass verbose flags to things
2025-11-25 13:56:25 +0100tromp(~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-25 13:56:56 +0100 <hseg> merijn: no, but I set $CABAL_CONFIG to point to a file in $XDG_CONFIG_HOME with the following contents https://0x0.st/KWJE.txt
2025-11-25 13:57:05 +0100 <hseg> (barring comments
2025-11-25 13:57:47 +0100tromp(~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc)
2025-11-25 13:58:12 +0100 <merijn> The paste just leads to https cert warnings and then some other DNS failure
2025-11-25 13:58:27 +0100 <merijn> try using the paste in the channel topic
2025-11-25 14:01:02 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-25 14:01:11 +0100 <hseg> yikes -- need to go, misread the time
2025-11-25 14:01:22 +0100 <hseg> will be back in a couple hours to try to investigate
2025-11-25 14:01:24 +0100 <hseg> sorry
2025-11-25 14:04:34 +0100 <tomsmeding> merijn: that site works for me
2025-11-25 14:08:47 +0100tromp(~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-11-25 14:15:38 +0100trickard_trickard
2025-11-25 14:15:44 +0100Googulator1(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 14:15:47 +0100Googulator87(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 14:16:34 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-11-25 14:18:01 +0100hseg_(~hseg_@46.120.21.70) (Ping timeout: 264 seconds)
2025-11-25 14:18:15 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2025-11-25 14:18:22 +0100hseg_(~hseg_@2.54.168.125) hseg
2025-11-25 14:23:30 +0100trickard__(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 14:25:13 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-11-25 14:28:50 +0100trickard__trickard
2025-11-25 14:34:55 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-11-25 14:44:09 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-11-25 14:45:39 +0100Googulator87(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 14:45:44 +0100Googulator64(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 14:50:11 +0100trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 14:50:24 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 14:51:05 +0100weary-traveler(~user@user/user363627) user363627
2025-11-25 14:54:53 +0100comerijn(~merijn@77.242.116.146) merijn
2025-11-25 14:57:33 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 250 seconds)
2025-11-25 15:00:24 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 15:01:20 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 15:08:55 +0100potatoespotatoes(~quassel@user/potatoespotatoes) ()
2025-11-25 15:09:22 +0100potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-11-25 15:11:32 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 15:11:45 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 15:15:46 +0100Googulator64(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 15:15:48 +0100Googulator73(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 15:30:36 +0100hseg_(~hseg_@2.54.168.125) (Read error: Connection reset by peer)
2025-11-25 15:30:55 +0100hseg_(~hseg_@46.120.21.70) hseg
2025-11-25 15:33:09 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-11-25 15:38:51 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2025-11-25 15:42:04 +0100itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-11-25 15:43:14 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-11-25 15:43:29 +0100trickard_(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-11-25 15:45:45 +0100Googulator85(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-25 15:45:50 +0100Googulator73(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 15:46:32 +0100comerijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-25 15:49:18 +0100kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 252 seconds)
2025-11-25 15:55:15 +0100Googulator85(~Googulato@2a01-036d-0106-01f1-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-11-25 15:55:23 +0100itaipu(~itaipu@168.121.97.28) itaipu
2025-11-25 15:58:17 +0100potatoespotatoes(~quassel@user/potatoespotatoes) ()
2025-11-25 16:00:40 +0100potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-11-25 16:01:34 +0100merijn(~merijn@77.242.116.146) merijn
2025-11-25 16:04:52 +0100potatoespotatoes(~quassel@user/potatoespotatoes) (Client Quit)
2025-11-25 16:05:14 +0100potatoespotatoes(~quassel@user/potatoespotatoes) potatoespotatoes
2025-11-25 16:05:51 +0100td_(~td@i5387092E.versanet.de)
2025-11-25 16:12:51 +0100 <dutchie> https://paste.tomsmeding.com/MLNFAoXl this feels dumb
2025-11-25 16:13:23 +0100 <merijn> Enum is an awful awful class and it should feel bad >.>
2025-11-25 16:13:28 +0100 <haskellbridge> <Zemyla> In addition to the standard parens function, there should be a parens', which is guaranteed to parse all parentheses.
2025-11-25 16:14:15 +0100 <merijn> dutchie: Incidentally, that may *still* fail, if the enum instance isn't dense
2025-11-25 16:14:41 +0100 <dutchie> ah true, even worse
2025-11-25 16:14:56 +0100 <merijn> Like I said
2025-11-25 16:15:04 +0100 <merijn> Enum is an awful, awful class and it should feel bad
2025-11-25 16:17:39 +0100alex`(~user@251.red-83-33-249.dynamicip.rima-tde.net)
2025-11-25 16:17:52 +0100 <alex`> @undo [x | Just x <- xs]
2025-11-25 16:17:52 +0100 <lambdabot> concatMap (\ a -> case a of { Just x -> [x]; _ -> []}) xs
2025-11-25 16:18:25 +0100 <dutchie> at least these are my own Enum instances (faking a bounded Int class) and so I know they are dense
2025-11-25 16:18:51 +0100 <merijn> dutchie: What are you using maybeToEnum for?
2025-11-25 16:19:02 +0100trickard_trickard
2025-11-25 16:19:49 +0100 <dutchie> nudge a square on a grid, so Maybe Neighbour
2025-11-25 16:23:36 +0100srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-11-25 16:24:56 +0100Square3(~Square@user/square) Square
2025-11-25 16:25:52 +0100Fischmiep(~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in)
2025-11-25 16:26:36 +0100 <Leary> `class Enum` is an implementation detail of `[a(, b) .. (c)]` notation, and `(to|from)Enum` of the necessary `enumFrom*` methods. What's bad is that these details aren't hidden, inviting abuse. `succ`/`pred`, which are thrown in on principle, are perhaps the only truly user-facing part of the class.
2025-11-25 16:26:55 +0100Googulator(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu)
2025-11-25 16:27:25 +0100 <Leary> dutchie: Rather than trying to be generic in `Enum`, perhaps just use `Int` with explicit bounds? That can always be generalised to `Enum a` if you really need it to.
2025-11-25 16:27:28 +0100Fischmiep(~Fischmiep@user/Fischmiep) Fischmiep
2025-11-25 16:27:51 +0100 <dutchie> yeah it's almost certainly overkill to have it that generic
2025-11-25 16:28:45 +0100 <dutchie> if i was going to refactor I think it'd make sense to have my bounds in a Reader somewhere
2025-11-25 16:29:54 +0100 <merijn> Leary: The AI going through Int but not ensuring that's safe is definitely bad
2025-11-25 16:30:38 +0100 <merijn> -AI+class
2025-11-25 16:30:50 +0100 <merijn> I dunno what happened in my brain there, glitching two conversations together xD
2025-11-25 16:31:15 +0100weary-traveler(~user@user/user363627) (Ping timeout: 240 seconds)
2025-11-25 16:31:15 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-11-25 16:33:14 +0100 <haskellbridge> <Morj> The good thing about Enum is that fromEnum @Char is exported in prelude, and ord isn't
2025-11-25 16:34:57 +0100 <haskellbridge> <Morj> Otherwise I just write monomorphic functions for my own type that I need to convert to-from Int
2025-11-25 16:39:38 +0100 <Leary> merijn: `(to|from)Enum` are easier to get right than the tricky details of the other methods, and should only be used to write them by proxy. You can argue that they shouldn't be part of the class (e.g. they could be written as local helpers on a per-instance basis and mapped over the methods of `Enum Int`), but then you lose the convenience of method defaults.
2025-11-25 16:40:26 +0100 <merijn> Leary: Sure, but a required should've been that the mapping is dense and boundscheck should've made more sense
2025-11-25 16:46:32 +0100typedfern__(~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2025-11-25 16:47:52 +0100typedfern__(~Typedfern@15.red-83-37-26.dynamicip.rima-tde.net) typedfern
2025-11-25 16:54:56 +0100euphores(~SASL_euph@user/euphores) euphores
2025-11-25 17:02:07 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 264 seconds)
2025-11-25 17:15:43 +0100Googulator(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 17:15:48 +0100Googulator55(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu)
2025-11-25 17:16:15 +0100alex`(~user@251.red-83-33-249.dynamicip.rima-tde.net) (Ping timeout: 240 seconds)
2025-11-25 17:17:25 +0100tt12316(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Read error: Connection reset by peer)
2025-11-25 17:17:35 +0100tt123160(~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) tt1231
2025-11-25 17:21:01 +0100Leary(~Leary@user/Leary/x-0910699) (Ping timeout: 264 seconds)
2025-11-25 17:21:41 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2025-11-25 17:33:03 +0100lucabtz(~lucabtz@user/lucabtz) (Remote host closed the connection)
2025-11-25 17:33:43 +0100Googulator55Googulator
2025-11-25 17:34:51 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-11-25 17:40:54 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 17:45:36 +0100Googulator(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 17:45:42 +0100Googulator11(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu)
2025-11-25 17:48:15 +0100vardhan(~vardhan@122.172.80.152) (Ping timeout: 240 seconds)
2025-11-25 18:01:05 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-11-25 18:22:35 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-11-25 18:27:01 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-11-25 18:32:29 +0100chele(~chele@user/chele) (Remote host closed the connection)
2025-11-25 18:33:58 +0100Googulator11Googulator
2025-11-25 18:34:36 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 18:39:15 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-11-25 18:53:40 +0100leah2(~leah@vuxu.org) (Ping timeout: 245 seconds)
2025-11-25 18:54:17 +0100infinity0(~infinity0@pwned.gg) (Remote host closed the connection)
2025-11-25 18:54:36 +0100infinity0(~infinity0@pwned.gg) infinity0
2025-11-25 18:59:11 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-11-25 19:03:03 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-11-25 19:03:19 +0100target_i(~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds)
2025-11-25 19:04:31 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-11-25 19:05:46 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2025-11-25 19:05:53 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Client Quit)
2025-11-25 19:07:52 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-11-25 19:16:49 +0100Wygulmage(~Wygulmage@user/Wygulmage) Wygulmage
2025-11-25 19:17:48 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 19:18:23 +0100 <Wygulmage> Is there a way to run multiple tests on the same input in QuickCheck? It's much simpler for me if things all fail in the same way when they have the same bug, and different ways if they have different bugs.
2025-11-25 19:24:31 +0100connrs(~connrs@user/connrs) (Ping timeout: 240 seconds)
2025-11-25 19:24:44 +0100 <hseg> tomsmeding: https://0x0.st/KW3r.txt is the log for cabal test --verbose (for shake on a custom xdg linux)
2025-11-25 19:25:05 +0100 <hseg> reminder: https://0x0.st/KWJE.txt is my cabal/config
2025-11-25 19:26:18 +0100 <tomsmeding> Wygulmage: what about (.&&.)?
2025-11-25 19:31:03 +0100 <tomsmeding> hseg: how does that setup.exe even end up there? How is it built, and why is it in an old-style dist folder?
2025-11-25 19:31:36 +0100 <hseg> not sure -- but src/Test/Docs.hs references it explicitly by name
2025-11-25 19:31:53 +0100 <tomsmeding> if you clean the build first and then rebuild, does it say anything about it?
2025-11-25 19:32:10 +0100tomsmedinghas been burned by doctests not working in the most spectacular of ways once, long ago, and has avoided touching them since
2025-11-25 19:32:33 +0100 <tomsmeding> also why is the thing called setup.exe -- this is not windows?
2025-11-25 19:32:44 +0100 <hseg> running git clean -dffx ; cabal build shake-test
2025-11-25 19:32:50 +0100 <hseg> tomsmeding: oh, that's hardcoded
2025-11-25 19:33:24 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-25 19:33:29 +0100 <hseg> https://github.com/ndmitchell/shake/blob/master/src/Test/Docs.hs#L17
2025-11-25 19:33:35 +0100connrs(~connrs@user/connrs) connrs
2025-11-25 19:34:24 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-11-25 19:34:29 +0100 <tomsmeding> and this is the only occurrence of "setup.exe" in that repo
2025-11-25 19:34:38 +0100 <tomsmeding> this feels a little bit like a shake problem and not a haskell problem
2025-11-25 19:34:49 +0100 <hseg> fair
2025-11-25 19:34:58 +0100 <tomsmeding> have you managed to run this test suite outside of a special aur build?
2025-11-25 19:35:17 +0100 <tomsmeding> or is the directory name there just incidental and is this a manual build from the git repo
2025-11-25 19:35:25 +0100 <hseg> manual build from git repo
2025-11-25 19:35:29 +0100 <tomsmeding> I see
2025-11-25 19:35:42 +0100 <tomsmeding> open an issue, I guess :p
2025-11-25 19:35:43 +0100 <hseg> in service of eventually packaging a statically-built shake
2025-11-25 19:35:49 +0100 <hseg> fair 'nuff
2025-11-25 19:38:06 +0100mulk(~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-11-25 19:46:41 +0100leah2(~leah@vuxu.org) leah2
2025-11-25 19:48:39 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 19:49:14 +0100 <hseg> hrm. https://github.com/ndmitchell/shake/issues/267 and comments there suggest the test suite expects GHC_PACKAGE_PATH to be set properly in its environment
2025-11-25 19:49:22 +0100 <hseg> is there some way of getting cabal to do that?
2025-11-25 19:50:48 +0100Googulator56(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu)
2025-11-25 19:50:54 +0100Googulator(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 19:53:10 +0100 <geekosaur> iirc cabal throws an error if you do that?
2025-11-25 19:53:17 +0100 <hseg> it does
2025-11-25 19:53:24 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-11-25 19:53:48 +0100 <geekosaur> mm, actually that's if you set it outside cabal. I don't know if it's possible to have cabal set it for commands it runs
2025-11-25 19:54:00 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 19:54:26 +0100 <geekosaur> but it would have potential issues since it would expose the store, which external commands could then modify without cabal knowing about it
2025-11-25 19:55:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 19:55:25 +0100 <hseg> right... what's GHC_ENVIRONMENT that I see cabal exec setting?
2025-11-25 19:57:10 +0100 <geekosaur> it's an environment file
2025-11-25 19:57:39 +0100 <geekosaur> usually you want that disabled, which I think is what cabal is doing
2025-11-25 19:58:00 +0100 <geekosaur> (see `--package-env` in cabal)
2025-11-25 19:58:11 +0100 <hseg> nope, the opposite -- it seems to be how it's communicating the package db info to the program it runs
2025-11-25 19:58:42 +0100 <hseg> unfortunately, it seems that setup.exe doesn't know to pick up on that file?
2025-11-25 20:02:31 +0100 <hseg> hrm. any way of making Setup.hs read GHC_ENVIRONMENT? I'm only seeing support for --package-db
2025-11-25 20:02:54 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) (Quit: leaving)
2025-11-25 20:03:55 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2025-11-25 20:03:59 +0100Everything(~Everythin@172-232-54-192.ip.linodeusercontent.com) Everything
2025-11-25 20:04:01 +0100 <hseg> ... wait, shouldn't it Just Work?
2025-11-25 20:04:14 +0100 <hseg> after all, GHC reads it from its environment
2025-11-25 20:04:36 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 20:06:13 +0100kitadamian(~kitadamia@95.49.84.49.ipv4.supernova.orange.pl)
2025-11-25 20:06:41 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 20:10:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 20:11:31 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-25 20:11:34 +0100 <hseg> .... OK, we're gradually closing in on a culprit -- it seems GHC_ENVIRONMENT is getting unset somewhere along the line
2025-11-25 20:13:02 +0100tomsmedingwishing hseg luck from the sideline
2025-11-25 20:14:04 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds)
2025-11-25 20:16:02 +0100tromp(~textual@2001:1c00:3487:1b00:bd07:71f2:e20b:fdc)
2025-11-25 20:18:01 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 264 seconds)
2025-11-25 20:18:46 +0100 <hseg> hrmph. it seems cabal _builds_ the test suite with GHC_ENVIRONMENT set, but doesn't _run_ it with it
2025-11-25 20:18:51 +0100 <hseg> urggh
2025-11-25 20:19:39 +0100mulk(~mulk@pd9514972.dip0.t-ipconnect.de) mulk
2025-11-25 20:19:44 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 20:23:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 20:24:08 +0100 <hseg> Giving up, I'll use something else then
2025-11-25 20:25:54 +0100tomsmedingwonders how long ago it has been that this has worked properly in the first place
2025-11-25 20:28:10 +0100ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-11-25 20:35:06 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 20:37:12 +0100 <geekosaur> hack, see if it's there with `cabal run`? (there are enough differences between the two that using `cabal run` to run test suites is relatively common)
2025-11-25 20:39:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-11-25 20:39:35 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2025-11-25 20:40:06 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 20:43:35 +0100pavonia(~user@user/siracusa) siracusa
2025-11-25 20:44:02 +0100 <hseg> nope -- dumping environment under cabal run shows no GHC_* envvars
2025-11-25 20:44:16 +0100 <tomsmeding> and under `cabal exec`?
2025-11-25 20:44:33 +0100 <tomsmeding> (build it first with `cabal build`, then run with `cabal exec`)
2025-11-25 20:46:09 +0100 <geekosaur> I'd expect not; I was hoping that, since `cabal run` can build first, it'd just keep it exported
2025-11-25 20:46:35 +0100 <hseg> under cabal exec it does pick up GHC_ENVIRONMENT, but for some reason it isn't satisfied
2025-11-25 20:47:07 +0100 <hseg> wait!
2025-11-25 20:47:25 +0100 <hseg> cleaning the test environment, ghc clearly logs that it's loading the package environment
2025-11-25 20:48:04 +0100 <hseg> it's just that the compiled Setup.hs configure call doesn't make use of GHC_ENVIRONMENT
2025-11-25 20:50:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 20:50:35 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no) (Ping timeout: 240 seconds)
2025-11-25 20:50:50 +0100Googulator33(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu)
2025-11-25 20:50:54 +0100Googulator56(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 20:53:40 +0100 <hseg> ahhhh. the problem is that setup.hs does nothing with GHC_ENVIRONMENT
2025-11-25 20:54:30 +0100 <hseg> it wants to get its package dbs on the command line
2025-11-25 20:55:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-11-25 20:56:22 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-11-25 20:57:36 +0100Square2(~Square4@user/square) Square
2025-11-25 20:57:52 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 21:00:11 +0100peterbecich(~Thunderbi@172.222.148.214) peterbecich
2025-11-25 21:01:07 +0100Square3(~Square@user/square) (Ping timeout: 250 seconds)
2025-11-25 21:04:04 +0100ft(~ft@p508db844.dip0.t-ipconnect.de) ft
2025-11-25 21:05:55 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 21:06:23 +0100Wygulmage(~Wygulmage@user/Wygulmage) (Ping timeout: 250 seconds)
2025-11-25 21:06:51 +0100hseg_(~hseg_@46.120.21.70) (Remote host closed the connection)
2025-11-25 21:10:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 21:11:05 +0100peterbecich(~Thunderbi@172.222.148.214) (Ping timeout: 250 seconds)
2025-11-25 21:11:52 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-11-25 21:16:59 +0100kritzefitz(~kritzefit@debian/kritzefitz) kritzefitz
2025-11-25 21:18:01 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 250 seconds)
2025-11-25 21:20:45 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 21:23:44 +0100ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-11-25 21:25:15 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 21:26:15 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 250 seconds)
2025-11-25 21:26:37 +0100kitadamian(~kitadamia@95.49.84.49.ipv4.supernova.orange.pl) (Quit: Client closed)
2025-11-25 21:32:41 +0100Wygulmage(~Wygulmage@user/Wygulmage) Wygulmage
2025-11-25 21:33:03 +0100 <Wygulmage> tomsmedding: Sorry for the belated answer. Thank you. `.&&.` is exactly what I wanted.
2025-11-25 21:34:27 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 21:36:17 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 21:40:06 +0100 <tomsmeding> Wygulmage: protip: use tab-completion for nicks, mentioning doesn't work if there's a typo :)
2025-11-25 21:40:09 +0100 <tomsmeding> but nice :)
2025-11-25 21:40:35 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 21:42:12 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-11-25 21:51:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 21:54:35 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2025-11-25 21:56:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-11-25 21:58:25 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-11-25 21:59:16 +0100 <hseg> my brain is a little too fried for this -- how do I cleanly write https://0x0.st/KWE8.txt ?
2025-11-25 22:00:12 +0100 <hseg> the idea is to try two different ways of computing a monadic result, returning the first among them that doesn't result in m Nothing along the way, with a default
2025-11-25 22:01:34 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2025-11-25 22:01:59 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-25 22:02:17 +0100 <geekosaur> asum?
2025-11-25 22:02:41 +0100 <tomsmeding> :t asum
2025-11-25 22:02:42 +0100 <lambdabot> (Foldable t, Alternative f) => t (f a) -> f a
2025-11-25 22:02:46 +0100 <tomsmeding> what's f here?
2025-11-25 22:02:52 +0100 <hseg> Maybe
2025-11-25 22:02:57 +0100 <tomsmeding> so what about the IO
2025-11-25 22:03:01 +0100 <Leary> Rather, `<|>` on `MaybeT IO`.
2025-11-25 22:03:44 +0100 <tomsmeding> https://hackage.haskell.org/package/transformers-0.6.1.1/docs/src/Control.Monad.Trans.Maybe.html#l…
2025-11-25 22:04:23 +0100 <tomsmeding> yes and then end with `maybe default return =<<`
2025-11-25 22:04:35 +0100 <hseg> am getting a little confused with the tower of monads I'm using here
2025-11-25 22:04:50 +0100 <[exa]> in IO you can just bind to `Just env <- getEnv` and return the env in 2 alternatives, no need to do MaybeT
2025-11-25 22:05:05 +0100 <[exa]> (otoh yeah MaybeT is the clean way)
2025-11-25 22:05:28 +0100 <hseg> wait, won't Just env <- getEnv crash if the envvar is unset?
2025-11-25 22:05:37 +0100 <[exa]> it crashes but <|> saves
2025-11-25 22:06:00 +0100 <tomsmeding> doing it with IO exceptions feels ugly
2025-11-25 22:06:03 +0100 <[exa]> (IO is Alternative)
2025-11-25 22:07:09 +0100 <[exa]> yeah it feels dirty
2025-11-25 22:07:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 22:07:34 +0100 <[exa]> but no need for transformers
2025-11-25 22:07:46 +0100 <hseg> problem. Shake.Action is not an Alternative
2025-11-25 22:08:42 +0100 <tomsmeding> Leary: hseg: like this? https://play.haskell.org/saved/C0K0rs9c
2025-11-25 22:09:06 +0100 <tomsmeding> this asum uses <|> on MaybeT
2025-11-25 22:09:43 +0100 <hseg> on MaybeT IO?
2025-11-25 22:09:49 +0100 <tomsmeding> yes
2025-11-25 22:10:01 +0100 <tomsmeding> but 'MaybeT m' is Alternative regardless of m, as long as m implements Monad
2025-11-25 22:10:19 +0100 <hseg> ah, excellent
2025-11-25 22:10:31 +0100 <tomsmeding> (because it chooses based on the Maybe, not based on monadic state in m)
2025-11-25 22:10:34 +0100 <hseg> it's been a while, am a little rusty
2025-11-25 22:10:52 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-11-25 22:11:19 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-25 22:21:09 +0100 <tomsmeding> I very rarely use MaybeT so I also had to double-check that it does the right thing
2025-11-25 22:21:29 +0100 <hseg> ... for some reason it's not working when I paste it into the actual code -- ghc doesn't think this typechecks?
2025-11-25 22:21:46 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-25 22:21:52 +0100 <hseg> (probably because there are some differences between what I pasted and what I wrote)
2025-11-25 22:25:04 +0100 <hseg> ... ah, that's why you wrote fmap .. $ and not <$> -- precedence
2025-11-25 22:28:31 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2025-11-25 22:29:55 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 240 seconds)
2025-11-25 22:33:38 +0100Frostillicus(~Frostilli@71.174.119.69)
2025-11-25 22:36:09 +0100 <tomsmeding> yes :)
2025-11-25 22:36:23 +0100Googulator33(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu) (Quit: Client closed)
2025-11-25 22:36:38 +0100Googulator33(~Googulato@2a01-036d-0106-4ad8-11e2-562e-881b-eb37.pool6.digikabel.hu)
2025-11-25 22:39:48 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn