Logs: liberachat/#haskell
| 2025-09-30 09:10:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) |
| 2025-09-30 09:11:47 | <[exa]> | ski: ok whew |
| 2025-09-30 09:14:02 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2025-09-30 09:14:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-30 09:14:34 | <ski> | pattern Append [ ] ys = ys |
| 2025-09-30 09:14:36 | <ski> | pattern Append (x0:xs) ys = x1 : Append xs ys | x0 == x1 |
| 2025-09-30 09:14:49 | <ski> | or, you could restate the latter as |
| 2025-09-30 09:15:15 | <ski> | pattern Append (x:xs) ys = Is x : Append xs ys |
| 2025-09-30 09:15:17 | <ski> | with |
| 2025-09-30 09:16:00 | → | ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 2025-09-30 09:16:04 | <ski> | pattern Is :: Eq a => a -> () => a |
| 2025-09-30 09:16:25 | <ski> | pattern Is x <- ((x ==) -> True) |
| 2025-09-30 09:16:27 | <ski> | where |
| 2025-09-30 09:16:33 | <ski> | Is x = x |
| 2025-09-30 09:17:26 | <ski> | (or, s/Is/Id/, maybe) |
| 2025-09-30 09:18:01 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 2025-09-30 09:18:01 | <tomsmeding> | "ought to be possible", as in, "would be nice but GHC does not support this" :p |
| 2025-09-30 09:18:07 | <ski> | indeed |
| 2025-09-30 09:18:20 | <ski> | it already does support the output context |
| 2025-09-30 09:18:24 | <tomsmeding> | yes |
| 2025-09-30 09:19:24 | × | YuutaW quits (~YuutaW@alice.yuuta.moe) (Ping timeout: 252 seconds) |
| 2025-09-30 09:19:54 | <[exa]> | we should have #haskell-prolog |
| 2025-09-30 09:20:04 | <tomsmeding> | should we? |
| 2025-09-30 09:20:34 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2025-09-30 09:20:37 | → | YuutaW joins (~YuutaW@alice.yuuta.moe) |
| 2025-09-30 09:20:45 | tomsmeding | is building a GHC HEAD to test [exa]'s thing |
| 2025-09-30 09:20:54 | <[exa]> | lol |
| 2025-09-30 09:21:08 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 09:23:38 | <ski> | well, #mercury does exist (and #curry) |
| 2025-09-30 09:23:55 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-09-30 09:31:06 | → | bgg__ joins (~bgg@2a01:e0a:819:1510:573a:3145:6af7:e234) |
| 2025-09-30 09:31:17 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-09-30 09:32:34 | × | bgg_ quits (~bgg@2a01:e0a:819:1510:573a:3145:6af7:e234) (Read error: Connection reset by peer) |
| 2025-09-30 09:32:42 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-09-30 09:32:43 | ljdarj1 | is now known as ljdarj |
| 2025-09-30 09:37:11 | <tomsmeding> | [exa]: GHC HEAD also crashes |
| 2025-09-30 09:42:08 | × | fgarcia quits (~nu@user/fgarcia) (Ping timeout: 240 seconds) |
| 2025-09-30 09:43:26 | <ski> | % case "foobar" of (("foo",) -> Suffix "bar") -> () |
| 2025-09-30 09:43:26 | <yahb2> | () |
| 2025-09-30 09:45:01 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-30 09:48:25 | <tomsmeding> | [exa]: https://gitlab.haskell.org/ghc/ghc/-/issues/26465 |
| 2025-09-30 09:48:53 | <tomsmeding> | ski: cute |
| 2025-09-30 09:49:16 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-30 09:51:41 | × | tromp quits (~textual@2001:1c00:3487:1b00:ec31:dae7:cc09:de7b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-09-30 09:51:44 | <ski> | tomsmeding : surely `x' in `Secured x' ought to have type `String' (or, generalized, `[a]') ? |
| 2025-09-30 09:51:51 | <tomsmeding> | yes |
| 2025-09-30 09:51:58 | <tomsmeding> | the module contains a type error, as I said |
| 2025-09-30 09:52:10 | <tomsmeding> | usage expects the x to be (String, String), but the definition implies it to be String |
| 2025-09-30 09:52:12 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-30 09:52:19 | <tomsmeding> | supplying either via a type signature avoids the panic |
| 2025-09-30 09:52:25 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 2025-09-30 09:52:26 | <ski> | ah, i see |
| 2025-09-30 09:53:09 | <tomsmeding> | I'll add this to the issue, thanks |
| 2025-09-30 09:53:42 | <tomsmeding> | done |
| 2025-09-30 09:54:30 | <tomsmeding> | uh that makes no sense as the usage is gone in this reduced example |
| 2025-09-30 09:54:35 | <[exa]> | tomsmeding: oh cool, thanks! |
| 2025-09-30 09:54:46 | <tomsmeding> | well whatever |
| 2025-09-30 09:56:13 | <tomsmeding> | added curious observation 4: Inlining prefixed2 into Secured also avoids the panic! |
| 2025-09-30 09:56:14 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-30 09:56:37 | <ski> | there is no usage of `Secured' on that post (as opposed to original ones) |
| 2025-09-30 09:56:47 | <tomsmeding> | indeed |
| 2025-09-30 09:56:49 | <ski> | right |
| 2025-09-30 09:56:56 | <tomsmeding> | seems like the usage is unnecessary, though |
| 2025-09-30 09:57:13 | <tomsmeding> | it really is a very fragile piece of code |
| 2025-09-30 09:57:23 | <tomsmeding> | also I like the vibe of "NoFlexi" |
| 2025-09-30 09:57:24 | <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 09:57:58 | <tomsmeding> | yeah I'd like to not change the code snippet and playground link if not really necessary |
| 2025-09-30 09:58:05 | <tomsmeding> | I think it's clear enough like this |
| 2025-09-30 09:58:41 | <tomsmeding> | it's trivial to reproduce and it's just 3 lines of code |
| 2025-09-30 10:02:55 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 10:04:06 | <ski> | (having (1b) generalized, while (1a) is not, also looks a bit strange ..) |
| 2025-09-30 10:06:07 | <tomsmeding> | ¯\_(ツ)_/¯ |
| 2025-09-30 10:06:15 | <tomsmeding> | if the reader wants to try other combinations they're welcome to |
| 2025-09-30 10:08:07 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-30 10:10:35 | <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 10:10:56 | <tomsmeding> | (or post it yourself) |
| 2025-09-30 10:13:09 | → | comerijn joins (~merijn@77.242.116.146) |
| 2025-09-30 10:14:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-09-30 10:16:42 | → | kuribas joins (~user@2a02-1810-2825-6000-6672-7fac-7dd1-fbc8.ip6.access.telenet.be) |
| 2025-09-30 10:22:25 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2025-09-30 10:23:43 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 2025-09-30 10:31:18 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-09-30 10:32:16 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 2025-09-30 10:33:10 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-30 10:38:28 | × | dcpagan quits (~dcpagan@gateway/tor-sasl/dcpagan) (Ping timeout: 272 seconds) |
| 2025-09-30 10:40:20 | → | dcpagan joins (~dcpagan@gateway/tor-sasl/dcpagan) |
| 2025-09-30 10:48:13 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-30 10:48:32 | → | SheRejoined joins (haveident@libera/staff/she/her) |
| 2025-09-30 10:49:08 | trickard_ | is now known as trickard |
| 2025-09-30 10:55:24 | × | She quits (haveident@libera/staff/she/her) (Ping timeout: 615 seconds) |
| 2025-09-30 10:55:24 | SheRejoined | is now known as She |
| 2025-09-30 11:00:05 | × | caconym74787 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-09-30 11:02:08 | → | caconym74787 joins (~caconym@user/caconym) |
| 2025-09-30 11:02:08 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-09-30 11:05:19 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2025-09-30 11:07:22 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-09-30 11:10:06 | × | _d0t_ quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds) |
| 2025-09-30 11:10:21 | → | _d0t_ joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2025-09-30 11:14:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2025-09-30 11:14:34 | × | _d0t_ quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
All times are in UTC.