2025/09/30

Newest at the top

2025-09-30 12:33:10 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-30 12:32:16 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
2025-09-30 12:31:18 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds)
2025-09-30 12:23:43 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-09-30 12:22:25 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds)
2025-09-30 12:16:42 +0200kuribas(~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) kuribas
2025-09-30 12:14:49 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-09-30 12:13:09 +0200comerijn(~merijn@77.242.116.146) merijn
2025-09-30 12:10:56 +0200 <tomsmeding> (or post it yourself)
2025-09-30 12:10:35 +0200 <tomsmeding> ski: this looks like a typechecker issue, and type signatures compartmentalise type checking, so if you can find a type signature that preserves the panic, then do let me know and I'll add it
2025-09-30 12:08:07 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 12:06:15 +0200 <tomsmeding> if the reader wants to try other combinations they're welcome to
2025-09-30 12:06:07 +0200 <tomsmeding> ¯\_(ツ)_/¯
2025-09-30 12:04:06 +0200 <ski> (having (1b) generalized, while (1a) is not, also looks a bit strange ..)
2025-09-30 12:02:55 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 240 seconds)
2025-09-30 11:58:41 +0200 <tomsmeding> it's trivial to reproduce and it's just 3 lines of code
2025-09-30 11:58:05 +0200 <tomsmeding> I think it's clear enough like this
2025-09-30 11:57:58 +0200 <tomsmeding> yeah I'd like to not change the code snippet and playground link if not really necessary
2025-09-30 11:57:24 +0200 <ski> you could replace "usage of Secured implies" with "type signature of Secured implies", i guess. only applies when (1c) is present, though
2025-09-30 11:57:23 +0200 <tomsmeding> also I like the vibe of "NoFlexi"
2025-09-30 11:57:13 +0200 <tomsmeding> it really is a very fragile piece of code
2025-09-30 11:56:56 +0200 <tomsmeding> seems like the usage is unnecessary, though
2025-09-30 11:56:49 +0200 <ski> right
2025-09-30 11:56:47 +0200 <tomsmeding> indeed
2025-09-30 11:56:37 +0200 <ski> there is no usage of `Secured' on that post (as opposed to original ones)
2025-09-30 11:56:14 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-30 11:56:13 +0200 <tomsmeding> added curious observation 4: Inlining prefixed2 into Secured also avoids the panic!
2025-09-30 11:54:46 +0200 <tomsmeding> well whatever
2025-09-30 11:54:35 +0200 <[exa]> tomsmeding: oh cool, thanks!
2025-09-30 11:54:30 +0200 <tomsmeding> uh that makes no sense as the usage is gone in this reduced example
2025-09-30 11:53:42 +0200 <tomsmeding> done
2025-09-30 11:53:09 +0200 <tomsmeding> I'll add this to the issue, thanks
2025-09-30 11:52:26 +0200 <ski> ah, i see
2025-09-30 11:52:25 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au)
2025-09-30 11:52:19 +0200 <tomsmeding> supplying either via a type signature avoids the panic
2025-09-30 11:52:12 +0200trickard_(~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-30 11:52:10 +0200 <tomsmeding> usage expects the x to be (String, String), but the definition implies it to be String
2025-09-30 11:51:58 +0200 <tomsmeding> the module contains a type error, as I said
2025-09-30 11:51:51 +0200 <tomsmeding> yes
2025-09-30 11:51:44 +0200 <ski> tomsmeding : surely `x' in `Secured x' ought to have type `String' (or, generalized, `[a]') ?
2025-09-30 11:51:41 +0200tromp(~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-30 11:49:16 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2025-09-30 11:48:53 +0200 <tomsmeding> ski: cute
2025-09-30 11:48:25 +0200 <tomsmeding> [exa]: https://gitlab.haskell.org/ghc/ghc/-/issues/26465
2025-09-30 11:45:01 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 264 seconds)
2025-09-30 11:43:26 +0200 <yahb2> ()
2025-09-30 11:43:26 +0200 <ski> % case "foobar" of (("foo",) -> Suffix "bar") -> ()
2025-09-30 11:42:08 +0200fgarcia(~nu@user/fgarcia) (Ping timeout: 240 seconds)
2025-09-30 11:37:11 +0200 <tomsmeding> [exa]: GHC HEAD also crashes
2025-09-30 11:32:43 +0200ljdarj1ljdarj