Logs: liberachat/#haskell
| 2025-11-06 18:16:28 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-11-06 18:21:10 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 18:21:23 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 18:24:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 18:26:54 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-06 18:29:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 18:31:25 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2025-11-06 18:32:13 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-11-06 18:35:49 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-06 18:36:56 | → | pr1sm joins (~pr1sm@24.91.163.31) |
| 2025-11-06 18:40:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 18:43:26 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-11-06 18:43:27 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-06 18:44:03 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 2025-11-06 18:44:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 18:48:23 | × | Square3 quits (~Square@user/square) (Remote host closed the connection) |
| 2025-11-06 18:54:13 | → | Square2 joins (~Square@user/square) |
| 2025-11-06 18:56:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 19:00:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 19:02:12 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 19:02:35 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 19:06:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-06 19:09:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 19:14:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 19:17:10 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-06 19:21:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 19:24:25 | × | trickard_ quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 19:24:39 | → | trickard_ joins (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 19:25:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 19:29:24 | → | matt` joins (~user@192-184-174-112.fiber.dynamic.sonic.net) |
| 2025-11-06 19:30:10 | → | haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 19:30:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 19:36:30 | → | deployonfriday joins (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) |
| 2025-11-06 19:36:35 | × | opencircuit quits (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-11-06 19:36:44 | → | opencircuit joins (~quassel@user/opencircuit) |
| 2025-11-06 19:40:30 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-06 19:41:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 19:43:50 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-06 19:45:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 19:47:06 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-06 19:47:28 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 2025-11-06 19:51:49 | × | pr1sm quits (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 19:53:26 | matt` | is now known as mcwitt |
| 2025-11-06 19:56:22 | × | mcwitt quits (~user@192-184-174-112.fiber.dynamic.sonic.net) (Quit: k) |
| 2025-11-06 19:56:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 19:57:32 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-11-06 19:57:48 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 19:59:22 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-11-06 19:59:37 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 2025-11-06 20:00:36 | × | synchromesh quits (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 2025-11-06 20:01:24 | → | synchromesh joins (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) |
| 2025-11-06 20:01:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 20:01:57 | × | dhil quits (~dhil@5.151.29.141) (Quit: Leaving) |
| 2025-11-06 20:02:26 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-11-06 20:04:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 20:05:30 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-11-06 20:09:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 20:10:48 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 20:15:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 20:18:02 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-11-06 20:21:30 | × | Square2 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-06 20:26:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 20:28:54 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-06 20:28:59 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-06 20:32:04 | → | Square2 joins (~Square4@user/square) |
| 2025-11-06 20:33:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 20:34:06 | <monochrom> | :( pattern guard doesn't introduce variables into a scope I would like. |
| 2025-11-06 20:34:48 | <monochrom> | I wanted to have: f x | Just r <- something = ... where foo = ... r ... |
| 2025-11-06 20:35:40 | <EvanR> | seems like a bug... what is where officially supposed to be able to see |
| 2025-11-06 20:36:28 | <monochrom> | I suppose the sanctioned way is: Just r <- something, let foo = ... r ... |
| 2025-11-06 20:36:29 | trickard_ | is now known as trickard |
| 2025-11-06 20:37:21 | <monochrom> | I can do that. It's OK. :) |
| 2025-11-06 20:38:12 | <monochrom> | In my example, where is supposed to see x and f only. |
| 2025-11-06 20:38:43 | <monochrom> | The converse though is wider. A guard (pattern or boolean) can see everything defined under where. |
| 2025-11-06 20:40:41 | <EvanR> | so there's a sort of event horizon |
| 2025-11-06 20:41:11 | <EvanR> | or one way mirror |
| 2025-11-06 20:41:24 | <monochrom> | And it's assymetric too. Those uni-directional films you can paste on your window :) |
| 2025-11-06 20:41:34 | <monochrom> | yeah :) |
| 2025-11-06 20:44:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 20:45:42 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-11-06 20:48:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 20:52:18 | × | myme quits (~myme@2a01:799:d5e:5f00:ffab:db87:b0e2:97dd) (Ping timeout: 256 seconds) |
| 2025-11-06 20:53:25 | → | myme joins (~myme@2a01:799:d5e:5f00:1a24:4c46:2ec0:9128) |
| 2025-11-06 21:00:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 21:05:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 21:07:48 | × | bggd quits (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) (Ping timeout: 260 seconds) |
| 2025-11-06 21:08:38 | <__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 21:09:54 | <EvanR> | where is attached to only 1 definition |
| 2025-11-06 21:11:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-06 21:13:37 | <__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 21:14:22 | <geekosaur> | where scopes over guards, but not independent equations |
| 2025-11-06 21:14:25 | <geekosaur> | iirc |
| 2025-11-06 21:15:19 | <__monty__> | Wait, no, that's what I meant. I shouldn't've said definitions. |
| 2025-11-06 21:15:24 | <EvanR> | one defining equation |
| 2025-11-06 21:15:40 | <__monty__> | The report calls it `gdrhs`. |
| 2025-11-06 21:15:50 | <EvanR> | catchy |
| 2025-11-06 21:16:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 21:19:45 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 2025-11-06 21:21:38 | × | deployonfriday quits (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) (Ping timeout: 265 seconds) |
| 2025-11-06 21:21:44 | <jackdk> | monochrom: I don't suppose you've tried indenting the `where` further so it's within the alternative? |
All times are in UTC.