Newest at the top
| 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 |
| 2025-11-06 21:28:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-06 21:28:54 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 21:26:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:21:30 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-06 21:18:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 21:15:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 21:10:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 21:05:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-06 21:04:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:02:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-11-06 21:01:57 +0100 | dhil | (~dhil@5.151.29.141) (Quit: Leaving) |
| 2025-11-06 21:01:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 21:01:24 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 21:00:36 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 2025-11-06 20:59:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-11-06 20:59:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-06 20:57:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 20:57:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-11-06 20:56:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:56:22 +0100 | mcwitt | (~user@192-184-174-112.fiber.dynamic.sonic.net) (Quit: k) |