| 2025-02-09 00:07:56 +0100 | <peutri> | tomsmeding: (followup) currently going with sizeOf (fix id :: a), which is somehow worse-than-partial yet doesn't warn |
| 2025-02-09 00:08:06 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-02-09 00:08:38 +0100 | <monochrom> | Interesting. Did "undefined :: a" cause a warning? |
| 2025-02-09 00:08:44 +0100 | <peutri> | but is by far the minimal project disruption I found |
| 2025-02-09 00:08:57 +0100 | <peutri> | yes (because Relude) |
| 2025-02-09 00:09:15 +0100 | <monochrom> | God, totality police. |
| 2025-02-09 00:09:23 +0100 | <peutri> | ikr |
| 2025-02-09 00:09:35 +0100 | <monochrom> | May I be facetious and say "totalitarian" >:) |
| 2025-02-09 00:09:37 +0100 | <peutri> | and I'm voluntarily signing up for it |
| 2025-02-09 00:11:08 +0100 | <peutri> | I'm also noticing now `fix id` is shorter than `undefined`, and considering… mmmm… no, better forget that |
| 2025-02-09 00:11:26 +0100 | <monochrom> | @type fix fix |
| 2025-02-09 00:11:27 +0100 | <lambdabot> | error: |
| 2025-02-09 00:11:27 +0100 | <lambdabot> | • Occurs check: cannot construct the infinite type: a ~ a -> a |
| 2025-02-09 00:11:27 +0100 | <lambdabot> | Expected type: a -> a |
| 2025-02-09 00:12:17 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 248 seconds) |
| 2025-02-09 00:12:38 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-09 00:13:28 +0100 | <monochrom> | More fairly, on the scale of safety, static error message > runtime error message > no error message |
| 2025-02-09 00:14:14 +0100 | <monochrom> | So a warning system that simply pushes users away from runtime error (undefined) to no error (fix id) is... You know, the road to hell is paved with well intentions. |
| 2025-02-09 00:17:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 00:22:35 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-09 00:28:24 +0100 | benjamin | (~benjamin@2a03:4b80:a720:6e10:2961:287b:51c1:b384) |
| 2025-02-09 00:29:12 +0100 | Catty | kitties |
| 2025-02-09 00:29:40 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-02-09 00:30:58 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-02-09 00:31:34 +0100 | benjamin | (~benjamin@2a03:4b80:a720:6e10:2961:287b:51c1:b384) (Client Quit) |
| 2025-02-09 00:31:53 +0100 | benjamin | (~benjamin@2a03:4b80:a720:6e10:2961:287b:51c1:b384) |
| 2025-02-09 00:31:58 +0100 | benjamin | (~benjamin@2a03:4b80:a720:6e10:2961:287b:51c1:b384) (Remote host closed the connection) |
| 2025-02-09 00:33:58 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 252 seconds) |
| 2025-02-09 00:38:33 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-02-09 00:39:22 +0100 | <Leary> | If you don't care to heed a warning, you're supposed to ignore or disable it---it is just a /warning/, after all, not an error. Let's not blame x-partial for /wacky dodging/. |
| 2025-02-09 00:42:20 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-02-09 00:43:19 +0100 | <monochrom> | That would be a much better stance than mine, if not for the same totalitarian police also instituting "no warning by the time you commit" or even -Wall -Werror. |
| 2025-02-09 00:44:08 +0100 | <monochrom> | So it just means I should be complaining about the policing system rather than the warning system. |
| 2025-02-09 00:50:05 +0100 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 265 seconds) |
| 2025-02-09 00:51:34 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-02-09 00:51:55 +0100 | philopsos | (~caecilius@user/philopsos) philopsos |
| 2025-02-09 00:56:45 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 276 seconds) |
| 2025-02-09 00:57:15 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-02-09 00:59:58 +0100 | <Leary> | Right. I actually understand if people with too much code to review want strict CI to make their life easier, but it should diff with a checked-in record of known/accepted warnings for flexibility. |
| 2025-02-09 01:06:02 +0100 | mesaoptimizer0 | (~mesaoptim@user/PapuaHardyNet) (Ping timeout: 265 seconds) |
| 2025-02-09 01:06:02 +0100 | jathan | (~jathan@69.61.93.38) (Ping timeout: 265 seconds) |
| 2025-02-09 01:06:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 01:10:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-09 01:13:34 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds) |
| 2025-02-09 01:16:53 +0100 | TMA | (tma@twin.jikos.cz) (Ping timeout: 248 seconds) |
| 2025-02-09 01:17:38 +0100 | mulk | (~mulk@pd95141d7.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-02-09 01:18:05 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-02-09 01:18:07 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 265 seconds) |
| 2025-02-09 01:19:49 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-02-09 01:20:09 +0100 | mulk | (~mulk@pd95141d7.dip0.t-ipconnect.de) mulk |
| 2025-02-09 01:20:15 +0100 | otbergsten | (~otbergste@user/otbergsten) () |
| 2025-02-09 01:20:20 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-02-09 01:20:33 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2025-02-09 01:21:15 +0100 | jathan | (~jathan@2607:1a00:0:19::2:1dc) jathan |
| 2025-02-09 01:25:14 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-02-09 01:36:05 +0100 | zero | zwro |
| 2025-02-09 01:37:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-02-09 01:40:00 +0100 | alx741 | (~alx741@186.33.188.229) |
| 2025-02-09 01:43:56 +0100 | yegorc | (~yegorc@user/yegorc) yegorc |
| 2025-02-09 01:44:24 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-02-09 01:44:32 +0100 | Square2 | (~Square@user/square) Square |
| 2025-02-09 01:44:34 +0100 | Square3 | (~Square@user/square) Square |
| 2025-02-09 01:47:00 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 2025-02-09 01:47:24 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-09 01:47:53 +0100 | sprotte24 | (~sprotte24@p200300d16f1e3a00501959556750eb7a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-09 01:49:58 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-09 01:50:19 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-02-09 01:50:19 +0100 | ljdarj1 | ljdarj |
| 2025-02-09 01:54:53 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 01:57:47 +0100 | migas97787 | (~migas@static.140.65.63.178.clients.your-server.de) migas |
| 2025-02-09 01:59:15 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) |
| 2025-02-09 01:59:16 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Client Quit) |
| 2025-02-09 01:59:24 +0100 | migas9778 | (~migas@static.140.65.63.178.clients.your-server.de) (Read error: Connection reset by peer) |
| 2025-02-09 01:59:24 +0100 | migas97787 | migas9778 |
| 2025-02-09 01:59:33 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) |
| 2025-02-09 01:59:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-02-09 02:05:05 +0100 | alx741 | (~alx741@186.33.188.229) (Quit: alx741) |
| 2025-02-09 02:21:31 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2025-02-09 02:21:40 +0100 | Guest46 | (~Guest46@149.40.58.147) |
| 2025-02-09 02:25:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-09 02:25:18 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f0584678bbe6a824f58.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-02-09 02:31:17 +0100 | Guest46 | (~Guest46@149.40.58.147) (Quit: Client closed) |
| 2025-02-09 02:35:28 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-02-09 02:36:15 +0100 | califax | (~califax@user/califx) califx |
| 2025-02-09 02:43:37 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 02:43:59 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-09 02:48:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-09 03:14:18 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 252 seconds) |
| 2025-02-09 03:18:59 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.43) Jeanne-Kamikaze |
| 2025-02-09 03:23:35 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-02-09 03:28:07 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-09 03:29:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-09 03:32:00 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-02-09 03:32:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 03:32:10 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-02-09 03:36:50 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-02-09 03:53:33 +0100 | tavare | (~tavare@150.129.88.189) |
| 2025-02-09 03:53:33 +0100 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-02-09 03:53:33 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-09 04:05:04 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-02-09 04:05:35 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-02-09 04:20:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 04:23:03 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@79.127.217.43) (Quit: Leaving) |
| 2025-02-09 04:24:36 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-09 04:47:14 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-09 04:59:25 +0100 | jle` | (~jle`@2603:8001:3b02:84d4:6618:6c83:b259:edfc) (Ping timeout: 252 seconds) |
| 2025-02-09 05:02:18 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-09 05:03:48 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-09 05:04:31 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2025-02-09 05:08:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-09 05:08:50 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-09 05:13:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-09 05:17:57 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |