Logs: liberachat/#xmonad
| 2021-10-29 22:57:13 | <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-29 22:57:48 | <liskin> | someone already reported it to the discourse thread so I'm sure it'll be taken care of later |
| 2021-10-29 23:11:04 | <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-29 23:23:14 | × | seschwar quits (~seschwar@user/seschwar) (Quit: :wq) |
| 2021-10-29 23:52:59 | × | bsjd quits (~user@2a02:a020:84:23d4:37d1:6af5:b908:f830) (Remote host closed the connection) |
| 2021-10-29 23:56:37 | → | gruntsplatter joins (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-30 00:00:03 | × | gruntsplatter quits (~sogens@gateway/vpn/pia/sogens) (*.net *.split) |
| 2021-10-30 00:00:03 | × | terrorjack quits (~terrorjac@static.3.200.12.49.clients.your-server.de) (*.net *.split) |
| 2021-10-30 00:00:04 | × | AndrewYu quits (~andrew@user/andrewyu) (*.net *.split) |
| 2021-10-30 00:00:04 | × | Solitary quits (~Solitary@user/solitary) (*.net *.split) |
| 2021-10-30 00:00:04 | × | burp quits (~quassel@hedgewars/sysadmin/burp) (*.net *.split) |
| 2021-10-30 00:00:04 | × | lazycat quits (~lazycat@user/lazycat) (*.net *.split) |
| 2021-10-30 00:00:05 | × | haasn quits (~nand@haasn.dev) (*.net *.split) |
| 2021-10-30 00:00:05 | × | davve quits (davve@bsd.douchedata.com) (*.net *.split) |
| 2021-10-30 00:00:05 | × | pyriphlegeton[m] quits (~pyriphleg@2001:470:69fc:105::1:1f49) (*.net *.split) |
| 2021-10-30 00:00:05 | × | scardinal quits (~supreme@customer-212-237-101-39.ip4.gigabit.dk) (*.net *.split) |
| 2021-10-30 00:00:05 | × | vrs quits (~vrs@user/vrs) (*.net *.split) |
| 2021-10-30 00:00:05 | × | deepy quits (deepy@user/deepy) (*.net *.split) |
| 2021-10-30 00:00:05 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 2021-10-30 00:00:24 | → | scardinal joins (~supreme@customer-212-237-101-39.ip4.gigabit.dk) |
| 2021-10-30 00:00:44 | → | AndrewYu joins (~andrew@andrewyu.org) |
| 2021-10-30 00:01:20 | → | lazycat joins (~lazycat@mail.nubecula.net) |
| 2021-10-30 00:01:22 | × | AndrewYu quits (~andrew@andrewyu.org) (Changing host) |
| 2021-10-30 00:01:22 | → | AndrewYu joins (~andrew@user/andrewyu) |
| 2021-10-30 00:01:43 | × | lazycat quits (~lazycat@mail.nubecula.net) (Changing host) |
| 2021-10-30 00:01:43 | → | lazycat joins (~lazycat@user/lazycat) |
| 2021-10-30 00:02:01 | → | deepy joins (deepy@user/deepy) |
| 2021-10-30 00:02:06 | → | burp joins (~quassel@hedgewars/sysadmin/burp) |
| 2021-10-30 00:02:35 | → | haasn joins (~nand@haasn.dev) |
| 2021-10-30 00:03:23 | × | humky quits (~humky@user/humky) (Quit: Leaving) |
| 2021-10-30 00:03:24 | → | Solitary joins (~Solitary@user/solitary) |
| 2021-10-30 00:03:31 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 2021-10-30 00:03:32 | → | vrs joins (~vrs@user/vrs) |
| 2021-10-30 00:04:02 | → | pyriphlegeton[m] joins (~pyriphleg@2001:470:69fc:105::1:1f49) |
| 2021-10-30 00:04:24 | → | terrorjack joins (~terrorjac@static.3.200.12.49.clients.your-server.de) |
| 2021-10-30 00:05:11 | → | davve joins (davve@bsd.douchedata.com) |
| 2021-10-30 00:22:10 | → | trillp joins (~trillp@69.233.98.238) |
| 2021-10-30 01:31:19 | × | trillp quits (~trillp@69.233.98.238) (Quit: nyaa~) |
| 2021-10-30 02:00:00 | → | gruntsplatter joins (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-30 02:04:31 | × | banc quits (banc@gateway/vpn/airvpn/banc) (Ping timeout: 260 seconds) |
| 2021-10-30 02:22:17 | → | banc joins (banc@gateway/vpn/airvpn/banc) |
| 2021-10-30 02:25:04 | → | Xaerru[m] joins (~xaerrumat@2001:470:69fc:105::fe2d) |
| 2021-10-30 02:45:06 | × | eyenx quits (~m-5paiux@eyenx.ch) (Remote host closed the connection) |
| 2021-10-30 02:45:46 | → | catman joins (~catman@user/catman) |
| 2021-10-30 02:45:53 | → | eyenx joins (~m-5paiux@eyenx.ch) |
| 2021-10-30 02:53:04 | × | td_ quits (~td@muedsl-82-207-238-132.citykom.de) (Ping timeout: 260 seconds) |
| 2021-10-30 02:54:40 | → | td_ joins (~td@muedsl-82-207-238-253.citykom.de) |
| 2021-10-30 03:06:09 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 03:16:53 | × | td_ quits (~td@muedsl-82-207-238-253.citykom.de) (Ping timeout: 264 seconds) |
| 2021-10-30 03:18:09 | → | td_ joins (~td@muedsl-82-207-238-113.citykom.de) |
| 2021-10-30 04:02:07 | → | catman joins (~catman@user/catman) |
| 2021-10-30 04:02:54 | Hash | is now known as EnchanterTim |
| 2021-10-30 04:57:24 | EnchanterTim | is now known as HAsh |
| 2021-10-30 04:57:27 | HAsh | is now known as Hash |
| 2021-10-30 05:10:53 | × | gruntsplatter quits (~sogens@gateway/vpn/pia/sogens) (Ping timeout: 264 seconds) |
| 2021-10-30 05:16:41 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 05:40:10 | × | faultline quits (~christian@193.27.14.21) (Ping timeout: 260 seconds) |
| 2021-10-30 05:43:42 | → | gruntsplatter joins (~sogens@gateway/vpn/pia/sogens) |
| 2021-10-30 05:56:21 | <Solid> | yeah that is a bit weird |
| 2021-10-30 05:57:19 | <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 06:22:38 | → | catman joins (~catman@user/catman) |
| 2021-10-30 06:39:03 | × | catman quits (~catman@user/catman) (Read error: Connection reset by peer) |
| 2021-10-30 06:57:01 | → | catman joins (~catman@user/catman) |
| 2021-10-30 07:42:11 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 07:45:19 | → | catman joins (~catman@user/catman) |
| 2021-10-30 08:08:05 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-10-30 08:08:58 | <liskin> | There's Data.List.NonEmpty |
| 2021-10-30 08:09:10 | <liskin> | I fixed most of those already yesterday |
| 2021-10-30 08:11:17 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 08:19:05 | → | catman joins (~catman@user/catman) |
| 2021-10-30 08:38:07 | × | Hash quits (~weechat@protect.yourself.with.hashsecurity.org) (Quit: WeeChat 3.3) |
| 2021-10-30 08:42:55 | → | alternateved joins (~user@staticline-31-183-149-3.toya.net.pl) |
| 2021-10-30 08:59:20 | → | Hash joins (~weechat@thestonedapes.com) |
| 2021-10-30 09:00:09 | × | x7and7[m] quits (~haidermir@2001:470:69fc:105::e7ba) (Quit: You have been kicked for being idle) |
| 2021-10-30 09:00:30 | × | Hash quits (~weechat@thestonedapes.com) (Client Quit) |
| 2021-10-30 09:15:58 | × | catman quits (~catman@user/catman) (Quit: WeeChat 3.4-dev) |
| 2021-10-30 09:25:05 | → | catman joins (~catman@user/catman) |
| 2021-10-30 09:26:22 | × | catman quits (~catman@user/catman) (Client Quit) |
| 2021-10-30 09:30:10 | → | Hash joins (~weechat@thestonedapes.com) |
| 2021-10-30 09:38:58 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-10-30 09:41:53 | → | themc47 joins (~mc47@xmonad/TheMC47) |
| 2021-10-30 09:44:41 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 245 seconds) |
| 2021-10-30 09:49:54 | × | Hash quits (~weechat@thestonedapes.com) (Quit: WeeChat 3.3) |
| 2021-10-30 09:50:07 | × | themc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-30 09:51:11 | → | Hash joins (~weechat@thestonedapes.com) |
| 2021-10-30 10:02:48 | → | stoned joins (~weechat@thestonedapes.com) |
| 2021-10-30 10:03:17 | stoned | is now known as EnchanterTim |
| 2021-10-30 10:03:51 | × | Hash quits (~weechat@thestonedapes.com) (Ping timeout: 245 seconds) |
| 2021-10-30 10:27:06 | × | gruntsplatter quits (~sogens@gateway/vpn/pia/sogens) (Quit: WeeChat 3.3) |
| 2021-10-30 11:42:20 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-10-30 12:43:27 | → | benin joins (~benin@183.82.30.38) |
| 2021-10-30 13:01:54 | → | dariof4 joins (~dariof4@134.0.0.51) |
| 2021-10-30 13:09:19 | <Solid> | oh true that one also has a reverse |
| 2021-10-30 13:12:56 | × | EnchanterTim quits (~weechat@thestonedapes.com) (Quit: WeeChat 3.3) |
| 2021-10-30 13:13:12 | → | Hash joins (~hash@thestonedapes.com) |
| 2021-10-30 13:28:19 | Hash | is now known as OpenSores |
| 2021-10-30 13:44:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-30 13:46:05 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-10-30 13:57:59 | × | OpenSores quits (~hash@thestonedapes.com) (Quit: WeeChat 3.3) |
| 2021-10-30 13:58:15 | → | Hash joins (~stoned@is.coding.when.stoned.io) |
All times are in UTC.