| 2025-02-28 00:02:43 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-28 00:03:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-02-28 00:04:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-28 00:07:07 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f567091d751b62dd8ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-28 00:10:19 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
| 2025-02-28 00:11:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 00:15:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 00:15:47 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 00:19:24 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2025-02-28 00:19:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-28 00:30:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 00:30:45 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-02-28 00:33:52 +0100 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-02-28 00:35:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-28 00:42:24 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-02-28 00:44:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-28 00:46:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 00:47:34 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 00:49:24 +0100 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-02-28 00:50:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-28 00:53:22 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-02-28 00:53:51 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 00:57:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 01:01:00 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-02-28 01:01:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 01:02:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-28 01:06:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-28 01:07:42 +0100 | bilegeek | (~bilegeek@2600:1008:b01f:5f7b:5bb4:d486:4e63:9b64) bilegeek |
| 2025-02-28 01:11:30 +0100 | caconym | (~caconym@user/caconym) (Ping timeout: 276 seconds) |
| 2025-02-28 01:15:14 +0100 | <Square2> | can you safely ignore (new-/v2-/v1-) <command> ...in cabal 3(.10) ? |
| 2025-02-28 01:17:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 01:17:40 +0100 | xff0x | (~xff0x@ai066236.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2025-02-28 01:17:44 +0100 | <geekosaur> | v2- is default in cabal 3 |
| 2025-02-28 01:18:11 +0100 | <geekosaur> | v1- commands still exist for a few special cases not well covered by current v2 commands |
| 2025-02-28 01:24:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-28 01:24:17 +0100 | rini | (~rini@user/rini) (Ping timeout: 248 seconds) |
| 2025-02-28 01:24:28 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ccc7:505:ea62:9fdf) |
| 2025-02-28 01:24:50 +0100 | rini | (~rini@user/rini) rini |
| 2025-02-28 01:27:45 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-28 01:35:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 01:39:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 01:40:06 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 276 seconds) |
| 2025-02-28 01:45:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 01:49:59 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-28 01:50:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 01:52:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ccc7:505:ea62:9fdf) (Ping timeout: 248 seconds) |
| 2025-02-28 01:54:38 +0100 | euleritian | (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-02-28 01:54:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-28 01:55:05 +0100 | euleritian | (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) |
| 2025-02-28 01:55:24 +0100 | euleritian | (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) (Remote host closed the connection) |
| 2025-02-28 01:55:43 +0100 | euleritian | (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) |
| 2025-02-28 01:57:32 +0100 | sprotte24 | (~sprotte24@p200300d16f3f1000f5852302a25e2776.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-28 01:58:16 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-02-28 02:00:54 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-02-28 02:03:11 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-28 02:04:45 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-02-28 02:06:12 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-28 02:06:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 02:08:16 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-28 02:11:48 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-02-28 02:12:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-28 02:17:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 02:22:16 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-02-28 02:22:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 02:22:22 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 02:22:24 +0100 | k_hachig_ | k_hachig |
| 2025-02-28 02:26:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 02:27:48 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-28 02:28:17 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-28 02:28:23 +0100 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2025-02-28 02:29:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 02:30:03 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-28 02:30:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 02:32:22 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 02:34:26 +0100 | <Square2> | geekosaur, thanks |
| 2025-02-28 02:34:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-28 02:35:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 02:35:29 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2025-02-28 02:43:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-02-28 02:44:35 +0100 | yaroot | (~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Read error: Connection reset by peer) |
| 2025-02-28 02:44:49 +0100 | yaroot | (~yaroot@p3747022-ipxg13101souka.saitama.ocn.ne.jp) yaroot |
| 2025-02-28 02:45:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 02:47:07 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-28 02:49:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-28 02:50:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-02-28 02:50:19 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-28 02:51:31 +0100 | notdabs | (~Owner@2600:6c40:4300:950:24fa:651a:9708:e91a) (Read error: Connection reset by peer) |
| 2025-02-28 02:51:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2025-02-28 02:55:31 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2025-02-28 02:58:06 +0100 | messewix | (~jmc@user/messewix) (Remote host closed the connection) |
| 2025-02-28 02:58:46 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-02-28 03:00:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 03:02:34 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-02-28 03:07:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-28 03:10:18 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) NinjaTrappeur |
| 2025-02-28 03:11:38 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2025-02-28 03:16:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 03:18:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 03:18:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 03:21:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 03:22:52 +0100 | k_hachig | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 265 seconds) |
| 2025-02-28 03:23:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 03:25:46 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 265 seconds) |
| 2025-02-28 03:27:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-28 03:31:42 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-28 03:34:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 03:36:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 03:38:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-28 03:39:08 +0100 | lockywolf | (~lockywolf@213.165.252.157) (Leaving) |
| 2025-02-28 03:44:42 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 03:49:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 03:51:10 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2025-02-28 03:51:44 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 03:52:38 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-02-28 03:53:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 03:57:54 +0100 | jathan | (~jathan@2607:1a00:0:19::2:1dc) (Quit: WeeChat 2.3) |
| 2025-02-28 03:58:06 +0100 | <Square2> | It seems the contraint checker in ghc 9 has gotten a lot stricter? There is no way to relax it per file? Like all declarations needs to be in order. |
| 2025-02-28 03:58:24 +0100 | <EvanR> | say what |
| 2025-02-28 03:58:44 +0100 | <Square2> | hehe... I guess I could word taht better. But i guess frustration hit. |
| 2025-02-28 03:59:17 +0100 | <EvanR> | definitions can be in any order within the same file |
| 2025-02-28 03:59:50 +0100 | <geekosaur> | ghc tightened some TH stage restrictions, IIRC |
| 2025-02-28 04:00:19 +0100 | <geekosaur> | but TH is necessarily difficult as it has to be run during parsing |
| 2025-02-28 04:02:15 +0100 | <monochrom> | deja vu? I thought that was explained and resolved yesterday. |
| 2025-02-28 04:02:54 +0100 | <Square2> | well, the question today wasn't about TH really. I just pasted the TH output in the problematic file and hoped it would solve itself. |
| 2025-02-28 04:03:37 +0100 | <Square2> | But, it seems it didn't. I need to provide an example to hope to get some meaningful input on this I realize. |
| 2025-02-28 04:03:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 04:04:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 04:08:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 04:09:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-02-28 04:12:10 +0100 | <Square2> | So this is my observation. If I have a .hs file. If I have 3 blocks of code in that file. part A, part B, part C. If part B is TH usage, the constraint solving between part A and C is broken. |
| 2025-02-28 04:14:34 +0100 | <EvanR> | that makes more sense |
| 2025-02-28 04:15:14 +0100 | <EvanR> | A might not know about stuff in C until after TH runs when it's too late |
| 2025-02-28 04:16:43 +0100 | <Square2> | Yeah, that might be it and somewhat checks out what the wrote in the release notes |
| 2025-02-28 04:16:52 +0100 | <Square2> | they* |
| 2025-02-28 04:19:18 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-28 04:20:16 +0100 | alp | (~alp@2001:861:8ca0:4940:58d8:cc89:9d90:c4b2) (Ping timeout: 268 seconds) |
| 2025-02-28 04:20:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 04:25:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-02-28 04:35:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 04:36:46 +0100 | a_fantom | (~fantom@2.219.56.221) |
| 2025-02-28 04:38:46 +0100 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-28 04:41:28 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 04:42:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-28 04:46:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-28 04:49:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 04:53:45 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 04:53:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 04:58:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 05:09:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 05:13:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-28 05:14:30 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-28 05:24:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 05:25:33 +0100 | f8 | (~f8@103.110.48.158) |
| 2025-02-28 05:26:25 +0100 | f8 | (~f8@103.110.48.158) (Client Quit) |
| 2025-02-28 05:29:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-28 05:31:37 +0100 | aforemny_ | (~aforemny@i577B1335.versanet.de) aforemny |
| 2025-02-28 05:32:50 +0100 | aforemny | (~aforemny@2001:9e8:6ce2:b00:1290:c2b0:bbd4:4f06) (Ping timeout: 248 seconds) |
| 2025-02-28 05:35:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 05:39:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-28 05:39:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 05:44:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-28 05:55:14 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-28 05:55:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 05:55:50 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2025-02-28 05:59:30 +0100 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 246 seconds) |
| 2025-02-28 05:59:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 06:06:58 +0100 | Flow | (~none@gentoo/developer/flow) flow |
| 2025-02-28 06:07:43 +0100 | florida | (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) |
| 2025-02-28 06:10:05 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 06:10:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 06:13:09 +0100 | swamp_ | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2025-02-28 06:14:32 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-02-28 06:16:13 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2025-02-28 06:17:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-28 06:20:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 06:24:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 06:28:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 06:32:47 +0100 | _xor | (~xor@ip-66-42-132-175.dynamic.fuse.net) _xor |
| 2025-02-28 06:32:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 06:33:57 +0100 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 252 seconds) |
| 2025-02-28 06:34:19 +0100 | _xor4 | (~xor@ip-66-42-132-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2025-02-28 06:34:19 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
| 2025-02-28 06:34:36 +0100 | koz | (~koz@121.99.240.58) |
| 2025-02-28 06:37:21 +0100 | michalz | (~michalz@185.246.207.222) |
| 2025-02-28 06:42:21 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-02-28 06:43:25 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2025-02-28 06:43:25 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) synchromesh |
| 2025-02-28 06:44:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 06:45:55 +0100 | hsw__ | (~hsw@2001:b030:2303:104:172:25:12:132) hsw |
| 2025-02-28 06:47:01 +0100 | img | (~img@user/img) (Ping timeout: 248 seconds) |
| 2025-02-28 06:47:31 +0100 | deriamis_ | (nobody@2600:3c0a::f03c:95ff:fee8:f335) (Quit: ZNC - https://znc.in) |
| 2025-02-28 06:47:40 +0100 | img | (~img@user/img) img |
| 2025-02-28 06:47:51 +0100 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Remote host closed the connection) |
| 2025-02-28 06:48:04 +0100 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) |
| 2025-02-28 06:48:17 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2025-02-28 06:48:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-28 06:48:37 +0100 | feetwind | (~mike@user/feetwind) (Ping timeout: 248 seconds) |
| 2025-02-28 06:48:56 +0100 | feetwind | (~mike@user/feetwind) feetwind |
| 2025-02-28 06:49:22 +0100 | deriamis | (nobody@172-232-162-115.ip.linodeusercontent.com) deriamis |
| 2025-02-28 06:54:35 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-02-28 06:57:51 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-02-28 06:59:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 07:02:11 +0100 | alp | (~alp@2001:861:8ca0:4940:cf02:35f:1502:8681) |
| 2025-02-28 07:04:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-28 07:06:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 07:08:48 +0100 | j1n37- | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-02-28 07:09:34 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 07:10:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-28 07:12:03 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 07:13:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 07:15:21 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 07:17:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 07:18:01 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-28 07:18:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-28 07:21:40 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 07:23:35 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 07:27:53 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 07:29:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 07:30:08 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 07:32:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-28 07:33:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 07:35:17 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 07:41:47 +0100 | CryptLab | (NSA@gateway/vpn/protonvpn/commanderbond007) (Ping timeout: 252 seconds) |
| 2025-02-28 07:44:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 07:49:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-28 07:50:18 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::46e1) ensyde |
| 2025-02-28 07:51:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 07:56:12 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-28 07:56:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-28 07:56:52 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f90a88c11223635ddf2.dip0.t-ipconnect.de) acidjnk |
| 2025-02-28 08:00:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 08:04:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-28 08:05:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-28 08:08:07 +0100 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-28 08:09:55 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-02-28 08:10:17 +0100 | euleritian | (~euleritia@dynamic-176-006-140-040.176.6.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2025-02-28 08:10:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-02-28 08:11:15 +0100 | euleritian | (~euleritia@dynamic-176-006-140-035.176.6.pool.telefonica.de) |
| 2025-02-28 08:11:16 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-02-28 08:16:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 08:16:49 +0100 | bilegeek_ | (~bilegeek@2600:1008:b014:2c7:531b:7b59:1891:ee3a) bilegeek |
| 2025-02-28 08:18:49 +0100 | bilegeek__ | (~bilegeek@2600:1008:b061:9e8:b6a7:1e21:b590:dc2) bilegeek |
| 2025-02-28 08:19:29 +0100 | bilegeek | (~bilegeek@2600:1008:b01f:5f7b:5bb4:d486:4e63:9b64) (Ping timeout: 260 seconds) |
| 2025-02-28 08:20:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-28 08:21:25 +0100 | bilegeek_ | (~bilegeek@2600:1008:b014:2c7:531b:7b59:1891:ee3a) (Ping timeout: 248 seconds) |
| 2025-02-28 08:27:38 +0100 | florida | (~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b) (Quit: Leaving) |
| 2025-02-28 08:27:47 +0100 | <kqr> | Noob Haskell question: I have this expression: `or [isJust a, isJust b, isJust c]` and I'd like to translate it into `any isJust [a, b, c]` but this does not work because none of a, b, or c are of the same type. At first I thought I would be able to do something like `any isJust (map ($> ()) [a, b, c])` but of course this runs into the same problem! What are my alternatives here? |
| 2025-02-28 08:31:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 08:31:47 +0100 | <[exa]> | kqr: putting a,b,c into the same list is gonna be an issue. if you just want simpler code, you could abuse the monads a bit |
| 2025-02-28 08:33:05 +0100 | <[exa]> | https://play.haskell.org/saved/atW1eEnR <- kqr does this work for you? |
| 2025-02-28 08:33:05 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 08:33:48 +0100 | <[exa]> | (you can also do like isJust (a>>b>>c) or so, to have it inline. But you can't really put the abc into a single container. |
| 2025-02-28 08:34:24 +0100 | <kqr> | Oh. Yeah, that definitely works. I just have to wrap my head around how the heck it works! |
| 2025-02-28 08:34:30 +0100 | <[exa]> | ah wayit actually |
| 2025-02-28 08:34:33 +0100 | <Leary> | :t let { x ~|~ y = void x <|> void y; infixr 2 ~|~ } in \a b c -> isJust $ a ~|~ b ~|~ c |
| 2025-02-28 08:34:33 +0100 | <[exa]> | you have "or" there |
| 2025-02-28 08:34:34 +0100 | <lambdabot> | Maybe a1 -> Maybe a2 -> Maybe a3 -> Bool |
| 2025-02-28 08:34:39 +0100 | <[exa]> | mine does "and" |
| 2025-02-28 08:34:49 +0100 | <kqr> | Oh, true. |
| 2025-02-28 08:34:58 +0100 | <kqr> | But <|> maybe? |
| 2025-02-28 08:34:59 +0100 | <[exa]> | for "or" you want to di as Keart says, with something like the < |
| 2025-02-28 08:35:04 +0100 | <[exa]> | yes. |
| 2025-02-28 08:35:49 +0100 | <[exa]> | On the very other side of the problem, you could do existential-style polymorphic lists to contain all possible justs in there. But don't if you don't have to. |
| 2025-02-28 08:36:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-28 08:36:57 +0100 | <kqr> | I'm just aiming for conciseness and readability here. The original code said isJust a || isJust b || isJust c but the expressions a, b, and c are in reality longer and made the logic of the whole line difficult to overview |
| 2025-02-28 08:37:22 +0100 | <kqr> | Well actually the original code had only the first two terms, and when I added the third it became more difficult to read |
| 2025-02-28 08:37:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 08:37:41 +0100 | <[exa]> | the <|> is probably good there, it's going to give you the first "valid" choice if you're after it |
| 2025-02-28 08:37:53 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-02-28 08:38:08 +0100 | <kqr> | The <|> is not good because |
| 2025-02-28 08:38:10 +0100 | <kqr> | :t (<|>) |
| 2025-02-28 08:38:12 +0100 | <lambdabot> | Alternative f => f a -> f a -> f a |
| 2025-02-28 08:38:12 +0100 | <[exa]> | ah wait no not really because the types again |
| 2025-02-28 08:38:15 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 08:38:16 +0100 | <kqr> | Yeah, I just realised |
| 2025-02-28 08:38:17 +0100 | <[exa]> | :( |
| 2025-02-28 08:38:34 +0100 | <kqr> | Ah what the heck, I'll just pop `isJust` in front of each element of the list. It is perfectly readable still. |
| 2025-02-28 08:40:14 +0100 | <Leary> | % :t \cases{ Nothing Nothing Nothing -> False; _ _ _ -> True } |
| 2025-02-28 08:40:14 +0100 | <yahb2> | \cases{ Nothing Nothing Nothing -> False; _ _ _ -> True } ; :: Maybe a1 -> Maybe a2 -> Maybe a3 -> Bool |
| 2025-02-28 08:40:47 +0100 | <kqr> | I guess what I'm after is some sort of Alternative f => f a -> f b -> f () which is what Leary suggested first. |
| 2025-02-28 08:41:55 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 08:43:18 +0100 | agumonke` | (~user@tri69-h04-89-85-120-232.dsl.sta.abo.bbox.fr) |
| 2025-02-28 08:45:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) CiaoSen |
| 2025-02-28 08:45:42 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 08:46:52 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-02-28 08:46:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 08:49:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 08:49:59 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 08:52:09 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-02-28 08:53:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-28 08:54:46 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 08:56:24 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 08:57:32 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-28 09:01:08 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-02-28 09:01:09 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-28 09:01:14 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-02-28 09:02:09 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:02:19 +0100 | chele | (~chele@user/chele) chele |
| 2025-02-28 09:03:10 +0100 | Googulator78 | (~Googulato@2a01-036d-0106-0c81-ad7c-ac56-196b-c9a2.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2025-02-28 09:03:10 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:04:39 +0100 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-02-28 09:05:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 09:06:09 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:07:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:08:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:09:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 09:09:30 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:11:24 +0100 | CryptLab | (~NSA@171.33.191.92) CommanderBond007 |
| 2025-02-28 09:11:36 +0100 | CryptLab | (~NSA@171.33.191.92) (Read error: Connection reset by peer) |
| 2025-02-28 09:12:23 +0100 | CryptLab | (NSA@gateway/vpn/protonvpn/commanderbond007) CommanderBond007 |
| 2025-02-28 09:13:08 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:14:25 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f90a88c11223635ddf2.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-28 09:14:56 +0100 | k0zy | (~user@user/k0zy) (Ping timeout: 252 seconds) |
| 2025-02-28 09:14:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 09:16:29 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:18:00 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-28 09:19:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-28 09:19:38 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:19:56 +0100 | vpan | (~vpan@212.117.1.172) |
| 2025-02-28 09:22:17 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:22:30 +0100 | bilegeek__ | (~bilegeek@2600:1008:b061:9e8:b6a7:1e21:b590:dc2) (Quit: Leaving) |
| 2025-02-28 09:23:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 09:27:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-28 09:30:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 09:30:27 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-28 09:32:30 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-02-28 09:35:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-28 09:35:07 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-28 09:35:15 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::46e1) (Ping timeout: 276 seconds) |
| 2025-02-28 09:35:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-28 09:40:26 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-02-28 09:44:05 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:45:39 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:48:09 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-28 09:49:24 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:50:08 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:51:19 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f90151e54128007b3e3.dip0.t-ipconnect.de) acidjnk |
| 2025-02-28 09:53:04 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2025-02-28 09:54:20 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 09:54:34 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 260 seconds) |
| 2025-02-28 09:56:23 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 09:56:58 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 09:59:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-28 09:59:28 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-28 10:01:13 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:01:54 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 244 seconds) |
| 2025-02-28 10:02:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:03:03 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 10:04:08 +0100 | mange | (~user@user/mange) mange |
| 2025-02-28 10:05:44 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:08:03 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-02-28 10:08:34 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-02-28 10:08:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 10:12:22 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:12:32 +0100 | AlexZenon | (~alzenon@178.34.162.44) (Ping timeout: 244 seconds) |
| 2025-02-28 10:13:10 +0100 | <cheater> | how can you have [isJust a, isJust b] if a and b are different types |
| 2025-02-28 10:13:15 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-28 10:13:18 +0100 | <cheater> | % :t isJust |
| 2025-02-28 10:13:18 +0100 | <yahb2> | <interactive>:1:1: error: [GHC-88464] ; Variable not in scope: isJust ; Suggested fix: ; Perhaps use data constructor ‘Just’ (imported from Prelude) |
| 2025-02-28 10:13:28 +0100 | <cheater> | ah right |
| 2025-02-28 10:13:34 +0100 | <cheater> | it gets rid of the type |
| 2025-02-28 10:15:35 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:17:20 +0100 | AlexZenon | (~alzenon@178.34.162.44) |
| 2025-02-28 10:18:49 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-28 10:20:10 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:21:00 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-02-28 10:23:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:25:11 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:28:16 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:29:03 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:32:43 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:32:45 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:36:31 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 244 seconds) |
| 2025-02-28 10:36:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 10:37:36 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 10:39:04 +0100 | sarna | (~sarna@d224-52.icpnet.pl) (Ping timeout: 260 seconds) |
| 2025-02-28 10:43:17 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-02-28 10:44:27 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 268 seconds) |
| 2025-02-28 10:48:15 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-02-28 10:49:49 +0100 | rvalue- | rvalue |
| 2025-02-28 10:53:42 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2025-02-28 10:54:40 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 10:58:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-28 11:01:45 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:01:47 +0100 | mange | (~user@user/mange) (Read error: Connection reset by peer) |
| 2025-02-28 11:02:14 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2025-02-28 11:05:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:08:14 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-28 11:08:55 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:09:53 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:15:45 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:20:21 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:24:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:26:12 +0100 | Googulator | (~Googulato@81.183.235.203) |
| 2025-02-28 11:27:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:31:15 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:34:24 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:34:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-02-28 11:34:57 +0100 | agumonke` | (~user@tri69-h04-89-85-120-232.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2025-02-28 11:38:03 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2025-02-28 11:38:58 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:40:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 11:42:36 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2025-02-28 11:44:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 11:45:30 +0100 | mange | (~user@user/mange) mange |
| 2025-02-28 11:48:47 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:54:51 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 11:55:21 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 11:59:39 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:00:19 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:01:17 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:cd99:ecc5:f78b:848b) ubert |
| 2025-02-28 12:01:26 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-02-28 12:04:37 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:04:56 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 272 seconds) |
| 2025-02-28 12:06:13 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:07:58 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-28 12:09:26 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:09:39 +0100 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-02-28 12:10:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:13:27 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 12:15:24 +0100 | ski | . o O ( `isJust :: (exists a. Maybe a) -> Bool' ) |
| 2025-02-28 12:16:32 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:18:09 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:19:24 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-02-28 12:21:51 +0100 | <ncf> | isJust :: (forall a. a -> Maybe a) -> Bool |
| 2025-02-28 12:21:55 +0100 | <ncf> | isJust Just = True |
| 2025-02-28 12:21:59 +0100 | <ncf> | (joking) |
| 2025-02-28 12:22:08 +0100 | jespada | (~jespada@2800:a4:2319:bf00:2482:f961:7f45:5c3d) jespada |
| 2025-02-28 12:22:18 +0100 | jespada | (~jespada@2800:a4:2319:bf00:2482:f961:7f45:5c3d) (Client Quit) |
| 2025-02-28 12:25:01 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 244 seconds) |
| 2025-02-28 12:29:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 12:33:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-28 12:34:21 +0100 | drlong67 | (~david@user/drlong67) drlong67 |
| 2025-02-28 12:36:21 +0100 | hackshell | (~hackshell@2001-14ba-466-5800-35e5-5c75-8df8-d2c8.rev.dnainternet.fi) |
| 2025-02-28 12:36:48 +0100 | drlong67 | (~david@user/drlong67) (Client Quit) |
| 2025-02-28 12:39:28 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:40:20 +0100 | hackshell | (~hackshell@2001-14ba-466-5800-35e5-5c75-8df8-d2c8.rev.dnainternet.fi) (Client Quit) |
| 2025-02-28 12:40:23 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:43:19 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-02-28 12:43:22 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:45:55 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:48:01 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:7180:4e50:ddff:fe9b:8922) (Ping timeout: 248 seconds) |
| 2025-02-28 12:48:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:50:32 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 252 seconds) |
| 2025-02-28 12:50:47 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:52:45 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-02-28 12:53:31 +0100 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2025-02-28 12:53:54 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 12:54:59 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 12:59:33 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:00:48 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-02-28 13:02:00 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 13:05:14 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:09:25 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 13:13:03 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:15:28 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-28 13:15:52 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:16:29 +0100 | manwithluck | (~manwithlu@2a09:bac5:5085:2387::38a:37) manwithluck |
| 2025-02-28 13:16:46 +0100 | manwithluck` | (~manwithlu@2a09:bac1:5ba0:20::49:b4) (Ping timeout: 268 seconds) |
| 2025-02-28 13:16:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 13:17:05 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-28 13:21:09 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-28 13:21:33 +0100 | Digit | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2025-02-28 13:21:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-28 13:24:17 +0100 | xff0x | (~xff0x@2405:6580:b080:900:decf:3f06:84d:1232) |
| 2025-02-28 13:25:54 +0100 | manwithluck | (~manwithlu@2a09:bac5:5085:2387::38a:37) (Ping timeout: 248 seconds) |
| 2025-02-28 13:26:52 +0100 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::38a:33) manwithluck |
| 2025-02-28 13:29:48 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 272 seconds) |
| 2025-02-28 13:32:18 +0100 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::38a:33) (Remote host closed the connection) |
| 2025-02-28 13:34:54 +0100 | puke | (~puke@user/puke) (Ping timeout: 252 seconds) |
| 2025-02-28 13:35:04 +0100 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 13:35:11 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) manwithluck |
| 2025-02-28 13:35:38 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-02-28 13:38:50 +0100 | agumonke` | (~user@val59-h07-89-85-120-232.dsl.sta.abo.bbox.fr) |
| 2025-02-28 13:39:11 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-28 13:45:54 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 2025-02-28 13:56:02 +0100 | Googulator | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-02-28 13:56:17 +0100 | Googulator | (~Googulato@81.183.235.203) |
| 2025-02-28 13:57:27 +0100 | <mauke> | isJust :: a -> a -- that's just how it is |
| 2025-02-28 14:02:52 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 14:07:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 14:07:56 +0100 | Googulator78 | (~Googulato@81.183.235.203) |
| 2025-02-28 14:11:40 +0100 | Googulator | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-02-28 14:17:49 +0100 | yegorc | (~yegorc@user/yegorc) (Ping timeout: 268 seconds) |
| 2025-02-28 14:37:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-02-28 14:42:44 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-02-28 14:43:17 +0100 | euleritian | (~euleritia@dynamic-176-006-140-035.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2025-02-28 14:44:36 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-28 14:45:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-28 14:48:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 14:49:23 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-02-28 14:53:05 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 14:55:31 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 15:00:42 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) (Read error: Connection reset by peer) |
| 2025-02-28 15:01:59 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) synchromesh |
| 2025-02-28 15:03:19 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-02-28 15:05:47 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-02-28 15:15:38 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-02-28 15:16:05 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 15:23:24 +0100 | ft | (~ft@p3e9bc68d.dip0.t-ipconnect.de) ft |
| 2025-02-28 15:34:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 15:36:11 +0100 | sarna | (~sarna@d168-237.icpnet.pl) sarna |
| 2025-02-28 15:38:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 15:39:32 +0100 | k_hachig_ | (~k_hachig@70.29.50.103) k_hachig |
| 2025-02-28 15:39:42 +0100 | <tomsmeding> | can I convince ghci to drop the reference to something that I saved in a variable before? |
| 2025-02-28 15:40:33 +0100 | <tomsmeding> | that is to say, after I wrote "a = 42", can I get ghci to give me a "Variable not in scope" error when trying to use "a", without restarting ghci or resetting the heap? |
| 2025-02-28 15:40:47 +0100 | <tomsmeding> | (I want to test some finalizers) |
| 2025-02-28 15:41:46 +0100 | <int-e> | Can you shadow the binding instead, maybe? Not sure how much hope I have of that working... |
| 2025-02-28 15:42:54 +0100 | <int-e> | What should definitely work though is to put your value into an IORef and then change that. |
| 2025-02-28 15:45:00 +0100 | <cheater> | i don't think ghci has a "delet", and i'm sure people can remember me mentioning that term in the past |
| 2025-02-28 15:46:09 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-02-28 15:46:55 +0100 | <cheater> | of course, chris had to spoil the fun and call it "unlet", but that's just him https://gist.github.com/chrisdone/74180331c64e8cff47e447cb15087ad0 |
| 2025-02-28 15:47:46 +0100 | <tomsmeding> | "delet" is a much better name |
| 2025-02-28 15:48:30 +0100 | <cheater> | of course it is |
| 2025-02-28 15:49:31 +0100 | <cheater> | i can't imagine it being very difficult to implement in ghc |
| 2025-02-28 15:50:09 +0100 | <tomsmeding> | int-e: shadowing doesn't seem to work (it would've been too good to be true), but the IORef trick does! And my finalizer works! :) |
| 2025-02-28 15:50:20 +0100 | <tomsmeding> | (or rather: it runs) |
| 2025-02-28 15:50:32 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-28 15:50:41 +0100 | <tomsmeding> | (which, when it comes to stuff like finalizers, is an achievement on its own) |
| 2025-02-28 15:55:08 +0100 | jathan | (~jathan@69.61.93.38) jathan |
| 2025-02-28 15:58:48 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-28 16:10:03 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Ping timeout: 268 seconds) |
| 2025-02-28 16:10:11 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) jespada |
| 2025-02-28 16:13:33 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) manwithluck |
| 2025-02-28 16:20:04 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-28 16:20:22 +0100 | agumonke` | (~user@val59-h07-89-85-120-232.dsl.sta.abo.bbox.fr) (Read error: Connection reset by peer) |
| 2025-02-28 16:20:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 16:20:50 +0100 | agumonke` | (~user@2a04:cec0:1900:908b:c7a:f6ae:8f:6b06) |
| 2025-02-28 16:20:57 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) (Read error: Connection reset by peer) |
| 2025-02-28 16:21:19 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) jespada |
| 2025-02-28 16:22:19 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) (Read error: Connection reset by peer) |
| 2025-02-28 16:23:41 +0100 | manwithluck | (~manwithlu@185-183-33-218.hosted-by-worldstream.net) manwithluck |
| 2025-02-28 16:25:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 16:26:07 +0100 | jespada | (~jespada@2800:a4:2319:bf00:b8ce:b197:cf38:dadc) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-02-28 16:29:32 +0100 | notdabs | (~Owner@2600:6c40:4300:950:cc75:6335:c59d:cd1) |
| 2025-02-28 16:43:05 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2025-02-28 16:45:43 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-28 16:53:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-02-28 16:55:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1) |
| 2025-02-28 16:57:36 +0100 | <cheater> | finally! |
| 2025-02-28 16:58:58 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-28 17:02:22 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-02-28 17:02:33 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Read error: Connection reset by peer) |
| 2025-02-28 17:03:48 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-02-28 17:04:29 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-28 17:04:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 2025-02-28 17:06:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 17:10:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 17:11:19 +0100 | Googulator78 | (~Googulato@81.183.235.203) (Quit: Client closed) |
| 2025-02-28 17:11:54 +0100 | Googulator78 | (~Googulato@81.183.235.203) |
| 2025-02-28 17:12:36 +0100 | sprotte24 | (~sprotte24@p200300d16f44db00e82c8bd776d1241a.dip0.t-ipconnect.de) |
| 2025-02-28 17:16:56 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-02-28 17:19:20 +0100 | s3 | (~s3@user/bn) bn |
| 2025-02-28 17:19:42 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-02-28 17:25:13 +0100 | Digit | (~user@user/digit) Digit |
| 2025-02-28 17:27:56 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 272 seconds) |
| 2025-02-28 17:28:29 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-02-28 17:39:58 +0100 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:cd99:ecc5:f78b:848b) (Quit: ubert) |
| 2025-02-28 17:48:39 +0100 | ash3en1 | (~Thunderbi@146.70.124.222) ash3en |
| 2025-02-28 17:49:59 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds) |
| 2025-02-28 17:50:15 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-02-28 17:50:17 +0100 | jmcantrell | Guest4825 |
| 2025-02-28 17:50:17 +0100 | Guest4825 | (644f1bed9a@user/jmcantrell) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2025-02-28 17:50:17 +0100 | __jmcantrell__ | jmcantrell |
| 2025-02-28 17:50:26 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-02-28 17:50:34 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 2025-02-28 17:50:34 +0100 | ash3en1 | ash3en |
| 2025-02-28 17:50:58 +0100 | yu | (~yu@dmc516.resnet.ust.hk) |
| 2025-02-28 17:56:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 17:56:21 +0100 | Digit | (~user@user/digit) (Quit: ERC 5.6.1-git (IRC client for GNU Emacs 31.0.50)) |
| 2025-02-28 17:56:41 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f90151e54128007b3e3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-28 17:57:34 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-02-28 17:58:02 +0100 | zungi_ | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 17:58:05 +0100 | zungi | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-02-28 18:00:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-28 18:00:34 +0100 | Digitteknohippie | Digit |
| 2025-02-28 18:04:13 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f90d472fd3bae079d4a.dip0.t-ipconnect.de) acidjnk |
| 2025-02-28 18:10:18 +0100 | yu | (~yu@dmc516.resnet.ust.hk) (Quit: Client closed) |
| 2025-02-28 18:10:37 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-28 18:11:07 +0100 | Googulator79 | (~Googulato@81.183.235.203) |
| 2025-02-28 18:14:40 +0100 | Googulator78 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-02-28 18:15:28 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-28 18:18:49 +0100 | ash3en | (~Thunderbi@146.70.124.222) (Quit: ash3en) |
| 2025-02-28 18:21:53 +0100 | agumonke` | (~user@2a04:cec0:1900:908b:c7a:f6ae:8f:6b06) (Remote host closed the connection) |
| 2025-02-28 18:23:05 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2025-02-28 18:25:15 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-28 18:28:53 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-02-28 18:32:01 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-02-28 18:32:34 +0100 | dolio | (~dolio@130.44.140.168) (Ping timeout: 260 seconds) |
| 2025-02-28 18:35:30 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-02-28 18:36:31 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-28 18:42:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 18:46:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-28 18:47:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-28 18:48:56 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2025-02-28 18:48:56 +0100 | jmcantrell_ | jmcantrell |
| 2025-02-28 18:51:59 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-02-28 18:59:00 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-28 18:59:12 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 19:02:39 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-28 19:08:38 +0100 | k_hachig_ | (~k_hachig@70.29.50.103) (Ping timeout: 272 seconds) |
| 2025-02-28 19:10:33 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) (Read error: Connection reset by peer) |
| 2025-02-28 19:10:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-28 19:11:35 +0100 | synchromesh | (~john@2406:5a00:24cf:bb00:2c32:43e6:1cbf:396a) synchromesh |
| 2025-02-28 19:12:39 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) k_hachig |
| 2025-02-28 19:14:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2025-02-28 19:20:01 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-02-28 19:24:40 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-02-28 19:26:48 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-28 19:29:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 19:31:46 +0100 | Square | (~Square@user/square) Square |
| 2025-02-28 19:33:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-28 19:34:14 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-02-28 19:37:02 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 19:37:10 +0100 | Googulator79 | (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 2025-02-28 19:44:51 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-02-28 19:45:00 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-02-28 19:45:57 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2025-02-28 19:51:00 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-02-28 19:54:24 +0100 | remexre | (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 2025-02-28 19:55:44 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 19:58:48 +0100 | k_hachig_ | (~k_hachig@bras-base-toroon0247w-grc-123-70-29-50-103.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2025-02-28 19:59:01 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 265 seconds) |
| 2025-02-28 20:02:37 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-02-28 20:02:37 +0100 | jmcantrell | Guest3095 |
| 2025-02-28 20:02:37 +0100 | Guest3095 | (644f1bed9a@user/jmcantrell) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2025-02-28 20:02:37 +0100 | __jmcantrell__ | jmcantrell |
| 2025-02-28 20:02:46 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-02-28 20:15:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 20:18:46 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-28 20:19:00 +0100 | misterfish | (~misterfis@84.53.85.146) misterfish |
| 2025-02-28 20:19:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-28 20:20:42 +0100 | zungi_ | (~tory@user/andrewchawk) (Remote host closed the connection) |
| 2025-02-28 20:22:21 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 20:23:02 +0100 | k_hachig_ | (~k_hachig@138-51-68-231-lsn-2.nat.utoronto.ca) k_hachig |
| 2025-02-28 20:28:01 +0100 | k_hachig_ | (~k_hachig@138-51-68-231-lsn-2.nat.utoronto.ca) (Ping timeout: 265 seconds) |
| 2025-02-28 20:33:46 +0100 | Googulator79 | (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) |
| 2025-02-28 20:42:59 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-28 20:45:17 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-02-28 20:46:27 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-28 20:47:29 +0100 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-02-28 20:48:25 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-02-28 20:49:07 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-28 20:50:05 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-28 20:54:19 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-28 21:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-28 21:00:55 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) julie_pilgrim |
| 2025-02-28 21:01:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-28 21:03:10 +0100 | killy | (~killy@terminal-3-187.retsat1.com.pl) |
| 2025-02-28 21:03:12 +0100 | zungi | (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 2025-02-28 21:05:31 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-28 21:10:26 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2025-02-28 21:12:29 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 265 seconds) |
| 2025-02-28 21:13:13 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-28 21:15:37 +0100 | halloy-user | (~halloy-us@76.78.190.80) |
| 2025-02-28 21:15:51 +0100 | halloy-user | (~halloy-us@76.78.190.80) (Client Quit) |
| 2025-02-28 21:16:24 +0100 | zenna | (~zenna@76.78.190.80) |
| 2025-02-28 21:17:03 +0100 | zenna | (~zenna@76.78.190.80) (Client Quit) |
| 2025-02-28 21:17:17 +0100 | azenna | (~azenna@76.78.190.80) |
| 2025-02-28 21:19:14 +0100 | azenna | (~azenna@76.78.190.80) (Changing host) |
| 2025-02-28 21:19:14 +0100 | azenna | (~azenna@user/azenna) azenna |
| 2025-02-28 21:20:06 +0100 | k_hachig_ | (~k_hachig@138-51-74-124-lsn-2.nat.utoronto.ca) k_hachig |
| 2025-02-28 21:20:11 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
| 2025-02-28 21:32:24 +0100 | k_hachig_ | (~k_hachig@138-51-74-124-lsn-2.nat.utoronto.ca) (Ping timeout: 260 seconds) |
| 2025-02-28 21:33:34 +0100 | azenna | (~azenna@user/azenna) (Ping timeout: 260 seconds) |
| 2025-02-28 21:36:06 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2025-02-28 21:37:05 +0100 | <danso> | is there a name for monoids which choose "something" over nothing, with kind *? |
| 2025-02-28 21:37:13 +0100 | <danso> | as in the function `choose_str str1 str2 = if null str1 then str2 else str1` |
| 2025-02-28 21:39:31 +0100 | <ncf> | huh? |
| 2025-02-28 21:39:55 +0100 | <danso> | or `and b1 b2 = if b1 then True else b2` |