Newest at the top
| 2025-11-06 23:30:05 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 23:29:52 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 23:28:45 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-06 23:28:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:23:50 +0100 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) ubert |
| 2025-11-06 23:23:32 +0100 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-11-06 23:18:56 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-06 23:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 23:12:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:12:40 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-06 23:11:35 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 23:11:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2025-11-06 23:08:44 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) |
| 2025-11-06 23:08:11 +0100 | <dolio> | Just r <- something, foo <- ... r ... = ... |
| 2025-11-06 23:07:53 +0100 | <dolio> | monochrom: You don't need let. You just need more pattern guards. |
| 2025-11-06 23:03:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 23:01:05 +0100 | <monochrom> | I tried. It's not meant to be! |
| 2025-11-06 22:58:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:58:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-06 22:47:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 22:42:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:39:08 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-06 22:36:01 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-06 22:32:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 22:27:58 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 22:27:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:26:46 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-06 22:22:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 22:21:52 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 22:21:44 +0100 | <jackdk> | monochrom: I don't suppose you've tried indenting the `where` further so it's within the alternative? |
| 2025-11-06 22:21:38 +0100 | deployonfriday | (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) (Ping timeout: 265 seconds) |
| 2025-11-06 22:19:45 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2025-11-06 22:16:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 22:15:50 +0100 | <EvanR> | catchy |
| 2025-11-06 22:15:40 +0100 | <__monty__> | The report calls it `gdrhs`. |
| 2025-11-06 22:15:24 +0100 | <EvanR> | one defining equation |
| 2025-11-06 22:15:19 +0100 | <__monty__> | Wait, no, that's what I meant. I shouldn't've said definitions. |
| 2025-11-06 22:14:25 +0100 | <geekosaur> | iirc |
| 2025-11-06 22:14:22 +0100 | <geekosaur> | where scopes over guards, but not independent equations |
| 2025-11-06 22:13:37 +0100 | <__monty__> | Oh, you're right. It's always closer to let than I would like. I suppose it's like an outer let? |
| 2025-11-06 22:11:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:09:54 +0100 | <EvanR> | where is attached to only 1 definition |
| 2025-11-06 22:08:38 +0100 | <__monty__> | Where ranges over all the definitions, no? So in general you can't assume an `r` would be in scope in the where. |
| 2025-11-06 22:07:48 +0100 | bggd | (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) (Ping timeout: 260 seconds) |
| 2025-11-06 22:05:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 22:00:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:53:25 +0100 | myme | (~myme@2a01:799:d5e:5f00:1a24:4c46:2ec0:9128) myme |
| 2025-11-06 21:52:18 +0100 | myme | (~myme@2a01:799:d5e:5f00:ffab:db87:b0e2:97dd) (Ping timeout: 256 seconds) |
| 2025-11-06 21:48:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 21:45:42 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |