| 2025-11-06 00:00:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 00:01:52 +0100 | <pie_> | sm: huh |
| 2025-11-06 00:12:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:15:25 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-11-06 00:15:32 +0100 | GdeVolpi1 | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 00:16:49 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Ping timeout: 264 seconds) |
| 2025-11-06 00:18:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 00:18:52 +0100 | comonad | (~comonad@p200300d02741a000c6934c09e8b46dfd.dip0.t-ipconnect.de) |
| 2025-11-06 00:21:45 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 00:25:12 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-11-06 00:25:16 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 00:26:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:26:59 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-11-06 00:27:26 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 00:28:06 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 00:28:42 +0100 | mwnaylor | (~user@2601:5cf:837e:2bb0:8f48:1249:bca4:3647) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2)) |
| 2025-11-06 00:30:42 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 260 seconds) |
| 2025-11-06 00:31:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 00:31:37 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-06 00:34:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 00:35:43 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-06 00:38:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 00:42:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:42:12 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 00:42:34 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 00:46:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 00:54:33 +0100 | AlexNoo_ | (~AlexNoo@85.174.180.102) |
| 2025-11-06 00:56:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 00:57:31 +0100 | AlexZenon | (~alzenon@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-06 00:58:08 +0100 | AlexNoo | (~AlexNoo@178.34.151.83) (Ping timeout: 244 seconds) |
| 2025-11-06 01:01:12 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 01:01:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 01:03:09 +0100 | AlexZenon | (~alzenon@85.174.180.102) |
| 2025-11-06 01:07:25 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-11-06 01:09:59 +0100 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2025-11-06 01:10:07 +0100 | connrs | (~connrs@user/connrs) connrs |
| 2025-11-06 01:10:31 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 01:10:44 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 01:11:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:16:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 01:18:21 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 01:27:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:31:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 01:34:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 01:36:52 +0100 | trickard_ | trickard |
| 2025-11-06 01:42:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 01:49:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 01:51:09 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 01:51:22 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 01:53:48 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 02:00:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:05:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:07:17 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 02:10:19 +0100 | otto_s | (~user@p5de2fb9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-11-06 02:11:01 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e2f9:e1a8:ab7f:507d) (Ping timeout: 255 seconds) |
| 2025-11-06 02:12:04 +0100 | otto_s | (~user@p4ff27ba5.dip0.t-ipconnect.de) |
| 2025-11-06 02:14:15 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-11-06 02:14:46 +0100 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2025-11-06 02:16:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:16:49 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 264 seconds) |
| 2025-11-06 02:19:25 +0100 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-11-06 02:20:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 02:23:44 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Remote host closed the connection) |
| 2025-11-06 02:24:06 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 02:24:31 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 2025-11-06 02:28:40 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:28:56 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:29:37 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 02:31:29 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 02:31:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:32:23 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 02:33:32 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 02:36:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 02:40:08 +0100 | <Square> | Sweet, you can define a type family member to be another type family. Please warn me if this is a no go zone. |
| 2025-11-06 02:40:30 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2025-11-06 02:40:37 +0100 | Googulator95 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 02:40:38 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 02:44:07 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) Pseudonym |
| 2025-11-06 02:47:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 02:47:22 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 02:47:57 +0100 | Pseudonym | (~Pseudonym@194-223-46-47.tpgi.com.au) (Quit: Leaving) |
| 2025-11-06 02:48:48 +0100 | Nachtgespenst | (~user@user/siracusa) siracusa |
| 2025-11-06 02:50:55 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-11-06 02:51:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 02:56:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 240 seconds) |
| 2025-11-06 03:02:00 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 03:02:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:05:35 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 03:05:39 +0100 | Googulator23 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:05:40 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:06:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 03:08:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-11-06 03:10:49 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:11:07 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:12:29 +0100 | annamalai | (~annamalai@157.32.112.75) (Remote host closed the connection) |
| 2025-11-06 03:17:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:20:48 +0100 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 03:21:03 +0100 | Googulator39 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 03:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 03:24:18 +0100 | annamalai | (~annamalai@157.32.112.75) annamalai |
| 2025-11-06 03:33:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:37:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 03:47:30 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 03:48:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 03:53:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 03:58:16 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-11-06 04:00:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 04:01:01 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 04:01:14 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 04:03:06 +0100 | democritus | (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) |
| 2025-11-06 04:03:37 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 264 seconds) |
| 2025-11-06 04:04:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:05:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:07:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 04:10:09 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:12:02 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:12:55 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-11-06 04:14:03 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 04:15:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-11-06 04:19:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:24:06 +0100 | Googulator26 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 04:24:07 +0100 | Googulator67 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 04:25:43 +0100 | Googulator26 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 04:25:44 +0100 | synchrom1 | (~john@2406:5a00:2412:2c00:5181:46b:2904:5aac) (Read error: Connection reset by peer) |
| 2025-11-06 04:25:46 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 04:26:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 04:27:05 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 04:28:42 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 04:29:28 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 04:35:02 +0100 | td_ | (~td@i5387093C.versanet.de) (Ping timeout: 252 seconds) |
| 2025-11-06 04:36:00 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-11-06 04:36:37 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 264 seconds) |
| 2025-11-06 04:36:37 +0100 | td_ | (~td@i53870901.versanet.de) |
| 2025-11-06 04:37:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:40:45 +0100 | trickard_ | trickard |
| 2025-11-06 04:41:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 04:43:49 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 04:53:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 04:57:07 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Remote host closed the connection) |
| 2025-11-06 04:57:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 04:57:36 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 2025-11-06 05:06:02 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2025-11-06 05:08:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:13:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 05:22:56 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-11-06 05:23:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:26:27 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 05:26:41 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 05:28:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 05:29:23 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 244 seconds) |
| 2025-11-06 05:39:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 05:51:44 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 05:51:44 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) |
| 2025-11-06 05:52:53 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 05:54:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 05:55:59 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:8cec:43ff:fe10:82e9) (Ping timeout: 260 seconds) |
| 2025-11-06 05:56:46 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2025-11-06 05:59:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 06:01:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:02:35 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-11-06 06:05:44 +0100 | Googulator40 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:05:47 +0100 | Googulator98 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:05:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 06:06:22 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) |
| 2025-11-06 06:06:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 06:07:40 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds) |
| 2025-11-06 06:08:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 06:10:25 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:6490:90ff:fe3e:538) (Ping timeout: 246 seconds) |
| 2025-11-06 06:10:52 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) |
| 2025-11-06 06:10:52 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 06:11:26 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 06:15:14 +0100 | Zemy | (~Zemy@2600:100c:b0a4:2c9c:982b:53ff:fe30:603d) (Ping timeout: 260 seconds) |
| 2025-11-06 06:16:04 +0100 | Googulator44 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:16:23 +0100 | Googulator98 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:16:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:20:39 +0100 | Googulator44 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 06:20:45 +0100 | Googulator87 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:21:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 06:22:22 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) |
| 2025-11-06 06:32:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:32:07 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 2025-11-06 06:32:30 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 06:36:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 06:37:17 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 06:47:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 06:50:45 +0100 | Googulator57 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 06:50:47 +0100 | Googulator87 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 06:51:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 06:58:59 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-11-06 07:02:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:05:20 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 07:05:38 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:05:46 +0100 | Googulator57 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:09:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 07:10:38 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:10:46 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:13:57 +0100 | jreicher | (~user@user/jreicher) (Quit: Out and about) |
| 2025-11-06 07:15:05 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-11-06 07:20:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:23:07 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 260 seconds) |
| 2025-11-06 07:23:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-11-06 07:25:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 07:25:23 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-11-06 07:30:38 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 07:30:47 +0100 | Googulator42 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:35:39 +0100 | Googulator46 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:35:46 +0100 | Googulator1 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:36:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:40:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 07:50:19 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 07:50:32 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 07:50:40 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:50:47 +0100 | Googulator1 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:51:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 07:55:36 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 07:55:49 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 07:56:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 07:57:22 +0100 | trickard_ | trickard |
| 2025-11-06 07:59:46 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 272 seconds) |
| 2025-11-06 08:02:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:02:51 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-11-06 08:06:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 08:10:42 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 08:17:36 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 08:17:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:17:50 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 08:22:06 +0100 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) |
| 2025-11-06 08:22:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 08:29:51 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 08:33:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:34:24 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-06 08:37:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-06 08:39:30 +0100 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-11-06 08:48:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 08:52:25 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-11-06 08:53:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-11-06 08:58:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 08:58:31 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 09:02:23 +0100 | democritus | (~democritu@2600:1700:72e0:4dc0:f0cb:ee18:f843:c07c) (Quit: Leaving) |
| 2025-11-06 09:03:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 09:06:21 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 09:06:23 +0100 | annamalai | (~annamalai@157.32.112.75) (Ping timeout: 244 seconds) |
| 2025-11-06 09:07:51 +0100 | annamalai | (~annamalai@157.32.112.75) annamalai |
| 2025-11-06 09:09:45 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:11:15 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-11-06 09:11:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-11-06 09:12:29 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 09:12:29 +0100 | prdak1 | prdak |
| 2025-11-06 09:15:39 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 09:15:47 +0100 | Googulator32 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:19:07 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:19:32 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:20:48 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:21:23 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 09:23:22 +0100 | prdak | (~Thunderbi@user/prdak) (Remote host closed the connection) |
| 2025-11-06 09:23:40 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:25:40 +0100 | Googulator59 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 09:25:48 +0100 | Googulator77 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Client Quit) |
| 2025-11-06 09:27:23 +0100 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 09:27:50 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:27:50 +0100 | prdak | (~Thunderbi@user/prdak) (Client Quit) |
| 2025-11-06 09:28:10 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:29:31 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:31:16 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 09:32:38 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2025-11-06 09:32:38 +0100 | prdak1 | prdak |
| 2025-11-06 09:36:53 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 09:37:14 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:45:39 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 09:45:42 +0100 | Googulator59 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:47:44 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 240 seconds) |
| 2025-11-06 09:49:10 +0100 | aforemny | (~aforemny@i59F4C61F.versanet.de) (Ping timeout: 246 seconds) |
| 2025-11-06 09:50:48 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 09:50:48 +0100 | Googulator8 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 09:54:26 +0100 | acidjnk | (~acidjnk@p200300d6e717199501855715c4be6f96.dip0.t-ipconnect.de) acidjnk |
| 2025-11-06 09:55:34 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 09:58:31 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 09:59:04 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) akegalj |
| 2025-11-06 10:02:07 +0100 | <akegalj> | Lets say that my cabal file defines library L and executable E. E has dependency on L. if L has ghc-options -O0 and E has ghc-options -O2 , will compiled binary be compiled with optimizations or will just modules defined with E be compiled with optimization and L will be compiled without optimization and they will be linked that way (partially optimized)? |
| 2025-11-06 10:02:09 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) fp |
| 2025-11-06 10:02:43 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 264 seconds) |
| 2025-11-06 10:02:43 +0100 | fp1 | fp |
| 2025-11-06 10:06:33 +0100 | <merijn> | akegalj: ghc-options are per component |
| 2025-11-06 10:06:44 +0100 | <merijn> | akegalj: So L would be compiled with -O0 |
| 2025-11-06 10:07:14 +0100 | <akegalj> | merijn: thanks! |
| 2025-11-06 10:07:54 +0100 | <merijn> | Incidentally you should probably just do -O1 for both :p |
| 2025-11-06 10:08:18 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-11-06 10:08:25 +0100 | <merijn> | because O0 is kinda bad and O2 takes quite a bit more compilation time and often has no significant impact over -O2 (but, you know, benchmark to be sure) |
| 2025-11-06 10:08:41 +0100 | <akegalj> | merijn: thanks |
| 2025-11-06 10:14:35 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 10:14:53 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 10:19:57 +0100 | fp | (~Thunderbi@wireless-86-50-140-224.open.aalto.fi) (Remote host closed the connection) |
| 2025-11-06 10:24:03 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 10:24:21 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 10:26:21 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) fp |
| 2025-11-06 10:26:48 +0100 | califax_ | (~califax@user/califx) califx |
| 2025-11-06 10:27:58 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-06 10:28:03 +0100 | califax_ | califax |
| 2025-11-06 10:30:30 +0100 | AlexNoo_ | AlexNoo |
| 2025-11-06 10:30:36 +0100 | fp | (~Thunderbi@2001:708:150:10::7e06) (Ping timeout: 256 seconds) |
| 2025-11-06 10:34:18 +0100 | fp | (~Thunderbi@130.233.70.136) fp |
| 2025-11-06 10:35:19 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-11-06 10:37:02 +0100 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-11-06 10:37:05 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 10:38:29 +0100 | fp | (~Thunderbi@130.233.70.136) (Remote host closed the connection) |
| 2025-11-06 10:40:33 +0100 | Googulator16 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 10:40:37 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 10:42:29 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 10:47:36 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 10:47:57 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 10:48:05 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 10:48:19 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 10:48:30 +0100 | DetourNe- | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-06 10:48:42 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-06 10:50:44 +0100 | DetourNe- | DetourNetworkUK |
| 2025-11-06 11:02:01 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 11:03:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2025-11-06 11:03:20 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 11:05:55 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 11:06:15 +0100 | Googulator36 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 11:07:02 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-11-06 11:07:09 +0100 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-11-06 11:12:00 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-11-06 11:12:19 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 11:20:41 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 11:20:41 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 11:22:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-11-06 11:23:26 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Remote host closed the connection) |
| 2025-11-06 11:26:35 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-11-06 11:26:59 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 11:28:49 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2025-11-06 11:29:59 +0100 | chele | (~chele@user/chele) chele |
| 2025-11-06 11:46:34 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2025-11-06 11:52:30 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 11:55:41 +0100 | Googulator23 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 11:55:42 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 11:59:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 12:00:16 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2025-11-06 12:06:10 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2025-11-06 12:12:48 +0100 | Guest66 | (~Guest66@92.241.77.126) |
| 2025-11-06 12:13:02 +0100 | Guest66 | (~Guest66@92.241.77.126) (Client Quit) |
| 2025-11-06 12:17:02 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-11-06 12:17:49 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 12:18:46 +0100 | <akegalj> | I have tried to define rts options in compilation with adding `ghc-options: -with-rtsopts="-N -A128m -n2m -qg"` as I got impression that this should work https://ghc.gitlab.haskell.org/ghc/doc/users_guide/runtime_control.html#setting-rts-options-at-com… but I get "ghc-9.10.3: unrecognised flag: -A128m" . Is it possible to do this? |
| 2025-11-06 12:24:56 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-11-06 12:28:06 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 12:28:21 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 12:28:35 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c1bd:3ff8:8b46:e15a) |
| 2025-11-06 12:28:38 +0100 | <Leary> | akegalj: What's written there will work in the shell, but in a cabal file you have to quote differently: `ghc-options: "-with-rtsopts=-N -A128m -n2m -qg"` |
| 2025-11-06 12:30:10 +0100 | <akegalj> | Leary: ah thanks. I have tried other quoting schemas but didn't try that one. |
| 2025-11-06 12:35:05 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 12:39:48 +0100 | <akegalj> | Leary: do you maybe know how to do it with hpack? It keeps removing my quotes in generated cabal file |
| 2025-11-06 12:40:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-06 12:43:13 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) (Read error: Connection reset by peer) |
| 2025-11-06 12:43:49 +0100 | <akegalj> | Leary: aha, made it. |
| 2025-11-06 12:44:45 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 2025-11-06 12:45:18 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 12:45:31 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 12:46:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-11-06 12:46:07 +0100 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-11-06 12:48:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 12:52:25 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 12:52:43 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 12:54:39 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-06 12:55:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-11-06 12:57:48 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 13:04:06 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 13:04:19 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 13:10:21 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 13:12:52 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-11-06 13:14:26 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 13:15:07 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-11-06 13:17:37 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-06 13:17:51 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 13:17:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 13:20:31 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 13:20:44 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:21:11 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2025-11-06 13:21:48 +0100 | chiselfu1e | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-11-06 13:25:28 +0100 | jreicher | (~user@user/jreicher) jreicher |
| 2025-11-06 13:30:48 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-06 13:31:30 +0100 | confusedalex | (~confuseda@user/confusedalex) (Remote host closed the connection) |
| 2025-11-06 13:31:45 +0100 | confusedalex | (~confuseda@user/confusedalex) confusedalex |
| 2025-11-06 13:39:01 +0100 | Zemy | (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) |
| 2025-11-06 13:39:01 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-11-06 13:39:36 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-11-06 13:43:16 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.7.0) |
| 2025-11-06 13:43:49 +0100 | Zemy | (~Zemy@2600:100c:b0ac:25f7:8012:9dff:fe87:9b9c) (Ping timeout: 260 seconds) |
| 2025-11-06 13:47:18 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 13:48:20 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2025-11-06 13:49:42 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 13:49:56 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 13:50:48 +0100 | Googulator4 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 13:50:49 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 13:50:53 +0100 | Lycurgus | (~juan@user/Lycurgus) (Client Quit) |
| 2025-11-06 13:56:48 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 13:58:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 250 seconds) |
| 2025-11-06 14:07:11 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-11-06 14:09:30 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 14:10:24 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:10:36 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:11:25 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:15:37 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:15:47 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:16:13 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-11-06 14:16:32 +0100 | trickard_ | trickard |
| 2025-11-06 14:23:55 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 246 seconds) |
| 2025-11-06 14:24:54 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 14:24:57 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2025-11-06 14:27:41 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:32:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 14:33:21 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-11-06 14:34:58 +0100 | califax | (~califax@user/califx) (Ping timeout: 272 seconds) |
| 2025-11-06 14:35:13 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:35:31 +0100 | Googulator19 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 14:35:36 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:39:02 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) |
| 2025-11-06 14:43:43 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2025-11-06 14:43:52 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 14:46:17 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 14:48:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-11-06 14:50:13 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-11-06 14:52:24 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-11-06 14:55:36 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 14:55:39 +0100 | Googulator75 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:00:38 +0100 | Googulator81 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:00:44 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:09:01 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-11-06 15:09:51 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 15:14:44 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-11-06 15:15:39 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:15:47 +0100 | Googulator61 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:17:54 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-06 15:18:09 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-06 15:19:44 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 15:20:40 +0100 | Googulator7 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:20:49 +0100 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) |
| 2025-11-06 15:23:42 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2025-11-06 15:28:43 +0100 | bggd | (~bgg@2a01:e0a:819:1510:264f:fa71:ccb5:98ac) |
| 2025-11-06 15:34:30 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:34:44 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:36:35 +0100 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 2025-11-06 15:40:35 +0100 | Googulator7 | (~Googulato@77-234-89-36.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:40:39 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:45:45 +0100 | Googulator91 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 15:45:48 +0100 | Googulator39 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 15:49:47 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:50:00 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 15:50:03 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-06 15:50:35 +0100 | trickard_ | trickard |
| 2025-11-06 15:54:47 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 15:58:04 +0100 | deployonfriday | (~user@2a01:799:1859:c100:12f1:ac5b:828f:d5a6) (Ping timeout: 244 seconds) |
| 2025-11-06 16:00:26 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 16:00:32 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 260 seconds) |
| 2025-11-06 16:01:01 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2025-11-06 16:05:03 +0100 | matsurago | (~matsurago@240b:10:b701:8b00:7bc3:8f18:3c0f:757f) (Quit: Leaving) |
| 2025-11-06 16:14:00 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 256 seconds) |
| 2025-11-06 16:16:54 +0100 | Googulator39 | Googulator |
| 2025-11-06 16:18:23 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-11-06 16:23:58 +0100 | trickard_ | trickard |
| 2025-11-06 16:26:29 +0100 | Nachtgespenst | (~user@user/siracusa) (Quit: Bye!) |
| 2025-11-06 16:29:30 +0100 | <dutchie> | what's a better way of doing pattern matching in a MonadFail do block than `Just x <- pure $ _` |
| 2025-11-06 16:29:41 +0100 | <dutchie> | I'm sure I'm missing something obvious |
| 2025-11-06 16:31:05 +0100 | <__monty__> | dutchie: Maybe you just want `let x = _`? |
| 2025-11-06 16:32:10 +0100 | <dutchie> | does that trigger failure if it doesn't match? I tried something in ghci but maybe I messed it up |
| 2025-11-06 16:32:17 +0100 | <dutchie> | I got an exception instead of mzero |
| 2025-11-06 16:32:35 +0100 | <dutchie> | `x <- maybe mzero pure $ _` doesn't feel a whole lot better... ExceptT? |
| 2025-11-06 16:32:43 +0100 | <dutchie> | MaybeT? |
| 2025-11-06 16:33:39 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-11-06 16:34:37 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 16:41:46 +0100 | turlando | (~turlando@user/turlando) (Ping timeout: 256 seconds) |
| 2025-11-06 16:41:49 +0100 | turlando_ | (~turlando@user/turlando) turlando |
| 2025-11-06 16:43:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 16:54:16 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) |
| 2025-11-06 16:58:39 +0100 | akegalj | (~akegalj@78-1-215-14.adsl.net.t-com.hr) (Ping timeout: 250 seconds) |
| 2025-11-06 17:03:26 +0100 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-11-06 17:04:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 17:04:33 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 17:06:19 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 17:08:47 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-11-06 17:11:26 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-11-06 17:15:35 +0100 | Googulator | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-06 17:15:41 +0100 | Googulator99 | (~Googulato@2a01-036d-0106-0180-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-06 17:25:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 17:26:18 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-11-06 17:27:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2025-11-06 17:27:40 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-11-06 17:30:13 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-11-06 17:43:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 17:52:02 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-11-06 17:52:24 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-06 17:55:58 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-11-06 18:05:00 +0100 | <lyxia> | maybe mzero pure looks ok to me |
| 2025-11-06 18:08:21 +0100 | <haskellbridge> | <loonycyborg> Does that pure value come out of some action? You could pattern match on it at the point where it originally arises |
| 2025-11-06 18:08:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 18:13:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 18:15:22 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-11-06 18:15:37 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 18:20:55 +0100 | Square3 | (~Square@user/square) Square |
| 2025-11-06 18:24:01 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-11-06 18:24:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 18:29:06 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 18:29:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 18:40:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 18:41:32 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2025-11-06 18:44:08 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-11-06 18:47:00 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2025-11-06 18:47:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 18:49:30 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) dtman34 |
| 2025-11-06 18:50:40 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-11-06 18:52:20 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) DetourNetworkUK |
| 2025-11-06 18:58:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 18:59:02 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 19:01:54 +0100 | dtman34 | (~dtman34@2601:447:d182:6512:c2f9:c3a:b83d:6490) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-06 19:02:14 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-11-06 19:03:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 19:06:28 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 19:07:48 +0100 | sherbert | (d006a0b946@2a03:6000:1812:100::155) sherbert |
| 2025-11-06 19:08:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:11:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-06 19:12:13 +0100 | ft | (~ft@p4fc2aaeb.dip0.t-ipconnect.de) ft |
| 2025-11-06 19:13:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 19:16:28 +0100 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
| 2025-11-06 19:21:10 +0100 | trickard | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 19:21:23 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 19:24:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:26:54 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-06 19:29:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 19:31:25 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds) |
| 2025-11-06 19:32:13 +0100 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-11-06 19:35:49 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-11-06 19:36:56 +0100 | pr1sm | (~pr1sm@24.91.163.31) |
| 2025-11-06 19:40:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 19:43:26 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2025-11-06 19:43:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-06 19:44:03 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 2025-11-06 19:44:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 19:48:23 +0100 | Square3 | (~Square@user/square) (Remote host closed the connection) |
| 2025-11-06 19:54:13 +0100 | Square2 | (~Square@user/square) Square |
| 2025-11-06 19:56:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:00:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 20:02:12 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 20:02:35 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 20:06:19 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-11-06 20:09:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:14:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 20:17:10 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-11-06 20:21:26 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-06 20:24:25 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-11-06 20:24:39 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 20:25:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:29:24 +0100 | matt` | (~user@192-184-174-112.fiber.dynamic.sonic.net) |
| 2025-11-06 20:30:10 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-06 20:30:37 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 20:36:30 +0100 | deployonfriday | (~user@2a01:799:1859:c100:9a4a:2d15:6107:6048) |
| 2025-11-06 20:36:35 +0100 | opencircuit | (~quassel@user/opencircuit) (Remote host closed the connection) |
| 2025-11-06 20:36:44 +0100 | opencircuit | (~quassel@user/opencircuit) opencircuit |
| 2025-11-06 20:40:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-11-06 20:41:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:43:50 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 20:45:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 20:47:06 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-11-06 20:47:28 +0100 | dtman34 | (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34 |
| 2025-11-06 20:51:49 +0100 | pr1sm | (~pr1sm@24.91.163.31) (Remote host closed the connection) |
| 2025-11-06 20:53:26 +0100 | matt` | mcwitt |
| 2025-11-06 20:56:22 +0100 | mcwitt | (~user@192-184-174-112.fiber.dynamic.sonic.net) (Quit: k) |
| 2025-11-06 20:56:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 20:57:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-11-06 20:57:48 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-06 20:59:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-11-06 20:59:37 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 255 seconds) |
| 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 21:01:24 +0100 | synchromesh | (~john@2406:5a00:2412:2c00:752a:c037:4485:f417) synchromesh |
| 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:57 +0100 | dhil | (~dhil@5.151.29.141) (Quit: Leaving) |
| 2025-11-06 21:02:26 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 256 seconds) |
| 2025-11-06 21:04:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:05:30 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-11-06 21:09:01 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 21:10:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:15:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-06 21:18:02 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-11-06 21:21:30 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-11-06 21:26:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:28:54 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-11-06 21:28:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-06 21:32:04 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-11-06 21:33:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-06 21:34:06 +0100 | <monochrom> | :( pattern guard doesn't introduce variables into a scope I would like. |
| 2025-11-06 21:34:48 +0100 | <monochrom> | I wanted to have: f x | Just r <- something = ... where 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:36:28 +0100 | <monochrom> | I suppose the sanctioned way is: Just r <- something, let foo = ... r ... |
| 2025-11-06 21:36:29 +0100 | trickard_ | trickard |
| 2025-11-06 21:37:21 +0100 | <monochrom> | I can do that. It's OK. :) |
| 2025-11-06 21:38:12 +0100 | <monochrom> | In my example, where is supposed to see x and f only. |
| 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:40:41 +0100 | <EvanR> | so there's a sort of event horizon |
| 2025-11-06 21:41:11 +0100 | <EvanR> | or one way mirror |
| 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:34 +0100 | <monochrom> | yeah :) |
| 2025-11-06 21:44:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 21:45:42 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 21:48:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 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:53:25 +0100 | myme | (~myme@2a01:799:d5e:5f00:1a24:4c46:2ec0:9128) myme |
| 2025-11-06 22:00:05 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:05:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 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: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:09:54 +0100 | <EvanR> | where is attached to only 1 definition |
| 2025-11-06 22:11:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 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:14:22 +0100 | <geekosaur> | where scopes over guards, but not independent equations |
| 2025-11-06 22:14:25 +0100 | <geekosaur> | iirc |
| 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:15:24 +0100 | <EvanR> | one defining equation |
| 2025-11-06 22:15:40 +0100 | <__monty__> | The report calls it `gdrhs`. |
| 2025-11-06 22:15:50 +0100 | <EvanR> | catchy |
| 2025-11-06 22:16:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-11-06 22:19:45 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 250 seconds) |
| 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: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:52 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-11-06 22:22:08 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-11-06 22:26:46 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-06 22:27:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:27:58 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 22:32:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-11-06 22:36:01 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-11-06 22:39:08 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-11-06 22:42:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 22:47:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 22:58:36 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-11-06 22:58:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:01:05 +0100 | <monochrom> | I tried. It's not meant to be! |
| 2025-11-06 23:03:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-11-06 23:07:53 +0100 | <dolio> | monochrom: You don't need let. You just need more pattern guards. |
| 2025-11-06 23:08:11 +0100 | <dolio> | Just r <- something, foo <- ... r ... = ... |
| 2025-11-06 23:08:44 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) |
| 2025-11-06 23:11:23 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Ping timeout: 260 seconds) |
| 2025-11-06 23:11:35 +0100 | peterbecich | (~Thunderbi@172.222.148.214) peterbecich |
| 2025-11-06 23:12:40 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-11-06 23:12:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:17:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-06 23:18:56 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) (Quit: Leaving) |
| 2025-11-06 23:23:32 +0100 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) (Quit: ubert) |
| 2025-11-06 23:23:50 +0100 | ubert | (~Thunderbi@178.165.186.48.wireless.dyn.drei.com) ubert |
| 2025-11-06 23:28:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:28:45 +0100 | Inline | (~inlinE@2a02:8071:57a1:dc0:a54f:a27d:cf25:667b) Inline |
| 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:30:05 +0100 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
| 2025-11-06 23:33:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 23:34:49 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 264 seconds) |
| 2025-11-06 23:35:48 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d577:2751:e380:cb37) |
| 2025-11-06 23:38:35 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-11-06 23:38:49 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-11-06 23:38:57 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2025-11-06 23:40:22 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 23:42:01 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2025-11-06 23:42:26 +0100 | Core4520 | (~Zemy@2600:100c:b021:2c99:e8ef:cdff:fefd:214c) |
| 2025-11-06 23:42:51 +0100 | Zemy | (~Zemy@2600:100c:b021:2c99:ac43:c3ff:fe9f:ac80) (Read error: Connection reset by peer) |
| 2025-11-06 23:44:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:44:43 +0100 | Zemy_ | (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 244 seconds) |
| 2025-11-06 23:45:17 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2025-11-06 23:47:25 +0100 | peterbecich | (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-11-06 23:48:45 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-11-06 23:51:01 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2025-11-06 23:52:08 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-11-06 23:53:39 +0100 | <Square2> | Hey. Are type family instances defined as other type families encouraged? It seems to work really well. |
| 2025-11-06 23:54:13 +0100 | <Lycurgus> | then y do u care? |
| 2025-11-06 23:54:33 +0100 | <Square2> | was that for me? |
| 2025-11-06 23:54:46 +0100 | <Lycurgus> | unless u suspect it is just a seeming |
| 2025-11-06 23:55:34 +0100 | mreh | (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2025-11-06 23:55:36 +0100 | <geekosaur> | I can't think of any reason to avoid it as long as it's documented because it might be a bit confusing? |
| 2025-11-06 23:55:42 +0100 | <Square2> | I never seen it examples. I thought I verify it's okey to use cause I will use it for a central feature. |
| 2025-11-06 23:55:53 +0100 | <Square2> | it in* |
| 2025-11-06 23:56:40 +0100 | <Square2> | Definitely, it is alien for sure. |
| 2025-11-06 23:58:35 +0100 | Zemy | (~Zemy@24-155-2-226.static.grandenetworks.net) |
| 2025-11-06 23:59:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-06 23:59:56 +0100 | Zemy | (~Zemy@24-155-2-226.static.grandenetworks.net) (Read error: Connection reset by peer) |