Newest at the top
| 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 |
| 2025-11-06 21:44:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:41:34 +0100 | <monochrom> | yeah :) |
| 2025-11-06 21:41:24 +0100 | <monochrom> | And it's assymetric too. Those uni-directional films you can paste on your window :) |
| 2025-11-06 21:41:11 +0100 | <EvanR> | or one way mirror |
| 2025-11-06 21:40:41 +0100 | <EvanR> | so there's a sort of event horizon |
| 2025-11-06 21:38:43 +0100 | <monochrom> | The converse though is wider. A guard (pattern or boolean) can see everything defined under where. |
| 2025-11-06 21:38:12 +0100 | <monochrom> | In my example, where is supposed to see x and f only. |
| 2025-11-06 21:37:21 +0100 | <monochrom> | I can do that. It's OK. :) |
| 2025-11-06 21:36:29 +0100 | trickard_ | trickard |
| 2025-11-06 21:36:28 +0100 | <monochrom> | I suppose the sanctioned way is: Just r <- something, let foo = ... r ... |
| 2025-11-06 21:35:40 +0100 | <EvanR> | seems like a bug... what is where officially supposed to be able to see |
| 2025-11-06 21:34:48 +0100 | <monochrom> | I wanted to have: f x | Just r <- something = ... where foo = ... r ... |
| 2025-11-06 21:34:06 +0100 | <monochrom> | :( pattern guard doesn't introduce variables into a scope I would like. |
| 2025-11-06 21:33:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 21:32:04 +0100 | Square2 | (~Square4@user/square) Square |