Newest at the top
| 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:13:28 +0100 | <monochrom> | More fairly, on the scale of safety, static error message > runtime error message > no error message |
| 2025-02-09 00:12:38 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-02-09 00:12:17 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 248 seconds) |
| 2025-02-09 00:11:27 +0100 | <lambdabot> | Expected type: a -> a |
| 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> | error: |
| 2025-02-09 00:11:26 +0100 | <monochrom> | @type fix fix |
| 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:09:37 +0100 | <peutri> | and I'm voluntarily signing up for it |
| 2025-02-09 00:09:35 +0100 | <monochrom> | May I be facetious and say "totalitarian" >:) |
| 2025-02-09 00:09:23 +0100 | <peutri> | ikr |
| 2025-02-09 00:09:15 +0100 | <monochrom> | God, totality police. |
| 2025-02-09 00:08:57 +0100 | <peutri> | yes (because Relude) |
| 2025-02-09 00:08:44 +0100 | <peutri> | but is by far the minimal project disruption I found |
| 2025-02-09 00:08:38 +0100 | <monochrom> | Interesting. Did "undefined :: a" cause a warning? |
| 2025-02-09 00:08:06 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 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-08 23:46:54 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Ping timeout: 246 seconds) |
| 2025-02-08 23:33:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-08 23:29:39 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-08 23:25:04 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-02-08 23:11:39 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 260 seconds) |
| 2025-02-08 23:06:29 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-02-08 23:05:12 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-08 23:03:06 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2025-02-08 23:02:13 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-02-08 22:48:14 +0100 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-02-08 22:46:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-08 22:45:13 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-02-08 22:41:55 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-08 22:40:01 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-02-08 22:25:29 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-02-08 22:24:29 +0100 | sixfourtwelve | (~ethanmorg@82.18.82.103) () |
| 2025-02-08 22:21:58 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2025-02-08 22:05:50 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-08 21:57:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-02-08 21:54:21 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-08 21:53:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-08 21:29:51 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-08 21:18:49 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2025-02-08 21:16:48 +0100 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Quit: WeeChat 4.5.1) |
| 2025-02-08 21:13:01 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-08 21:09:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-08 21:07:48 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2025-02-08 21:07:30 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 272 seconds) |
| 2025-02-08 21:04:45 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-08 21:00:47 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-02-08 21:00:02 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-02-08 20:57:23 +0100 | weary-traveler | (~user@user/user363627) user363627 |