Newest at the top
2025-09-30 12:33:10 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
2025-09-30 12:32:16 +0200 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
2025-09-30 12:31:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
2025-09-30 12:23:43 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
2025-09-30 12:22:25 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
2025-09-30 12:16:42 +0200 | kuribas | (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) kuribas |
2025-09-30 12:14:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
2025-09-30 12:13:09 +0200 | comerijn | (~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 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | merijn | (~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 +0200 | trickard_ | (~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 +0200 | trickard_ | (~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 +0200 | tromp | (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-09-30 11:49:16 +0200 | humasect | (~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 +0200 | merijn | (~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 +0200 | fgarcia | (~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 +0200 | ljdarj1 | ljdarj |