| 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) |