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