Newest at the top
2025-06-06 20:09:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:09:16 +0200 | <geekosaur> | there's a magic pattern thing that I can never find in the manual |
2025-06-06 20:09:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:08:27 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-06-06 20:03:48 +0200 | aman | (~aman@user/aman) (Ping timeout: 268 seconds) |
2025-06-06 20:03:37 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 20:02:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 20:02:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 20:02:16 +0200 | <tomsmeding> | ) |
2025-06-06 20:02:14 +0200 | <tomsmeding> | (it's a remnant of an earlier attempt: I cannot use If here because the possibly-returned return value, here "String" for example's sake, is a polymorphic function type in my application, and you can't apply a type family to a forall-quantified type |
2025-06-06 20:01:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-06 20:01:32 +0200 | <tomsmeding> | oh -- the If is unused, ignore that |
2025-06-06 20:00:52 +0200 | <tomsmeding> | this SBool pattern seems to work well, but I don't see a way to circumvent the "inaccessible code" warning |
2025-06-06 20:00:45 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-06-06 19:59:58 +0200 | <tomsmeding> | the idea is that I want some small parts of 'foo' to be configurable, and some configuration values mean that certain "return values" of 'foo' are not available |
2025-06-06 19:59:16 +0200 | <tomsmeding> | (in my actual application, 'foo' needs to be in CPS style because it introduces some existential variables; here it's somewhat redundant) |
2025-06-06 19:58:31 +0200 | <tomsmeding> | can I make GHC not complain about this intentionally "inaccessible code"? https://play.haskell.org/saved/UmbPMHoc |
2025-06-06 19:56:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:56:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:56:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 19:54:55 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
2025-06-06 19:54:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-06-06 19:54:12 +0200 | shaeto | (~Shaeto@94.25.234.65) (Quit: WeeChat 4.1.1) |
2025-06-06 19:53:16 +0200 | trickard_ | (~trickard@cpe-53-98-47-163.wireline.com.au) |
2025-06-06 19:50:52 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) bitmapper |
2025-06-06 19:49:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:49:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:48:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:47:38 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) |
2025-06-06 19:44:20 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-06-06 19:40:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:40:40 +0200 | shaeto | (~Shaeto@94.25.234.65) |
2025-06-06 19:40:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:39:09 +0200 | shaeto | (~Shaeto@94.25.234.163) (Ping timeout: 268 seconds) |
2025-06-06 19:38:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-06 19:38:13 +0200 | tromp | (~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-06-06 19:38:06 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
2025-06-06 19:36:32 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-06-06 19:35:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:34:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:33:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-06 19:33:19 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
2025-06-06 19:29:24 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
2025-06-06 19:27:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:27:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-06 19:25:50 +0200 | trickard_ | (~trickard@cpe-58-98-47-163.wireline.com.au) |
2025-06-06 19:25:37 +0200 | trickard__ | (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-06 19:24:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-06 19:23:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-06 19:22:31 +0200 | prdak | (~Thunderbi@user/prdak) prdak |