Logs: liberachat/#haskell
| 2025-10-06 15:24:31 | <[exa]> | tomsmeding: wow cool, thx |
| 2025-10-06 15:25:32 | <tomsmeding> | reporting bugs like these to ghc is fun, you get to see very smart people solve problems |
| 2025-10-06 15:25:49 | <[exa]> | yeah I'm completely lost there |
| 2025-10-06 15:25:51 | <[exa]> | :D |
| 2025-10-06 15:29:10 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-10-06 15:51:08 | × | tromp quits (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 15:51:24 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2025-10-06 15:59:45 | → | tromp joins (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) |
| 2025-10-06 16:13:37 | → | vladbxb joins (~vladbxb@109.103.68.106) |
| 2025-10-06 16:17:12 | × | vladbxb quits (~vladbxb@109.103.68.106) (Client Quit) |
| 2025-10-06 16:24:08 | → | craunts79 joins (~craunts@136.158.7.194) |
| 2025-10-06 16:24:33 | × | trickard quits (~trickard@cpe-49-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-06 16:24:46 | → | trickard_ joins (~trickard@cpe-49-98-47-163.wireline.com.au) |
| 2025-10-06 16:25:24 | × | craunts79 quits (~craunts@136.158.7.194) (Client Quit) |
| 2025-10-06 16:26:49 | → | craunts79 joins (~craunts@136.158.7.194) |
| 2025-10-06 16:28:02 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-06 16:39:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 16:46:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-06 16:57:22 | × | dostoevsky_ quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 2025-10-06 16:57:38 | × | tromp quits (~textual@2001:1c00:3487:1b00:b551:deec:8ee1:7922) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-06 16:57:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 17:02:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 17:04:15 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 17:04:31 | → | Googulator joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 17:06:36 | yang_ | is now known as yin |
| 2025-10-06 17:10:39 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 17:10:42 | → | Googulator32 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 17:13:05 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2025-10-06 17:13:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 17:17:05 | <dminuoso> | Mmm, staring at the text it does not read that complicated. |
| 2025-10-06 17:17:48 | <mauke> | *zonk* |
| 2025-10-06 17:18:42 | <dminuoso> | https://mail.haskell.org/pipermail/cvs-ghc/2012-September/076185.html |
| 2025-10-06 17:18:51 | <dminuoso> | "Remember to zonk the skolems of an implication" |
| 2025-10-06 17:19:16 | <dminuoso> | We Haskellers just love using funky names |
| 2025-10-06 17:20:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 17:29:00 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-06 17:30:28 | → | int-e_ joins (~noone@int-e.eu) |
| 2025-10-06 17:30:41 | → | Googulator79 joins (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) |
| 2025-10-06 17:30:47 | × | Googulator32 quits (~Googulato@2a01-036d-0106-03fa-5967-6f2a-1e2d-f05a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-06 17:30:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-10-06 17:31:09 | × | int-e quits (~noone@int-e.eu) (Killed (NickServ (GHOST command used by int-e_))) |
| 2025-10-06 17:31:16 | int-e_ | is now known as int-e |
| 2025-10-06 17:31:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 17:32:25 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-10-06 17:32:56 | → | Square joins (~Square@user/square) |
| 2025-10-06 17:33:42 | → | Square2 joins (~Square4@user/square) |
| 2025-10-06 17:34:36 | × | craunts79 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-06 17:35:00 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-10-06 17:35:43 | → | ft joins (~ft@p4fc2a225.dip0.t-ipconnect.de) |
| 2025-10-06 17:36:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 17:39:01 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-10-06 17:41:28 | × | Square2 quits (~Square4@user/square) (Ping timeout: 246 seconds) |
| 2025-10-06 17:47:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 17:51:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-06 17:52:09 | → | Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-10-06 17:52:20 | → | int-e_ joins (~noone@int-e.eu) |
| 2025-10-06 17:52:27 | × | int-e quits (~noone@int-e.eu) (Quit: Reconnecting) |
| 2025-10-06 17:52:50 | int-e_ | is now known as int-e |
| 2025-10-06 17:57:06 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 2025-10-06 17:57:26 | → | Square joins (~Square@user/square) |
| 2025-10-06 18:00:01 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 256 seconds) |
| 2025-10-06 18:00:25 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-06 18:02:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 18:02:34 | → | peterbecich joins (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) |
| 2025-10-06 18:03:54 | × | dolio quits (~dolio@130.44.140.168) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-10-06 18:05:29 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-10-06 18:07:16 | × | Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed) |
| 2025-10-06 18:07:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 18:07:42 | → | sdrfan123 joins (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) |
| 2025-10-06 18:07:43 | → | Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) |
| 2025-10-06 18:09:47 | × | dolio quits (~dolio@130.44.140.168) (Client Quit) |
| 2025-10-06 18:11:03 | → | dolio joins (~dolio@130.44.140.168) |
| 2025-10-06 18:16:26 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-06 18:17:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 18:24:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 18:25:22 | <tomsmeding> | dminuoso: right, the problem diagnosis by Sam sounds like something sensible to me (though I haven't cross-referenced the ghc code -- just the description sounds sensible) |
| 2025-10-06 18:25:47 | <tomsmeding> | but as he says, whether one can just... not do that zonking is a question I have no idea how to answer :) |
| 2025-10-06 18:26:21 | <tomsmeding> | someone seems to have thought at some point that it was essential, presumably to preserve some kind of invariant -- naturally, said invariant was not documented |
| 2025-10-06 18:34:03 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-10-06 18:35:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-06 18:36:47 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2025-10-06 18:38:13 | × | sdrfan123 quits (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) (Quit: Client closed) |
| 2025-10-06 18:39:13 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-10-06 18:39:42 | × | peterbecich quits (~Thunderbi@47-149-198-150.fdr01.slbh.ca.ip.frontiernet.net) (Ping timeout: 260 seconds) |
| 2025-10-06 18:39:54 | → | sdrfan123 joins (~sdrfan123@2607:fb91:370d:6a0a:61fe:e768:2866:fd27) |
| 2025-10-06 18:40:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-06 18:40:20 | → | Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-10-06 18:42:07 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-06 18:46:53 | × | ircbrowse_tom_ quits (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2025-10-06 18:47:17 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 2025-10-06 18:47:17 | ThePenguin4 | is now known as ThePenguin |
| 2025-10-06 18:47:17 | → | Philonous_ joins (~Philonous@user/philonous) |
| 2025-10-06 18:47:18 | ggb_ | is now known as ggb |
| 2025-10-06 18:47:18 | Server | sets mode +Cnt |
| 2025-10-06 18:47:19 | → | vgtw_ joins (~vgtw@user/vgtw) |
| 2025-10-06 18:47:21 | × | ircbrowse_tom_ quits (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (Read error: Connection reset by peer) |
| 2025-10-06 18:47:21 | × | goldstein quits (~goldstein@goldstein.rs) (Read error: Connection reset by peer) |
| 2025-10-06 18:47:23 | × | hughjfchen quits (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 248 seconds) |
| 2025-10-06 18:47:23 | × | m1dnight quits (~m1dnight@d8D861A17.access.telenet.be) (Ping timeout: 248 seconds) |
| 2025-10-06 18:47:23 | × | red-snail quits (~red-snail@static.151.210.203.116.clients.your-server.de) (Ping timeout: 248 seconds) |
All times are in UTC.