| 2021-10-30 00:30:19 +0200 | alternateved | (~user@staticline-31-183-149-3.toya.net.pl) (Ping timeout: 268 seconds) |
| 2021-10-30 00:45:59 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-30 00:46:17 +0200 | <liskin> | oh well, all deps build just fine with 9.2.1, but xmonad doesn't: https://github.com/liskin/xmonad/runs/4051913163?check_suite_focus=true |
| 2021-10-30 00:46:57 +0200 | <liskin> | a bunch of Pattern match(es) are non-exhaustive because we do let (x:xs) = something which ghc doesn't know isn't [] |
| 2021-10-30 00:48:13 +0200 | <L29Ah> | but there's no 9.2.1 |
| 2021-10-30 00:48:25 +0200 | <liskin> | is there not? |
| 2021-10-30 00:48:52 +0200 | <L29Ah> | https://www.haskell.org/ghc/download.html yes |
| 2021-10-30 00:49:35 +0200 | <liskin> | well, some projects like to post announcement only after everything's really released :-D |
| 2021-10-30 00:50:11 +0200 | <liskin> | as opposed to us, who first post the announcment and only then try to do the release |
| 2021-10-30 00:50:41 +0200 | <liskin> | but according to Ben's twitter and Ben's post to the Haskell Discourse, it's been out for a few hours |
| 2021-10-30 00:51:30 +0200 | <geekosaur> | also the email to haskell-cafe |
| 2021-10-30 00:51:48 +0200 | <geekosaur> | probably the downloads page is having a caching issue again |
| 2021-10-30 00:55:02 +0200 | <geekosaur> | https://downloads.haskell.org/ghc/9.2.1 |
| 2021-10-30 00:55:26 +0200 | bsjd | (~user@2a02:a020:84:23d4:37d1:6af5:b908:f830) |
| 2021-10-30 00:57:13 +0200 | <geekosaur> | or someone just forgot to update it; it seems to not be on their release checklist and they keep forgetting to do it manually |
| 2021-10-30 00:57:48 +0200 | <liskin> | someone already reported it to the discourse thread so I'm sure it'll be taken care of later |
| 2021-10-30 01:11:04 +0200 | <liskin> | hm, but isn't it a bit weird that these warnings appeared now? the 9.0.1 release notes say "The revamp of the pattern-match coverage checker that started in 8.10 concludes with this release" and the 9.2.1 release notes don't talk about this at all |
| 2021-10-30 01:23:14 +0200 | seschwar | (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-10-30 01:52:59 +0200 | bsjd | (~user@2a02:a020:84:23d4:37d1:6af5:b908:f830) (Remote host closed the connection) |
| 2021-10-30 01:56:37 +0200 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-30 02:00:03 +0200 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) (*.net *.split) |
| 2021-10-30 02:00:03 +0200 | terrorjack | (~terrorjac@static.3.200.12.49.clients.your-server.de) (*.net *.split) |
| 2021-10-30 02:00:04 +0200 | AndrewYu | (~andrew@user/andrewyu) (*.net *.split) |
| 2021-10-30 02:00:04 +0200 | Solitary | (~Solitary@user/solitary) (*.net *.split) |
| 2021-10-30 02:00:04 +0200 | burp | (~quassel@hedgewars/sysadmin/burp) (*.net *.split) |
| 2021-10-30 02:00:04 +0200 | lazycat | (~lazycat@user/lazycat) (*.net *.split) |
| 2021-10-30 02:00:05 +0200 | haasn | (~nand@haasn.dev) (*.net *.split) |
| 2021-10-30 02:00:05 +0200 | davve | (davve@bsd.douchedata.com) (*.net *.split) |
| 2021-10-30 02:00:05 +0200 | pyriphlegeton[m] | (~pyriphleg@2001:470:69fc:105::1:1f49) (*.net *.split) |
| 2021-10-30 02:00:05 +0200 | scardinal | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (*.net *.split) |
| 2021-10-30 02:00:05 +0200 | vrs | (~vrs@user/vrs) (*.net *.split) |
| 2021-10-30 02:00:05 +0200 | deepy | (deepy@user/deepy) (*.net *.split) |
| 2021-10-30 02:00:05 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-10-30 02:00:24 +0200 | scardinal | (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2021-10-30 02:00:44 +0200 | AndrewYu | (~andrew@andrewyu.org) |
| 2021-10-30 02:01:20 +0200 | lazycat | (~lazycat@mail.nubecula.net) |
| 2021-10-30 02:01:22 +0200 | AndrewYu | (~andrew@andrewyu.org) (Changing host) |
| 2021-10-30 02:01:22 +0200 | AndrewYu | (~andrew@user/andrewyu) |
| 2021-10-30 02:01:43 +0200 | lazycat | (~lazycat@mail.nubecula.net) (Changing host) |
| 2021-10-30 02:01:43 +0200 | lazycat | (~lazycat@user/lazycat) |
| 2021-10-30 02:02:01 +0200 | deepy | (deepy@user/deepy) |
| 2021-10-30 02:02:06 +0200 | burp | (~quassel@hedgewars/sysadmin/burp) |
| 2021-10-30 02:02:35 +0200 | haasn | (~nand@haasn.dev) |
| 2021-10-30 02:03:23 +0200 | humky | (~humky@user/humky) (Quit: Leaving) |
| 2021-10-30 02:03:24 +0200 | Solitary | (~Solitary@user/solitary) |
| 2021-10-30 02:03:31 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2021-10-30 02:03:32 +0200 | vrs | (~vrs@user/vrs) |
| 2021-10-30 02:04:02 +0200 | pyriphlegeton[m] | (~pyriphleg@2001:470:69fc:105::1:1f49) |
| 2021-10-30 02:04:24 +0200 | terrorjack | (~terrorjac@static.3.200.12.49.clients.your-server.de) |
| 2021-10-30 02:05:11 +0200 | davve | (davve@bsd.douchedata.com) |
| 2021-10-30 02:22:10 +0200 | trillp | (~trillp@69.233.98.238) |
| 2021-10-30 03:31:19 +0200 | trillp | (~trillp@69.233.98.238) (Quit: nyaa~) |
| 2021-10-30 04:00:00 +0200 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-30 04:04:31 +0200 | banc | (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 2021-10-30 04:22:17 +0200 | banc | (banc@gateway/vpn/airvpn/banc) |
| 2021-10-30 04:25:04 +0200 | Xaerru[m] | (~xaerrumat@2001:470:69fc:105::fe2d) |
| 2021-10-30 04:45:06 +0200 | eyenx | (~m-5paiux@eyenx.ch) (Remote host closed the connection) |
| 2021-10-30 04:45:46 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 04:45:53 +0200 | eyenx | (~m-5paiux@eyenx.ch) |
| 2021-10-30 04:53:04 +0200 | td_ | (~td@muedsl-82-207-238-132.citykom.de) (Ping timeout: 260 seconds) |
| 2021-10-30 04:54:40 +0200 | td_ | (~td@muedsl-82-207-238-253.citykom.de) |
| 2021-10-30 05:06:09 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 05:16:53 +0200 | td_ | (~td@muedsl-82-207-238-253.citykom.de) (Ping timeout: 264 seconds) |
| 2021-10-30 05:18:09 +0200 | td_ | (~td@muedsl-82-207-238-113.citykom.de) |
| 2021-10-30 06:02:07 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 06:02:54 +0200 | Hash | EnchanterTim |
| 2021-10-30 06:57:24 +0200 | EnchanterTim | HAsh |
| 2021-10-30 06:57:27 +0200 | HAsh | Hash |
| 2021-10-30 07:10:53 +0200 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 264 seconds) |
| 2021-10-30 07:16:41 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 07:40:10 +0200 | faultline | (~christian@193.27.14.21) (Ping timeout: 260 seconds) |
| 2021-10-30 07:43:42 +0200 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-30 07:56:21 +0200 | <Solid> | yeah that is a bit weird |
| 2021-10-30 07:57:19 +0200 | <Solid> | and to assure GHC that everything's okay we'd need to prove that reverse doesn't change the length, which seems dubious in vanilla Haskell |
| 2021-10-30 08:22:38 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 08:39:03 +0200 | catman | (~catman@user/catman) (Read error: Connection reset by peer) |
| 2021-10-30 08:57:01 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 09:42:11 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 09:45:19 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 10:08:05 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-10-30 10:08:58 +0200 | <liskin> | There's Data.List.NonEmpty |
| 2021-10-30 10:09:10 +0200 | <liskin> | I fixed most of those already yesterday |
| 2021-10-30 10:11:17 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 10:19:05 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 10:38:07 +0200 | Hash | (~weechat@protect.yourself.with.hashsecurity.org) (Quit: WeeChat 3.3) |
| 2021-10-30 10:42:55 +0200 | alternateved | (~user@staticline-31-183-149-3.toya.net.pl) |
| 2021-10-30 10:59:20 +0200 | Hash | (~weechat@thestonedapes.com) |
| 2021-10-30 11:00:09 +0200 | x7and7[m] | (~haidermir@2001:470:69fc:105::e7ba) (Quit: You have been kicked for being idle) |
| 2021-10-30 11:00:30 +0200 | Hash | (~weechat@thestonedapes.com) (Client Quit) |
| 2021-10-30 11:15:58 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 11:25:05 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 11:26:22 +0200 | catman | (~catman@user/catman) (Client Quit) |
| 2021-10-30 11:30:10 +0200 | Hash | (~weechat@thestonedapes.com) |
| 2021-10-30 11:38:58 +0200 | seschwar | (~seschwar@user/seschwar) |
| 2021-10-30 11:41:53 +0200 | themc47 | (~mc47@xmonad/TheMC47) |
| 2021-10-30 11:44:41 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Ping timeout: 245 seconds) |
| 2021-10-30 11:49:54 +0200 | Hash | (~weechat@thestonedapes.com) (Quit: WeeChat 3.3) |
| 2021-10-30 11:50:07 +0200 | themc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-30 11:51:11 +0200 | Hash | (~weechat@thestonedapes.com) |
| 2021-10-30 12:02:48 +0200 | stoned | (~weechat@thestonedapes.com) |
| 2021-10-30 12:03:17 +0200 | stoned | EnchanterTim |
| 2021-10-30 12:03:51 +0200 | Hash | (~weechat@thestonedapes.com) (Ping timeout: 245 seconds) |
| 2021-10-30 12:27:06 +0200 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.3) |
| 2021-10-30 13:42:20 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-10-30 14:43:27 +0200 | benin | (~benin@183.82.30.38) |
| 2021-10-30 15:01:54 +0200 | dariof4 | (~dariof4@134.0.0.51) |
| 2021-10-30 15:09:19 +0200 | <Solid> | oh true that one also has a reverse |
| 2021-10-30 15:12:56 +0200 | EnchanterTim | (~weechat@thestonedapes.com) (Quit: WeeChat 3.3) |
| 2021-10-30 15:13:12 +0200 | Hash | (~hash@thestonedapes.com) |
| 2021-10-30 15:28:19 +0200 | Hash | OpenSores |
| 2021-10-30 15:44:02 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-30 15:46:05 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-30 15:57:59 +0200 | OpenSores | (~hash@thestonedapes.com) (Quit: WeeChat 3.3) |
| 2021-10-30 15:58:15 +0200 | Hash | (~stoned@is.coding.when.stoned.io) |
| 2021-10-30 16:24:49 +0200 | gruntsplatter | (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-30 17:29:50 +0200 | steve__ | (~steve@ool-182c2aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-10-30 17:30:08 +0200 | steve__ | (~steve@ool-182c2aa4.dyn.optonline.net) |
| 2021-10-30 18:31:17 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 264 seconds) |
| 2021-10-30 18:46:01 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2021-10-30 19:13:17 +0200 | dariof4 | (~dariof4@134.0.0.51) (Ping timeout: 264 seconds) |
| 2021-10-30 19:15:13 +0200 | dariof4 | (~dariof4@5.179.181.91) |
| 2021-10-30 19:56:39 +0200 | dariof4 | (~dariof4@5.179.181.91) (Ping timeout: 268 seconds) |
| 2021-10-30 19:58:34 +0200 | dariof4 | (~dariof4@5.77.103.193) |
| 2021-10-30 20:07:01 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 20:14:58 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 20:15:22 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 20:20:45 +0200 | mvk | (~mvk@2607:fea8:5cc1:300::d3fb) |
| 2021-10-30 20:34:04 +0200 | Extropy | (~extropy@gateway/tor-sasl/extropy) |
| 2021-10-30 20:50:09 +0200 | trillp | (~trillp@69.233.98.238) |
| 2021-10-30 20:52:12 +0200 | dariof4 | (~dariof4@5.77.103.193) (Ping timeout: 265 seconds) |
| 2021-10-30 20:53:55 +0200 | dariof4 | (~dariof4@5.11.107.11) |
| 2021-10-30 21:38:47 +0200 | dariof4 | (~dariof4@5.11.107.11) (Ping timeout: 264 seconds) |
| 2021-10-30 21:40:20 +0200 | dariof4 | (~dariof4@95.131.44.100) |
| 2021-10-30 21:40:38 +0200 | benin | (~benin@183.82.30.38) (Quit: The Lounge - https://thelounge.chat) |
| 2021-10-30 21:51:19 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 22:06:23 +0200 | mvk | (~mvk@2607:fea8:5cc1:300::d3fb) (Ping timeout: 264 seconds) |
| 2021-10-30 22:27:32 +0200 | <geekosaur> | sorry for throwing water on the proceedings… |
| 2021-10-30 23:03:32 +0200 | catman | (~catman@user/catman) |
| 2021-10-30 23:16:35 +0200 | eblip | (~eb0t@90.211.41.180) (Ping timeout: 264 seconds) |
| 2021-10-30 23:18:27 +0200 | eblip | (~eb0t@90.196.142.2) |
| 2021-10-30 23:22:31 +0200 | catman | (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 23:24:28 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |