2025/06/06

Newest at the top

2025-06-06 20:29:18 +0200 <tomsmeding> geekosaur: the 'undefined' is of type (False ~ True => String)
2025-06-06 20:28:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-06 20:28:06 +0200 <geekosaur> oh
2025-06-06 20:27:55 +0200 <geekosaur> but it's not an obvious place at least to me
2025-06-06 20:27:50 +0200 <tomsmeding> geekosaur: there is not even a pattern in sight here
2025-06-06 20:27:22 +0200 <geekosaur> somewhere in a discussion of pattern match checking in the manual is a mention of a special pattern that means "this is used" iirc
2025-06-06 20:25:26 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-06 20:24:51 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-06-06 20:24:29 +0200trickard(~trickard@cpe-53-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-06 20:24:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-06 20:23:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-06 20:23:40 +0200 <tomsmeding> geekosaur: what kind of magic pattern thing?
2025-06-06 20:19:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-06 20:18:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-06 20:18:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-06 20:18:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2025-06-06 20:16:18 +0200trickard_trickard
2025-06-06 20:14:56 +0200 <geekosaur> and I still can't find it 😞
2025-06-06 20:12:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-06 20:09:38 +0200sabathan2(~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 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-06 20:08:27 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-06-06 20:03:48 +0200aman(~aman@user/aman) (Ping timeout: 268 seconds)
2025-06-06 20:03:37 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-06-06 20:02:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-06 20:02:16 +0200sabathan2(~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 +0200merijn(~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 +0200trickard_(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-06 19:56:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-06 19:56:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-06 19:54:55 +0200ttybitnik(~ttybitnik@user/wolper) (Ping timeout: 260 seconds)
2025-06-06 19:54:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-06-06 19:54:12 +0200shaeto(~Shaeto@94.25.234.65) (Quit: WeeChat 4.1.1)
2025-06-06 19:53:16 +0200trickard_(~trickard@cpe-53-98-47-163.wireline.com.au)
2025-06-06 19:50:52 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) bitmapper
2025-06-06 19:49:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-06 19:49:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-06 19:48:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-06 19:47:38 +0200tromp(~textual@2001:1c00:3487:1b00:8836:3ddb:338e:2a33)
2025-06-06 19:44:20 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-06-06 19:40:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)