2025/10/10

2025-10-10 00:03:35 +0000dyno(dyno@user/dyno) dyno
2025-10-10 00:05:35 +0000Googulator5(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-10 00:05:47 +0000Googulator5(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu)
2025-10-10 00:06:25 +0000ulysses4ever(~artem@2601:249:4380:2400:3d8b:23e7:e3e:e0c3)
2025-10-10 00:07:52 +0000chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-10-10 00:07:53 +0000Guest7116(~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) (Remote host closed the connection)
2025-10-10 00:08:26 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-10-10 00:09:13 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-10-10 00:09:20 +0000artem(~artem@2601:249:4380:2400:d602:4b09:3a03:f92d)
2025-10-10 00:10:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 00:10:25 +0000synchromesh(~john@2406:5a00:2412:2c00:e4b7:8b05:274:cb16) (Read error: Connection reset by peer)
2025-10-10 00:11:39 +0000synchromesh(~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) synchromesh
2025-10-10 00:12:43 +0000td_(~td@i53870925.versanet.de)
2025-10-10 00:12:58 +0000ulysses4ever(~artem@2601:249:4380:2400:3d8b:23e7:e3e:e0c3) (Ping timeout: 255 seconds)
2025-10-10 00:13:05 +0000chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2025-10-10 00:13:33 +0000ulysses4ever(~artem@2601:249:4380:2400:71a0:faf5:13dd:ddc4)
2025-10-10 00:14:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 00:15:05 +0000chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-10-10 00:15:08 +0000dyno(dyno@user/dyno) (Ping timeout: 256 seconds)
2025-10-10 00:17:28 +0000artem(~artem@2601:249:4380:2400:d602:4b09:3a03:f92d) (Ping timeout: 255 seconds)
2025-10-10 00:17:55 +0000ulysses4ever(~artem@2601:249:4380:2400:71a0:faf5:13dd:ddc4) (Ping timeout: 255 seconds)
2025-10-10 00:20:31 +0000trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-10-10 00:21:00 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-10-10 00:23:37 +0000dyno(dyno@user/dyno) dyno
2025-10-10 00:24:54 +0000acidjnk(~acidjnk@p200300d6e7171986c04f1adcf50f27d3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-10-10 00:25:18 +0000dyno(dyno@user/dyno) (Client Quit)
2025-10-10 00:25:51 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 00:30:29 +0000ulysses4ever(~artem@2601:249:4380:2400:f4e6:ba25:b94d:ba7f)
2025-10-10 00:30:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 00:32:01 +0000bgg(~bgg@2a01:e0a:819:1510:f3ff:d4d2:a2f9:f5b6)
2025-10-10 00:41:39 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 00:43:31 +0000defragger(~random@i6DFADE43.versanet.de) (Ping timeout: 265 seconds)
2025-10-10 00:44:33 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-10-10 00:44:48 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-10 00:45:03 +0000defragger(~random@i6DFADE3D.versanet.de) defragger
2025-10-10 00:45:10 +0000xff0x(~xff0x@2405:6580:b080:900:71b0:f5ba:82dd:7e7f) (Ping timeout: 256 seconds)
2025-10-10 00:45:17 +0000haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-10-10 00:45:17 +0000ChanServ+v haskellbridge
2025-10-10 00:45:58 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 00:46:11 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-10-10 00:48:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 00:49:35 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-10 00:52:13 +0000otto_s(~user@p4ff27ab1.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2025-10-10 01:01:48 +0000otto_s(~user@p5b044f57.dip0.t-ipconnect.de)
2025-10-10 01:03:01 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-10 01:03:35 +0000trampi(~trampi@mx.trampusch.info) (Ping timeout: 256 seconds)
2025-10-10 01:09:29 +0000ulysses4ever(~artem@2601:249:4380:2400:f4e6:ba25:b94d:ba7f) (Ping timeout: 250 seconds)
2025-10-10 01:09:37 +0000gustrb(~gustrb@191.243.134.87) (Ping timeout: 264 seconds)
2025-10-10 01:10:07 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 01:11:35 +0000Guest42(~Guest42@14.139.38.209)
2025-10-10 01:13:41 +0000Guest42HokusaiBasho41
2025-10-10 01:15:05 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-10-10 01:15:28 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 01:20:32 +0000Googulator5(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed)
2025-10-10 01:20:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 01:20:38 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu)
2025-10-10 01:24:18 +0000HokusaiBasho41(~Guest42@14.139.38.209) (Changing host)
2025-10-10 01:24:18 +0000HokusaiBasho41(~Guest42@user/HokusaiBasho41) HokusaiBasho41
2025-10-10 01:25:58 +0000ulysses4ever(~artem@2601:249:4380:2400:7327:6288:9ae1:a417)
2025-10-10 01:27:20 +0000trickard_trickard
2025-10-10 01:31:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 01:36:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 01:40:15 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-10 01:46:03 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-10-10 01:47:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 01:52:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 01:55:23 +0000qqe(~qqq@185.54.23.200)
2025-10-10 02:02:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 02:07:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 02:09:36 +0000Square(~Square4@user/square) (Ping timeout: 256 seconds)
2025-10-10 02:18:08 +0000qqe(~qqq@185.54.23.200) (Ping timeout: 240 seconds)
2025-10-10 02:18:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 02:20:14 +0000qqe(~qqq@185.54.23.200)
2025-10-10 02:20:30 +0000xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-10-10 02:20:44 +0000ystael_(~ystael@user/ystael) ystael
2025-10-10 02:20:55 +0000hololeap_(~quassel@user/hololeap) hololeap
2025-10-10 02:21:09 +0000a_fantom(~fantom@87.75.184.126)
2025-10-10 02:21:10 +0000FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-10 02:21:10 +0000xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-10-10 02:21:10 +0000ystael(~ystael@user/ystael) (Ping timeout: 256 seconds)
2025-10-10 02:21:10 +0000tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2025-10-10 02:21:10 +0000FANTOM(~fantom@87.75.184.126)
2025-10-10 02:21:10 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-10 02:21:10 +0000hololeap(~quassel@user/hololeap) (Ping timeout: 256 seconds)
2025-10-10 02:21:22 +0000finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2025-10-10 02:21:25 +0000tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-10-10 02:22:21 +0000a_fantom(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-10 02:25:49 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 02:26:31 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
2025-10-10 02:32:41 +0000artem(~artem@2601:249:4380:2400:190c:acb6:7283:be34)
2025-10-10 02:32:46 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-10 02:36:08 +0000ulysses4ever(~artem@2601:249:4380:2400:7327:6288:9ae1:a417) (Ping timeout: 265 seconds)
2025-10-10 02:36:20 +0000Pixi`(~Pixi@user/pixi) Pixi
2025-10-10 02:36:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 02:36:48 +0000ulysses4ever(~artem@2601:249:4380:2400:be33:58ca:7786:20d2)
2025-10-10 02:37:53 +0000Pixi(~Pixi@user/pixi) (Ping timeout: 250 seconds)
2025-10-10 02:37:55 +0000chenjf(~chenjf@vmi2417424.contaboserver.net)
2025-10-10 02:39:11 +0000artem(~artem@2601:249:4380:2400:190c:acb6:7283:be34) (Ping timeout: 250 seconds)
2025-10-10 02:39:37 +0000td_(~td@i53870925.versanet.de) (Ping timeout: 264 seconds)
2025-10-10 02:40:02 +0000artem(~artem@2601:249:4380:2400:41e1:d4b:c0c:139c)
2025-10-10 02:40:53 +0000bgg(~bgg@2a01:e0a:819:1510:f3ff:d4d2:a2f9:f5b6) (Remote host closed the connection)
2025-10-10 02:41:11 +0000td_(~td@i5387093C.versanet.de)
2025-10-10 02:41:24 +0000bgg(~bgg@2a01:e0a:819:1510:f3ff:d4d2:a2f9:f5b6)
2025-10-10 02:41:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-10-10 02:42:56 +0000qqe(~qqq@185.54.23.200) (Ping timeout: 240 seconds)
2025-10-10 02:43:16 +0000ulysses4ever(~artem@2601:249:4380:2400:be33:58ca:7786:20d2) (Ping timeout: 255 seconds)
2025-10-10 02:44:32 +0000ulysses4ever(~artem@2601:249:4380:2400:2ff7:fd19:89ed:c88a)
2025-10-10 02:44:49 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 250 seconds)
2025-10-10 02:44:50 +0000artem(~artem@2601:249:4380:2400:41e1:d4b:c0c:139c) (Ping timeout: 265 seconds)
2025-10-10 02:45:04 +0000qqe(~qqq@185.54.23.200)
2025-10-10 02:45:18 +0000HokusaiBasho41(~Guest42@user/HokusaiBasho41) (Quit: Client closed)
2025-10-10 02:45:27 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-10 02:47:49 +0000chenjf(~chenjf@vmi2417424.contaboserver.net) (Quit: WeeChat 4.7.1)
2025-10-10 02:49:10 +0000artem(~artem@2601:249:4380:2400:48e8:3e8c:5383:b66)
2025-10-10 02:51:36 +0000ulysses4ever(~artem@2601:249:4380:2400:2ff7:fd19:89ed:c88a) (Ping timeout: 265 seconds)
2025-10-10 02:52:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 02:52:51 +0000ulysses4ever(~artem@2601:249:4380:2400:4523:1701:82cd:4010)
2025-10-10 02:55:52 +0000artem(~artem@2601:249:4380:2400:48e8:3e8c:5383:b66) (Ping timeout: 255 seconds)
2025-10-10 02:56:58 +0000artem(~artem@2601:249:4380:2400:ee43:39af:5456:3b64)
2025-10-10 02:57:15 +0000ulysses4ever(~artem@2601:249:4380:2400:4523:1701:82cd:4010) (Ping timeout: 252 seconds)
2025-10-10 02:57:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 02:59:16 +0000Guest42(~Guest42@14.139.38.209)
2025-10-10 02:59:17 +0000ulysses4ever(~artem@2601:249:4380:2400:eb90:dece:f79f:4d2a)
2025-10-10 02:59:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 03:01:06 +0000artem(~artem@2601:249:4380:2400:ee43:39af:5456:3b64) (Ping timeout: 252 seconds)
2025-10-10 03:03:07 +0000artem(~artem@2601:249:4380:2400:fc50:e137:335c:51ec)
2025-10-10 03:04:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-10-10 03:06:03 +0000ulysses4ever(~artem@2601:249:4380:2400:eb90:dece:f79f:4d2a) (Ping timeout: 252 seconds)
2025-10-10 03:06:23 +0000aforemny_(~aforemny@2001:9e8:6cdc:7400:c4e0:1427:f8a3:145a) aforemny
2025-10-10 03:06:29 +0000aforemny(~aforemny@2001:9e8:6cfe:fa00:f0a4:d59e:65ba:70ff) (Ping timeout: 250 seconds)
2025-10-10 03:07:17 +0000ulysses4ever(~artem@2601:249:4380:2400:18fb:5852:7b14:a29c)
2025-10-10 03:07:42 +0000artem(~artem@2601:249:4380:2400:fc50:e137:335c:51ec) (Ping timeout: 252 seconds)
2025-10-10 03:12:03 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2025-10-10 03:15:29 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 03:15:50 +0000trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 03:16:03 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-10-10 03:20:36 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-10-10 03:21:52 +0000vetkat(~vetkat@user/vetkat) (Read error: Connection reset by peer)
2025-10-10 03:22:14 +0000vetkat(~vetkat@user/vetkat) vetkat
2025-10-10 03:29:13 +0000FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-10 03:31:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 03:33:07 +0000FANTOM(~fantom@87.75.184.126)
2025-10-10 03:35:09 +0000craunts795335(~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
2025-10-10 03:36:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 03:47:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 03:51:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 04:00:46 +0000shapr(~user@130.44.148.32) (Ping timeout: 244 seconds)
2025-10-10 04:00:50 +0000williu5(~williu5@user/williu5) (Quit: WeeChat 4.1.1)
2025-10-10 04:01:52 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-10 04:02:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 04:07:06 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 04:07:20 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-10-10 04:08:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-10-10 04:19:14 +0000synchromesh(~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) (Read error: Connection reset by peer)
2025-10-10 04:20:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 04:20:21 +0000synchromesh(~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) synchromesh
2025-10-10 04:24:32 +0000Sgeo_(~Sgeo@user/sgeo) (Ping timeout: 244 seconds)
2025-10-10 04:25:13 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 04:28:13 +0000defragger(~random@i6DFADE3D.versanet.de) (Ping timeout: 264 seconds)
2025-10-10 04:29:04 +0000 <dcpagan> What is your opinion on using [singular](https://hackage-content.haskell.org/package/lens-5.3.5/docs/Control-Lens-Traversal.html#v:singular) to strong-arm a traversal as a lens?
2025-10-10 04:30:41 +0000 <dcpagan> I feel dirty using it.
2025-10-10 04:31:27 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-10 04:32:14 +0000trickard_trickard
2025-10-10 04:36:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 04:38:21 +0000FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-10 04:41:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 04:43:27 +0000trickard(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-10-10 04:43:45 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au)
2025-10-10 04:47:17 +0000michalz(~michalz@185.246.207.200)
2025-10-10 04:51:50 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 04:55:47 +0000Guest42(~Guest42@14.139.38.209) (Quit: Client closed)
2025-10-10 04:57:03 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 04:57:22 +0000trickard___(~trickard@cpe-57-98-47-163.wireline.com.au)
2025-10-10 04:58:38 +0000trickard_(~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-10-10 05:00:48 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 05:00:54 +0000takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-10-10 05:05:19 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-10 05:12:19 +0000trickard__(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-10-10 05:13:29 +0000trickard___(~trickard@cpe-57-98-47-163.wireline.com.au) (Ping timeout: 256 seconds)
2025-10-10 05:16:52 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 05:17:03 +0000rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in)
2025-10-10 05:18:15 +0000rembo10(~rembo10@main.remulis.com) rembo10
2025-10-10 05:19:03 +0000rembo10(~rembo10@main.remulis.com) (Client Quit)
2025-10-10 05:20:00 +0000rembo10(~rembo10@main.remulis.com) rembo10
2025-10-10 05:21:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 05:32:16 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 05:36:56 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-10 05:37:17 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds)
2025-10-10 05:37:54 +0000 <ghoulguy> dcpagan: it's fine if it's cleaner than the alternative you're considering
2025-10-10 05:40:40 +0000 <dcpagan> I'm playing with red-black trees, so a lot of child referencing is involved.
2025-10-10 05:41:01 +0000 <dcpagan> Still, if the red-black invariants hold, their existence is guaranteed.
2025-10-10 05:41:21 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-10-10 05:47:09 +0000haskell-learner(~user@210.13.96.227)
2025-10-10 05:48:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 05:49:43 +0000 <haskell-learner> @undo do { x <- getLine; print x }
2025-10-10 05:49:43 +0000 <lambdabot> getLine >>= \ x -> print x
2025-10-10 05:50:06 +0000 <haskell-learner> @undo
2025-10-10 05:50:06 +0000 <lambdabot> Error: expected a Haskell expression or declaration
2025-10-10 05:50:17 +0000 <haskell-learner> @undo someParserAction :: State s a
2025-10-10 05:50:17 +0000 <lambdabot> someParserAction :: State s a
2025-10-10 05:50:17 +0000 <haskell-learner> someParserAction = do
2025-10-10 05:50:17 +0000 <haskell-learner> oldState <- get
2025-10-10 05:50:20 +0000 <haskell-learner> put (transformState oldState)
2025-10-10 05:50:24 +0000 <haskell-learner> pure (makeSomeValue oldState)
2025-10-10 05:50:54 +0000 <haskell-learner> @undo someParserAction = do {oldState <- get; put (transformState oldState); pure (makeSomeValue oldState);}
2025-10-10 05:50:54 +0000 <lambdabot> someParserAction = get >>= \ oldState -> put (transformState oldState) >> pure (makeSomeValue oldState)
2025-10-10 05:51:11 +0000 <haskell-learner> @undo \
2025-10-10 05:51:11 +0000 <lambdabot> <unknown>.hs:1:2:Parse error: EOF
2025-10-10 05:51:11 +0000 <haskell-learner> someParserAction = do
2025-10-10 05:51:11 +0000 <haskell-learner> oldState <- get
2025-10-10 05:51:11 +0000 <haskell-learner> put (transformState oldState)
2025-10-10 05:51:14 +0000 <haskell-learner> pure (makeSomeValue oldState)
2025-10-10 05:51:16 +0000 <haskell-learner> @undo someParserAction = do
2025-10-10 05:51:16 +0000 <lambdabot> <unknown>.hs:1:18:Parse error: =
2025-10-10 05:51:19 +0000 <haskell-learner> oldState <- get
2025-10-10 05:51:23 +0000 <haskell-learner> put (transformState oldState)
2025-10-10 05:51:26 +0000 <haskell-learner> pure (makeSomeValue oldState)
2025-10-10 05:51:43 +0000 <haskell-learner> @undo
2025-10-10 05:51:43 +0000 <lambdabot> Error: expected a Haskell expression or declaration
2025-10-10 05:51:55 +0000 <haskell-learner> @undo\
2025-10-10 05:51:55 +0000 <lambdabot> Error: expected a Haskell expression or declaration
2025-10-10 05:53:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-10 05:55:25 +0000 <haskell-learner> quit
2025-10-10 05:55:31 +0000 <haskell-learner> exi
2025-10-10 05:55:34 +0000 <haskell-learner> exit
2025-10-10 05:56:55 +0000haskell-learner(~user@210.13.96.227) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2025-10-10 05:58:49 +0000gustrb(~gustrb@191.243.134.87) (Ping timeout: 264 seconds)
2025-10-10 06:01:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 06:01:55 +0000jreicher(~user@user/jreicher) (Quit: In transit)
2025-10-10 06:04:39 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-10 06:06:32 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-10 06:07:36 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2025-10-10 06:17:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 06:22:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 06:26:06 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-10-10 06:31:22 +0000ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (Quit: leaving)
2025-10-10 06:33:17 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 06:38:07 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-10 06:41:19 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-10 06:45:46 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-10 06:47:01 +0000trickard__trickard
2025-10-10 06:49:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 06:50:59 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-10-10 06:52:49 +0000trampi(~trampi@mx.trampusch.info) trampi
2025-10-10 06:54:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 06:57:02 +0000FANTOM(~fantom@87.75.184.126)
2025-10-10 07:00:03 +0000caconym747879(~caconym@user/caconym) (Quit: bye)
2025-10-10 07:00:44 +0000caconym747879(~caconym@user/caconym) caconym
2025-10-10 07:02:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 07:02:51 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-10 07:05:19 +0000Googulator68(~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Ping timeout: 250 seconds)
2025-10-10 07:05:30 +0000tromp(~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe)
2025-10-10 07:09:25 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-10-10 07:09:35 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-10-10 07:14:03 +0000m1dnight(~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 265 seconds)
2025-10-10 07:14:28 +0000m1dnight(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2025-10-10 07:16:43 +0000st_aldini(~Thunderbi@136.48.46.187) (Read error: Connection reset by peer)
2025-10-10 07:17:23 +0000st_aldini(~Thunderbi@2605:a601:a07c:7400:6e26:f360:f11d:472c) st_aldini
2025-10-10 07:20:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 07:21:01 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
2025-10-10 07:25:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-10 07:28:10 +0000craunts795335(~craunts@209.35.163.105)
2025-10-10 07:29:38 +0000annamalai(~annamalai@157.32.206.85) (Ping timeout: 260 seconds)
2025-10-10 07:35:11 +0000qqe(~qqq@185.54.23.200) (Remote host closed the connection)
2025-10-10 07:35:33 +0000V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2025-10-10 07:36:15 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 07:41:23 +0000jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-10-10 07:41:23 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 07:43:49 +0000karenw(~karenw@user/karenw) (Ping timeout: 264 seconds)
2025-10-10 07:45:58 +0000emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2025-10-10 07:46:11 +0000jreicher(~user@user/jreicher) jreicher
2025-10-10 07:47:43 +0000craunts795335(~craunts@209.35.163.105) (Ping timeout: 260 seconds)
2025-10-10 07:50:57 +0000annamalai(~annamalai@157.32.205.248) annamalai
2025-10-10 07:51:13 +0000acidjnk(~acidjnk@p200300d6e71719813d7e95faed4791ef.dip0.t-ipconnect.de) acidjnk
2025-10-10 07:52:00 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 07:55:13 +0000__monty__(~toonn@user/toonn) toonn
2025-10-10 07:55:49 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-10-10 07:57:57 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-10 07:59:22 +0000chele(~chele@user/chele) chele
2025-10-10 08:00:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 08:00:40 +0000merijn(~merijn@77.242.116.146) merijn
2025-10-10 08:00:58 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 08:02:32 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit)
2025-10-10 08:02:49 +0000vpan(~vpan@212.117.1.172)
2025-10-10 08:03:07 +0000vpanGuest783
2025-10-10 08:03:23 +0000Guest783vpan
2025-10-10 08:08:27 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-10 08:08:35 +0000gustrb(~gustrb@191.243.134.87) (Ping timeout: 256 seconds)
2025-10-10 08:09:21 +0000trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 08:09:52 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-10-10 08:16:31 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 08:22:08 +0000pikajude-(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Ping timeout: 260 seconds)
2025-10-10 08:28:03 +0000synchromesh(~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) (Read error: Connection reset by peer)
2025-10-10 08:29:06 +0000synchromesh(~john@2406:5a00:2412:2c00:1881:a25e:91ca:8c94) synchromesh
2025-10-10 08:37:12 +0000Googulator68(~Googulato@81.183.235.203)
2025-10-10 08:40:20 +0000craunts795335(~craunts@209.35.163.105)
2025-10-10 08:43:50 +0000gustrb(~gustrb@191.243.134.87) (Remote host closed the connection)
2025-10-10 08:44:13 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 08:45:25 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-10-10 08:47:02 +0000craunts795335(~craunts@209.35.163.105) (Quit: The Lounge - https://thelounge.chat)
2025-10-10 08:58:29 +0000gustrb(~gustrb@191.243.134.87) (Remote host closed the connection)
2025-10-10 08:58:53 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 09:00:07 +0000trickard_trickard
2025-10-10 09:08:25 +0000fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-10-10 09:16:13 +0000AlexNoo_(~AlexNoo@178.34.151.169)
2025-10-10 09:18:17 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-10 09:19:35 +0000AlexNoo(~AlexNoo@85.174.181.143) (Ping timeout: 250 seconds)
2025-10-10 09:19:42 +0000AlexZenon(~alzenon@85.174.181.143) (Ping timeout: 256 seconds)
2025-10-10 09:25:29 +0000AlexZenon(~alzenon@178.34.151.169)
2025-10-10 09:26:04 +0000chele_(~chele@user/chele) chele
2025-10-10 09:26:09 +0000chele(~chele@user/chele) (Remote host closed the connection)
2025-10-10 09:42:11 +0000qqe(~qqq@185.54.23.200)
2025-10-10 09:45:47 +0000trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 09:46:01 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-10-10 09:51:03 +0000Googulator53(~Googulato@team.broadbit.hu)
2025-10-10 09:54:45 +0000Googulator68(~Googulato@81.183.235.203) (Ping timeout: 250 seconds)
2025-10-10 09:55:50 +0000Googulator76(~Googulato@team.broadbit.hu)
2025-10-10 09:56:47 +0000merijn(~merijn@77.242.116.146) (Read error: Connection reset by peer)
2025-10-10 09:56:51 +0000xff0x_(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds)
2025-10-10 09:59:05 +0000Googulator53(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 10:05:58 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-10-10 10:09:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 10:17:47 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 10:28:20 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-10 10:29:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 10:33:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer)
2025-10-10 10:33:05 +0000gustrb(~gustrb@191.243.134.87) (Ping timeout: 256 seconds)
2025-10-10 10:34:10 +0000merijn(~merijn@77.242.116.146) merijn
2025-10-10 10:35:00 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 10:35:59 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-10-10 10:46:58 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-10-10 10:59:15 +0000AlexNoo_AlexNoo
2025-10-10 11:03:55 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2025-10-10 11:08:47 +0000 <bwe> Who is using helix editor with hlint?
2025-10-10 11:10:01 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-10 11:13:25 +0000Guest34(~Guest34@pool-71-245-167-215.bltmmd.fios.verizon.net)
2025-10-10 11:15:30 +0000Guest34hwabyong
2025-10-10 11:15:39 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 11:15:52 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-10-10 11:19:46 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-10-10 11:21:44 +0000qqe(~qqq@185.54.23.200) (Quit: Lost terminal)
2025-10-10 11:34:29 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-10-10 11:35:21 +0000artem(~artem@2601:249:4380:2400:48ee:2b73:e17d:5d1c)
2025-10-10 11:35:25 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2025-10-10 11:35:47 +0000Lord_of_Life_Lord_of_Life
2025-10-10 11:37:33 +0000ulysses4ever(~artem@2601:249:4380:2400:18fb:5852:7b14:a29c) (Ping timeout: 252 seconds)
2025-10-10 11:39:37 +0000gustrb(~gustrb@191.243.134.87) (Ping timeout: 264 seconds)
2025-10-10 11:40:03 +0000ulysses4ever(~artem@2601:249:4380:2400:1988:a2f0:455d:7214)
2025-10-10 11:40:47 +0000Square2(~Square@user/square) Square
2025-10-10 11:41:19 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 11:41:57 +0000artem(~artem@2601:249:4380:2400:48ee:2b73:e17d:5d1c) (Ping timeout: 252 seconds)
2025-10-10 11:42:53 +0000artem(~artem@2601:249:4380:2400:39e0:27d:7551:8c1f)
2025-10-10 11:44:37 +0000ulysses4ever(~artem@2601:249:4380:2400:1988:a2f0:455d:7214) (Ping timeout: 255 seconds)
2025-10-10 11:45:02 +0000ulysses4ever(~artem@2601:249:4380:2400:76d2:6082:29e3:3b9c)
2025-10-10 11:46:45 +0000jackneill__(~Jackneill@94-21-46-168.pool.digikabel.hu)
2025-10-10 11:47:21 +0000artem(~artem@2601:249:4380:2400:39e0:27d:7551:8c1f) (Ping timeout: 250 seconds)
2025-10-10 11:48:12 +0000artem(~artem@2601:249:4380:2400:ef5c:1964:a229:5d04)
2025-10-10 11:48:19 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-10-10 11:48:56 +0000Jackneill_(~Jackneill@188-143-82-121.pool.digikabel.hu) (Ping timeout: 240 seconds)
2025-10-10 11:49:31 +0000ulysses4ever(~artem@2601:249:4380:2400:76d2:6082:29e3:3b9c) (Ping timeout: 250 seconds)
2025-10-10 11:52:14 +0000tromp(~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-10 11:52:59 +0000inline(~inline@2a02:8071:57a1:1260:f09c:4f5d:3a10:3c70) Inline
2025-10-10 11:53:00 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-10-10 11:54:18 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-10-10 11:54:24 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-10 11:54:59 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-10 11:54:59 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2025-10-10 11:55:00 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2025-10-10 11:55:17 +0000divlamir(~divlamir@user/divlamir) divlamir
2025-10-10 12:00:18 +0000ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-10-10 12:02:07 +0000CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
2025-10-10 12:02:37 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-10 12:03:05 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-10 12:06:42 +0000Googulator76Googulator
2025-10-10 12:07:09 +0000hwabyong(~Guest34@pool-71-245-167-215.bltmmd.fios.verizon.net) (Quit: Client closed)
2025-10-10 12:08:09 +0000artemartem_
2025-10-10 12:10:55 +0000srazkvt(~sarah@user/srazkvt) srazkvt
2025-10-10 12:15:47 +0000Googulator94(~Googulato@team.broadbit.hu)
2025-10-10 12:18:29 +0000gustrb(~gustrb@191.243.134.87) (Ping timeout: 256 seconds)
2025-10-10 12:19:03 +0000Googulator(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 12:25:22 +0000xff0x(~xff0x@2405:6580:b080:900:bf36:cbe4:ef57:7a58)
2025-10-10 12:29:25 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) Enrico63
2025-10-10 12:31:04 +0000Googulator77(~Googulato@team.broadbit.hu)
2025-10-10 12:34:13 +0000Googulator94(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 12:34:18 +0000Enrico63(~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Client Quit)
2025-10-10 12:35:24 +0000gustrb(~gustrb@191.243.134.87)
2025-10-10 12:35:46 +0000Googulator21(~Googulato@team.broadbit.hu)
2025-10-10 12:38:29 +0000inline(~inline@2a02:8071:57a1:1260:f09c:4f5d:3a10:3c70) (Read error: Connection reset by peer)
2025-10-10 12:38:59 +0000Googulator77(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 12:39:50 +0000inline(~inline@2a02:8071:57a1:1260:f09c:4f5d:3a10:3c70) Inline
2025-10-10 12:40:15 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 12:40:28 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-10-10 12:45:10 +0000ulysses4ever(~artem@2601:408:c402:7a61:d227:9d80:a458:965f)
2025-10-10 12:46:43 +0000artem_(~artem@2601:249:4380:2400:ef5c:1964:a229:5d04) (Ping timeout: 255 seconds)
2025-10-10 12:47:46 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds)
2025-10-10 12:51:01 +0000Square2(~Square@user/square) (Ping timeout: 264 seconds)
2025-10-10 12:51:49 +0000inline_(~inline@2a02:8071:57a1:1260:ec16:109f:4e86:5c5e) Inline
2025-10-10 12:52:19 +0000inline_(~inline@2a02:8071:57a1:1260:ec16:109f:4e86:5c5e) (Max SendQ exceeded)
2025-10-10 12:52:46 +0000inline_(~inline@2a02:8071:57a1:1260:ec16:109f:4e86:5c5e) Inline
2025-10-10 12:52:53 +0000craunts795335(~craunts@136.158.7.194)
2025-10-10 12:54:40 +0000artem(~artem@2601:249:4380:2400:a942:9137:f36a:637c)
2025-10-10 12:55:17 +0000inline(~inline@2a02:8071:57a1:1260:f09c:4f5d:3a10:3c70) (Ping timeout: 265 seconds)
2025-10-10 12:55:27 +0000inline__(~inline@2a02:8071:57a1:1260:ec16:109f:4e86:5c5e) Inline
2025-10-10 12:56:54 +0000ulysses4ever(~artem@2601:408:c402:7a61:d227:9d80:a458:965f) (Ping timeout: 260 seconds)
2025-10-10 12:56:58 +0000laxmik(~user@pc192b.fzu.cz) laxmik
2025-10-10 12:58:52 +0000ulysses4ever(~artem@2601:249:4380:2400:16ae:e993:b489:80ac)
2025-10-10 12:59:08 +0000inline_(~inline@2a02:8071:57a1:1260:ec16:109f:4e86:5c5e) (Ping timeout: 244 seconds)
2025-10-10 12:59:11 +0000ulysses4ever(~artem@2601:249:4380:2400:16ae:e993:b489:80ac) (Client Quit)
2025-10-10 13:00:43 +0000Googulator72(~Googulato@team.broadbit.hu)
2025-10-10 13:02:24 +0000artem(~artem@2601:249:4380:2400:a942:9137:f36a:637c) (Ping timeout: 256 seconds)
2025-10-10 13:02:25 +0000trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-10 13:02:32 +0000trickard___(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-10-10 13:04:07 +0000Googulator21(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 13:11:26 +0000LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-10-10 13:12:27 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-10 13:16:28 +0000trickard___trickard
2025-10-10 13:17:24 +0000ft(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-10 13:19:10 +0000inline__inline
2025-10-10 13:20:33 +0000vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2025-10-10 13:25:43 +0000Googulator44(~Googulato@team.broadbit.hu)
2025-10-10 13:28:17 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-10-10 13:28:49 +0000Googulator72(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 13:30:21 +0000opencircuit(~quassel@user/opencircuit) (Remote host closed the connection)
2025-10-10 13:30:30 +0000opencircuit(~quassel@user/opencircuit) opencircuit
2025-10-10 13:31:04 +0000shapr(~user@130.44.148.32) shapr
2025-10-10 13:37:16 +0000trickard__(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-10-10 13:37:49 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 264 seconds)
2025-10-10 13:42:20 +0000merijn(~merijn@77.242.116.146) (Quit: leaving)
2025-10-10 13:42:21 +0000trickard__trickard
2025-10-10 13:43:14 +0000merijn(~merijn@77.242.116.146) merijn
2025-10-10 13:50:45 +0000Googulator36(~Googulato@team.broadbit.hu)
2025-10-10 13:53:57 +0000Googulator44(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 14:05:28 +0000Square2(~Square@user/square) Square
2025-10-10 14:08:01 +0000ulysses4ever(~artem@2601:249:4380:2400:e800:4418:ae15:8435)
2025-10-10 14:08:15 +0000ulysses4ever(~artem@2601:249:4380:2400:e800:4418:ae15:8435) (Client Quit)
2025-10-10 14:09:47 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-10-10 14:16:28 +0000arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2025-10-10 14:16:46 +0000arandombit(~arandombi@user/arandombit) arandombit
2025-10-10 14:19:38 +0000jespada(~jespada@2800:a4:222f:ca00:f47f:a0ce:748e:dd79) jespada
2025-10-10 14:24:34 +0000jespada(~jespada@2800:a4:222f:ca00:f47f:a0ce:748e:dd79) (Ping timeout: 256 seconds)
2025-10-10 14:25:21 +0000weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-10-10 14:27:55 +0000inlineInline
2025-10-10 14:28:16 +0000Sgeo(~Sgeo@user/sgeo) Sgeo
2025-10-10 14:46:36 +0000fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 244 seconds)
2025-10-10 14:47:24 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-10-10 14:54:36 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-10 14:55:29 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-10 15:00:15 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-10-10 15:00:18 +0000L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2025-10-10 15:01:22 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-10 15:03:48 +0000laxmik(~user@pc192b.fzu.cz) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2025-10-10 15:06:35 +0000chenjf(~chenjf@vmi2417424.contaboserver.net)
2025-10-10 15:11:31 +0000chenjf(~chenjf@vmi2417424.contaboserver.net) (WeeChat 4.7.1)
2025-10-10 15:12:40 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-10-10 15:19:00 +0000L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-10-10 15:26:19 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-10 15:50:39 +0000bgg(~bgg@2a01:e0a:819:1510:f3ff:d4d2:a2f9:f5b6) (Quit: std::move)
2025-10-10 15:50:51 +0000trickard(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 15:51:04 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-10-10 15:51:13 +0000arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2025-10-10 15:51:38 +0000arandombit(~arandombi@2603:7000:4600:ffbe:54f7:c3d0:dbda:93ac)
2025-10-10 15:51:38 +0000arandombit(~arandombi@2603:7000:4600:ffbe:54f7:c3d0:dbda:93ac) (Changing host)
2025-10-10 15:51:38 +0000arandombit(~arandombi@user/arandombit) arandombit
2025-10-10 15:57:45 +0000Inline(~inline@2a02:8071:57a1:1260:ec16:109f:4e86:5c5e) (Quit: Leaving)
2025-10-10 16:04:23 +0000Googulator36(~Googulato@team.broadbit.hu) (Ping timeout: 250 seconds)
2025-10-10 16:14:29 +0000FragByte_(~christian@user/fragbyte) FragByte
2025-10-10 16:15:28 +0000FragByte(~christian@user/fragbyte) (Ping timeout: 244 seconds)
2025-10-10 16:15:28 +0000FragByte_FragByte
2025-10-10 16:16:02 +0000annamalai(~annamalai@157.32.205.248) (Remote host closed the connection)
2025-10-10 16:16:29 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2025-10-10 16:17:42 +0000tccq(~user@user/tccq) tccq
2025-10-10 16:23:34 +0000Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-10 16:24:17 +0000 <Zemy> Who would I talk to about getting my Gitlab Haskell account reactivated? I can't do it myself because I don't have my password.
2025-10-10 16:25:44 +0000 <geekosaur> a ghc gitlab admin, ask in #ghc
2025-10-10 16:26:05 +0000lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-10-10 16:29:38 +0000LainIwakura(~LainIwaku@user/LainIwakura) (Quit: Client closed)
2025-10-10 16:33:21 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-10 16:47:07 +0000inline(~inline@2a02:8071:57a1:1260:e498:ed7c:eabb:dab7) Inline
2025-10-10 16:47:43 +0000merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-10-10 16:56:22 +0000inline(~inline@2a02:8071:57a1:1260:e498:ed7c:eabb:dab7) (Remote host closed the connection)
2025-10-10 16:59:59 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 17:00:32 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 240 seconds)
2025-10-10 17:13:43 +0000m1dnight(~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 256 seconds)
2025-10-10 17:24:51 +0000Googulator36(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-10 17:24:58 +0000acarrico(~acarrico@pppoe-209-99-223-51.greenmountainaccess.net) (Quit: Leaving.)
2025-10-10 17:30:45 +0000tromp(~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe)
2025-10-10 17:31:25 +0000lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 250 seconds)
2025-10-10 17:39:17 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-10 17:41:55 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-10-10 17:47:31 +0000m1dnight(~m1dnight@d8D861A17.access.telenet.be) m1dnight
2025-10-10 17:53:26 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-10-10 17:53:28 +0000srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2025-10-10 17:53:40 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-10-10 18:01:18 +0000inline(~inline@2a02:8071:57a1:1260:2c74:3485:fb3b:d86d) Inline
2025-10-10 18:02:20 +0000inline(~inline@2a02:8071:57a1:1260:2c74:3485:fb3b:d86d) (Remote host closed the connection)
2025-10-10 18:05:37 +0000inline(~inline@2a02:8071:57a1:1260:2c74:3485:fb3b:d86d) Inline
2025-10-10 18:06:04 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-10 18:06:33 +0000machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-10-10 18:14:57 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 18:20:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 18:29:26 +0000n0den1te(~n0den1te@42.111.145.186) n0den1te
2025-10-10 18:30:20 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2025-10-10 18:30:46 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 18:32:32 +0000Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla
2025-10-10 18:37:58 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-10-10 18:43:19 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-10-10 18:44:37 +0000img(~img@user/img) img
2025-10-10 18:44:43 +0000tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2025-10-10 18:45:31 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 18:50:20 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 18:54:01 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds)
2025-10-10 18:56:56 +0000chele_(~chele@user/chele) (Remote host closed the connection)
2025-10-10 19:00:05 +0000caconym747879(~caconym@user/caconym) (Quit: bye)
2025-10-10 19:00:45 +0000caconym747879(~caconym@user/caconym) caconym
2025-10-10 19:01:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 19:03:01 +0000rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 264 seconds)
2025-10-10 19:04:02 +0000Everything(~Everythin@46.96.48.125) Everything
2025-10-10 19:05:52 +0000chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 272 seconds)
2025-10-10 19:06:02 +0000chexum(~quassel@gateway/tor-sasl/chexum) chexum
2025-10-10 19:06:37 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 19:14:29 +0000n0den1te(~n0den1te@42.111.145.186) (Quit: leaving)
2025-10-10 19:15:44 +0000Googulator36(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-10 19:15:46 +0000Googulator10(~Googulato@193-226-241-224.pool.digikabel.hu)
2025-10-10 19:17:05 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 19:22:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 19:32:53 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 19:37:43 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-10 19:48:41 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 19:54:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 19:55:30 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-10 19:55:47 +0000karenw(~karenw@user/karenw) karenw
2025-10-10 19:57:45 +0000Tri(~Tri@69.74.159.34)
2025-10-10 19:58:28 +0000inline(~inline@2a02:8071:57a1:1260:2c74:3485:fb3b:d86d) (Quit: Leaving)
2025-10-10 19:59:36 +0000fgidim(~nu@user/fgarcia) (Quit: Remote host closed the connection)
2025-10-10 20:00:30 +0000 <Tri> https://paste.tomsmeding.com/ItCU0RWx
2025-10-10 20:00:30 +0000 <Tri> Hi, I'm beginner. My program is calling a table and returns many rows.I'd like to extract only a few rows to test interactively in GHCI to debug my logic. How could I do that please? I can't realistically new up these objects because that's very tedious.
2025-10-10 20:01:28 +0000 <Tri> thank you for your help
2025-10-10 20:03:16 +0000 <mauke> you can run statements like 'conn <- connectODBC "Driver={ODBC Driver 17 for SQL Server};Server=BDEverest;Database=BDDataWH;Trusted_Connection=yes;"' directly in ghci
2025-10-10 20:03:49 +0000int-ewould split up `main` into several functions so that they become available in ghci
2025-10-10 20:05:06 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 20:05:20 +0000 <int-e> (cut&paste works too but doesn't scale well if, for example, the connection logic becomes more complex)
2025-10-10 20:06:00 +0000bgg(~bgg@2a01:e0a:819:1510:fae0:116a:81b6:6ffd)
2025-10-10 20:07:04 +0000inline(~inline@2a02:8071:57a1:dc0:8439:c652:7e44:c6fc) Inline
2025-10-10 20:07:04 +0000 <Tri> mauke I did copied separately these into ghci, but got
2025-10-10 20:07:05 +0000 <Tri> conn <- connectODBC "Driver={ODBC Driver 17 for SQL Server};Server=BDEverest;Database=BDDataWH;Trusted_Connection=yes;"
2025-10-10 20:07:05 +0000 <Tri> and
2025-10-10 20:07:06 +0000 <Tri>  queryResult <- quickQuery' conn "SELECT * from Reference.IssuerAssetOverride where wsoissuerid = 5950" []
2025-10-10 20:07:06 +0000 <Tri> ghci> conn <- connectODBC "Driver={ODBC Driver 17 for SQL Server};Server=BDEverest;Database=BDDataWH;Tr"
2025-10-10 20:07:07 +0000 <Tri> ghci> queryResult <- quickQuery' conn "SELECT * from Reference.IssuerAssetOverride where wsoissuerid = ]
2025-10-10 20:07:07 +0000 <Tri> *** Exception: SqlError {seState = "", seNativeError = -1, seErrorMsg = "Tried to use a disposed ODBC Connection handle"}
2025-10-10 20:08:28 +0000 <Tri> thank you int-e, I will try to break down the main function
2025-10-10 20:09:03 +0000 <int-e> Huh, shouldn't having the `conn` value keep the connection alive?
2025-10-10 20:10:29 +0000 <Tri> int-e I just tried again, separately copied and pasting these 2 rows throw the exception
2025-10-10 20:11:44 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-10-10 20:11:58 +0000 <int-e> Tri: Oh I believe you. Basically I'm wondering whether this is a bug.
2025-10-10 20:13:05 +0000 <Tri> int-e, however, thanks to your susggestion to break down into smaller function, I can now get them in ghci, now I have
2025-10-10 20:13:05 +0000 <Tri> testGetRow = do
2025-10-10 20:13:06 +0000 <Tri>     conn <- connectODBC "Driver={ODBC Driver 17 for SQL Server};Server=BDEverest;Database=BDDataWH;Trusted_Connection=yes;"
2025-10-10 20:13:06 +0000 <Tri>     queryResult <- quickQuery' conn "SELECT * from Reference.IssuerAssetOverride where wsoissuerid = 5950" []
2025-10-10 20:13:07 +0000 <Tri>     return $ map fromSqlToOverride queryResult
2025-10-10 20:13:07 +0000 <Tri> However, having to write additional script just to test in ghci doesn't feel elegant to me
2025-10-10 20:13:08 +0000 <Tri> And, if I decide to use this as my official code, then I need to return the conn from the function, so that I can close it in the main function. This makes the function having more responsibility than it should be
2025-10-10 20:14:57 +0000 <Tri> int-e https://paste.tomsmeding.com/rU8mWvfq
2025-10-10 20:15:30 +0000 <Tri> How can I do it better? Thank you
2025-10-10 20:19:51 +0000 <int-e> It's fine, though I'd probably separate out the connection step because it's so different from issuing a query
2025-10-10 20:20:38 +0000Googulator29(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-10 20:20:47 +0000Googulator10(~Googulato@193-226-241-224.pool.digikabel.hu) (Quit: Client closed)
2025-10-10 20:21:27 +0000 <int-e> I'm still more interested in why the copy&paste fails. I guess apart from FFI/GC woes, it could also be caused by a DB server that aggressively times out connections.
2025-10-10 20:23:09 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 20:24:15 +0000michalz(~michalz@185.246.207.200) (Remote host closed the connection)
2025-10-10 20:28:49 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds)
2025-10-10 20:30:56 +0000inline_(~inline@2a02:8071:57a1:1260:249e:867e:200a:1fb1) Inline
2025-10-10 20:33:11 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 20:34:43 +0000inline(~inline@2a02:8071:57a1:dc0:8439:c652:7e44:c6fc) (Ping timeout: 250 seconds)
2025-10-10 20:36:12 +0000Zemy_(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-10 20:36:13 +0000Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-10 20:37:31 +0000Zemy(~Zemy@2600:100c:b004:cbe8:54ca:29ff:fe47:5f3)
2025-10-10 20:37:31 +0000Zemy_(~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-10 20:38:46 +0000Zemy_(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-10 20:41:13 +0000ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-10-10 20:41:49 +0000Zemy(~Zemy@2600:100c:b004:cbe8:54ca:29ff:fe47:5f3) (Ping timeout: 260 seconds)
2025-10-10 20:43:42 +0000ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds)
2025-10-10 20:43:42 +0000ljdarj1ljdarj
2025-10-10 20:50:28 +0000pavonia(~user@user/siracusa) siracusa
2025-10-10 20:58:55 +0000rvalue(~rvalue@about/hackers/rvalue) rvalue
2025-10-10 20:59:50 +0000 <EvanR> Tri, in practice it's pretty annoying to first write a script in ghci and then rewrite it in a file later
2025-10-10 21:00:24 +0000 <EvanR> better workflow: write the script in a file and issue a reload command in ghci when it's updated
2025-10-10 21:00:35 +0000 <EvanR> then call the commands defined in there
2025-10-10 21:01:00 +0000takuan(~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection)
2025-10-10 21:01:05 +0000 <EvanR> this is actually good in many languages with a REPL when it works
2025-10-10 21:03:24 +0000 <mauke> this is why REPLs are largely useless
2025-10-10 21:04:53 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2025-10-10 21:09:18 +0000 <Tri> EvanR better workflow: write the script in a file and issue a reload command in ghci when it's updated
2025-10-10 21:09:19 +0000 <Tri> sorry I don't follow this, how should refactor my program according to your advice so I could test it better? https://paste.tomsmeding.com/ItCU0RWx
2025-10-10 21:13:30 +0000jespada(~jespada@2800:a4:223d:e100:e1e1:d06f:e056:da4) jespada
2025-10-10 21:14:12 +0000Everything(~Everythin@46.96.48.125) (Quit: leaving)
2025-10-10 21:14:15 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2025-10-10 21:16:12 +0000jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-10-10 21:17:53 +0000jespada(~jespada@2800:a4:223d:e100:e1e1:d06f:e056:da4) (Client Quit)
2025-10-10 21:22:02 +0000 <pavonia> Tri: I think the suggestion was just to have your definitions in a separate file and load this into GHCi, as opposed to write all your definitions in the REPL directly
2025-10-10 21:26:04 +0000 <Tri> pavonia I write everything in a file, and use cabal repl and to load and execute whatever I want to test
2025-10-10 21:26:25 +0000 <Tri> every time i change something I do a reload :r and re-run
2025-10-10 21:26:41 +0000 <pavonia> Sounds good
2025-10-10 21:27:02 +0000 <Tri> And I was having trouble trying to just pick out a subset of rows return the sql call, instead of the whole table
2025-10-10 21:28:29 +0000 <Tri> and as they suggest I refactor the table call into a separate function, https://paste.tomsmeding.com/rU8mWvfq
2025-10-10 21:28:30 +0000 <Tri> but it doesn't look elegant, because I have to return a conn to dispose later. And it doesn't look elegant having to write extra code to test in ghci
2025-10-10 21:29:35 +0000tromp(~textual@2001:1c00:3487:1b00:409c:634b:fec4:4fe) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-10-10 21:33:05 +0000 <pavonia> Are you familiar with monad transformers? In this case you could use a ReaderT or StateT monad to "hide" the connection in a new monad
2025-10-10 21:33:27 +0000 <Tri> I am... a bit... but that just escalated very quickly...
2025-10-10 21:33:37 +0000 <Tri> I just want to test a piece of data in GHCI...
2025-10-10 21:33:52 +0000 <Tri> anyway I gotta catch my train now. Thank you for your help. I will post this on Reddit
2025-10-10 21:34:05 +0000 <Tri> This is ridiculously difficult compared to F#
2025-10-10 21:36:18 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-10 21:43:00 +0000inline_Inline
2025-10-10 21:49:04 +0000Zemy_Zemy
2025-10-10 21:52:11 +0000AlexNoo_(~AlexNoo@178.34.151.169)
2025-10-10 21:52:25 +0000Pixi__(~Pixi@user/pixi) Pixi
2025-10-10 21:53:34 +0000peterbecich1(~Thunderbi@syn-172-222-148-214.res.spectrum.com) peterbecich
2025-10-10 21:53:47 +0000vetkat2(~vetkat@user/vetkat) vetkat
2025-10-10 21:55:57 +0000tccq`(~user@71.227.230.155)
2025-10-10 21:56:52 +0000tccq`(~user@71.227.230.155) (Client Quit)
2025-10-10 21:57:08 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 21:57:36 +0000tessier_(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) tessier
2025-10-10 21:59:25 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Read error: Connection reset by peer)
2025-10-10 21:59:25 +0000chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000AlexNoo(~AlexNoo@178.34.151.169) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000FANTOM(~fantom@87.75.184.126) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000tccq(~user@user/tccq) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000vetkat(~vetkat@user/vetkat) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000Pixi`(~Pixi@user/pixi) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000tessier(~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000FANTOM(~fantom@87.75.184.126)
2025-10-10 21:59:26 +0000ft(~ft@p4fc2a207.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-10-10 21:59:26 +0000vetkat2vetkat
2025-10-10 21:59:27 +0000peterbecich1peterbecich
2025-10-10 21:59:46 +0000ft(~ft@p4fc2a207.dip0.t-ipconnect.de) ft
2025-10-10 22:02:25 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2025-10-10 22:04:10 +0000target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-10-10 22:05:15 +0000ttybitnik(~ttybitnik@user/wolper) (Ping timeout: 244 seconds)
2025-10-10 22:07:56 +0000ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-10-10 22:09:36 +0000Zemy(~Zemy@syn-072-176-124-082.res.spectrum.com)
2025-10-10 22:11:22 +0000chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-10-10 22:12:55 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 22:18:01 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 22:24:37 +0000peterbecich(~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 264 seconds)
2025-10-10 22:28:45 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 22:33:40 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-10-10 22:34:00 +0000 <haskellbridge> <Kyle Butt> Tri: It would be more normal to connect and then pass the connection to "testGetRow"
2025-10-10 22:34:42 +0000 <haskellbridge> <Kyle Butt> Tri: If you want the connection to be in a helper, you could do something like "conn <- testConnect"
2025-10-10 22:35:43 +0000 <EvanR> Tri, yes there are standard ways to make your code more modular and useful in more places. Stuff takes a conn as an argument for example
2025-10-10 22:37:07 +0000 <EvanR> any database access is relative to a database connection after all
2025-10-10 22:38:08 +0000 <EvanR> worst case scenario you need a top level helper for a test that access then same code your main app uses
2025-10-10 22:39:27 +0000 <haskellbridge> <Kyle Butt> Tri You could use "bracket" to write a "withConnection" helper that keeps the connection open only inside the body function that accepts the connection as an argument. Similar to "with" in python.
2025-10-10 22:39:33 +0000 <EvanR> as a defacto rule, many programming styles that work in imperative languages or side effecting languages don't work in haskell. Because laziness would make that insane
2025-10-10 22:40:09 +0000 <EvanR> yeah bracket pattern is great, i.e. withConnection
2025-10-10 22:44:30 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 22:48:41 +0000Tri(~Tri@69.74.159.34) (Ping timeout: 250 seconds)
2025-10-10 22:48:43 +0000weary-traveler(~user@user/user363627) user363627
2025-10-10 22:48:49 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 255 seconds)
2025-10-10 22:49:08 +0000trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-10-10 22:49:33 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-10-10 23:00:18 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 23:03:08 +0000LainIwakura(~LainIwaku@user/LainIwakura) LainIwakura
2025-10-10 23:07:02 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-10-10 23:10:36 +0000Googulator16(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu)
2025-10-10 23:10:38 +0000Googulator29(~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed)
2025-10-10 23:12:20 +0000Tuplanolla(~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
2025-10-10 23:24:34 +0000malte(~malte@mal.tc) (Ping timeout: 260 seconds)
2025-10-10 23:33:47 +0000malte(~malte@mal.tc) malte
2025-10-10 23:33:53 +0000040AAE6OC(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2025-10-10 23:34:46 +0000_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-10-10 23:51:34 +0000ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-10-10 23:54:21 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-10-10 23:59:27 +0000merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)