Logs on 2023-05-04 (liberachat/#xmonad)
| 00:02:44 | <[Leary]> | geekosaur: Some weird code in there, though I guess that was ezyang, not you. Like... |
| 00:02:49 | <[Leary]> | :t \mx f -> mx >>= maybe (return Nothing) (return . Just . f) |
| 00:02:50 | <lambdabot> | Monad m => m (Maybe a1) -> (a1 -> a2) -> m (Maybe a2) |
| 00:02:56 | <[Leary]> | Why not just double fmap? |
| 00:03:08 | <geekosaur> | yeh, I was pretty confused by that |
| 00:03:40 | <[Leary]> | And the direct application of a lambda in updateL1/2; why not let or where, or inline it? |
| 00:04:10 | <geekosaur> | mostly I just copied from the corresponding functions in the original (now ByWidth) |
| 00:04:27 | <geekosaur> | the mkNew… functions |
| 00:06:07 | <[Leary]> | I guess you prefer not to fix what isn't broken---personally, I wouldn't be able to resist cleaning that up. |
| 00:07:36 | <geekosaur> | yeh, I tend to stick to what's already there by default when messing with someone else's code |
| 00:09:03 | <geekosaur> | you can probably leave review comments if you want |
| 00:39:37 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 00:55:11 | → | tv joins (~tv@user/tv) |
| 01:44:13 | → | hightower3 joins (~hightower@230-61.dsl.iskon.hr) |
| 01:46:28 | × | hightower2 quits (~hightower@230-70.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 01:56:01 | × | srk quits (~sorki@user/srk) (Remote host closed the connection) |
| 01:56:20 | → | srk joins (~sorki@user/srk) |
| 02:48:05 | × | td_ quits (~td@i53870903.versanet.de) (Ping timeout: 240 seconds) |
| 02:50:05 | → | td_ joins (~td@i5387092F.versanet.de) |
| 03:08:04 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 06:05:12 | × | chomwitt quits (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 06:07:07 | → | chomwitt joins (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
| 06:08:43 | × | chomwitt quits (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 06:10:39 | → | chomwitt joins (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) |
| 06:50:17 | → | mncheck joins (~mncheck@193.224.205.254) |
| 07:10:22 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 07:10:48 | × | hightower3 quits (~hightower@230-61.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 07:27:30 | → | zawaken- joins (~zawaken@user/zawaken) |
| 07:28:24 | × | zawaken quits (~zawaken@user/zawaken) (Ping timeout: 250 seconds) |
| 07:51:05 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (*.net *.split) |
| 07:51:05 | × | pharonix71 quits (~pharonix7@user/pharonix71) (*.net *.split) |
| 07:52:07 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 07:52:07 | → | pharonix71 joins (~pharonix7@user/pharonix71) |
| 07:52:25 | <mekeor[m]> | hello. i use xmonad on guix system. after upgrading my user packages, i now can't recompile xmonad. ghc (or more specifically the linker ld) can't find "-lrt". but librt.so.1 is in my $LIBRARY_PATH. any ideas? |
| 07:54:41 | <geekosaur> | you need the non-versioned one (librt.so) at link time; librt.so.1 is a versioned runtime library |
| 07:55:16 | <geekosaur> | (this allows multiple runtime versions to coexist while allowing compilation to build against one of them) |
| 07:55:45 | <geekosaur> | I don't know guix so don't know how you proceed from here |
| 07:56:12 | <mekeor[m]> | oh. could i also somehow tell ghc to not link against librt. i suspect it's not actually needed? |
| 07:56:32 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Ping timeout: 240 seconds) |
| 07:56:36 | <geekosaur> | that would be up to the settings file, I think |
| 07:57:01 | <geekosaur> | cat $(ghc --print-libdir)/settings |
| 07:57:47 | <mekeor[m]> | jpoiret: why will :static fix this? :) |
| 07:57:58 | <geekosaur> | note that editing the settings file manually is a lovely way to break ghc completely; make a backup first |
| 07:58:57 | <mekeor[m]> | i just got some more info from #guix. apparently, the guix maintainers forgot to add an empty librt.a. apparently, installing gcc-toolchain:static will fix it. i'm now trying. |
| 07:59:09 | <mekeor[m]> | yes, that works. |
| 07:59:19 | <mekeor[m]> | still, thanks, geekosaur! :) |
| 07:59:51 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 09:00:16 | × | liskin[m] quits (~liskinmat@2001:470:69fc:105::768) (Quit: You have been kicked for being idle) |
| 09:00:16 | × | unclechu quits (~unclechu@2001:470:69fc:105::354) (Quit: You have been kicked for being idle) |
| 09:06:10 | → | YudditeG[m] joins (~errisnotn@2001:470:69fc:105::3:3dbe) |
| 09:06:48 | → | hightower2 joins (~hightower@85.94.71.188) |
| 09:25:33 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 09:39:01 | × | ft quits (~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:45:30 | × | chomwitt quits (~chomwitt@2a02:587:7a1f:b500:1ac0:4dff:fedb:a3f1) (Ping timeout: 260 seconds) |
| 09:56:04 | × | mncheck quits (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 10:57:44 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Ping timeout: 240 seconds) |
| 10:59:05 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 11:41:00 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 12:05:43 | × | stellacy quits (~stellacy@gateway/tor-sasl/stellacy) (Remote host closed the connection) |
| 12:06:09 | → | stellacy joins (~stellacy@gateway/tor-sasl/stellacy) |
| 13:26:45 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 13:31:04 | → | chomwitt joins (~chomwitt@ppp-94-67-201-180.home.otenet.gr) |
| 13:32:36 | × | nexilva[m] quits (~nexilvama@2001:470:69fc:105::2:cf52) (Quit: Bridge terminating on SIGTERM) |
| 13:32:36 | × | qbit_m quits (~qbittapen@2001:470:69fc:105::194) (Quit: Bridge terminating on SIGTERM) |
| 13:32:36 | × | YuuYin[m] quits (~yuuyin@2001:470:69fc:105::8a6) (Quit: Bridge terminating on SIGTERM) |
| 13:32:36 | × | sibi quits (~sibi@2001:470:69fc:105::8ab) (Quit: Bridge terminating on SIGTERM) |
| 13:32:36 | × | VarikValefor[m] quits (~varikvale@2001:470:69fc:105::a5d) (Quit: Bridge terminating on SIGTERM) |
| 13:32:36 | × | Etxeberrialex[m] quits (~etxeberri@2001:470:69fc:105::1:5ae6) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | jade[m] quits (~hopelessn@2001:470:69fc:105::3:4043) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | mon_aaraj quits (~montchncs@2001:470:69fc:105::8e6b) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | geekosaur[m] quits (~geekosaur@xmonad/geekosaur) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | IsaacShapira[m] quits (~isaacshap@2001:470:69fc:105::1:c253) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | hellwolf[m] quits (~hellwolfm@2001:470:69fc:105::3:6a4) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | YudditeG[m] quits (~errisnotn@2001:470:69fc:105::3:3dbe) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | Thiago[m] quits (~thiagommm@2001:470:69fc:105::3:7da) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | mc47[m] quits (~mc47matri@2001:470:69fc:105::733) (Quit: Bridge terminating on SIGTERM) |
| 13:32:37 | × | jchia[m] quits (~jchiamatr@2001:470:69fc:105::c50b) (Quit: Bridge terminating on SIGTERM) |
| 13:32:38 | × | fr1d4y[m] quits (~fr1d4yenv@2001:470:69fc:105::2:ea3c) (Quit: Bridge terminating on SIGTERM) |
| 13:32:38 | × | sythemeta847[m] quits (~sythemeta@2001:470:69fc:105::3:4513) (Quit: Bridge terminating on SIGTERM) |
| 13:32:38 | × | JonathanWatson[m quits (~jjwmatrix@2001:470:69fc:105::2:a544) (Quit: Bridge terminating on SIGTERM) |
| 13:32:38 | × | jedimahdi[m] quits (~jedimahdi@2001:470:69fc:105::3:49bf) (Quit: Bridge terminating on SIGTERM) |
| 13:32:39 | × | deip[m] quits (~deipmatri@2001:470:69fc:105::2:679e) (Quit: Bridge terminating on SIGTERM) |
| 13:32:39 | × | MPT[m] quits (~mpt9611ma@2001:470:69fc:105::3:4597) (Quit: Bridge terminating on SIGTERM) |
| 13:32:40 | × | HAL[m] quits (~evadk8mat@2001:470:69fc:105::3ed0) (Quit: Bridge terminating on SIGTERM) |
| 13:32:40 | × | mazte[m] quits (~sujammama@2001:470:69fc:105::2:ea4c) (Quit: Bridge terminating on SIGTERM) |
| 13:32:40 | × | meck[m] quits (~meckmeckd@2001:470:69fc:105::3a51) (Quit: Bridge terminating on SIGTERM) |
| 13:32:41 | × | mekeor[m] quits (~mekeormat@2001:470:69fc:105::17e4) (Quit: Bridge terminating on SIGTERM) |
| 13:32:41 | × | sparksdrinker[m] quits (~sparksdri@2001:470:69fc:105::3:1939) (Quit: Bridge terminating on SIGTERM) |
| 13:32:41 | × | derinachan[m] quits (~derina541@2001:470:69fc:105::3:4af6) (Quit: Bridge terminating on SIGTERM) |
| 13:32:41 | × | Solid[m] quits (~slot-matr@2001:470:69fc:105::1:a84) (Quit: Bridge terminating on SIGTERM) |
| 13:32:41 | × | lykos153 quits (~lykos153@2001:470:69fc:105::c8ea) (Quit: Bridge terminating on SIGTERM) |
| 13:32:41 | × | nasrudin_[m] quits (~nasrudinm@2001:470:69fc:105::2:f299) (Quit: Bridge terminating on SIGTERM) |
| 13:32:42 | × | HB[m] quits (~hash@2001:470:69fc:105::1:19e2) (Quit: Bridge terminating on SIGTERM) |
| 13:32:43 | × | jaspion[m] quits (~jaspionmo@2001:470:69fc:105::2:fd41) (Quit: Bridge terminating on SIGTERM) |
| 13:36:01 | → | sibi joins (~sibi@2001:470:69fc:105::8ab) |
| 13:43:53 | → | qbit_m joins (~qbittapen@2001:470:69fc:105::194) |
| 13:43:53 | → | YuuYin[m] joins (~yuuyin@2001:470:69fc:105::8a6) |
| 13:43:53 | → | VarikValefor[m] joins (~varikvale@2001:470:69fc:105::a5d) |
| 13:43:53 | → | mon_aaraj joins (~montchncs@2001:470:69fc:105::8e6b) |
| 13:43:53 | → | nexilva[m] joins (~nexilvama@2001:470:69fc:105::2:cf52) |
| 13:43:53 | → | sythemeta847[m] joins (~sythemeta@2001:470:69fc:105::3:4513) |
| 13:43:53 | → | mpt7919[m] joins (~mpt9611ma@2001:470:69fc:105::3:4597) |
| 13:43:53 | → | jade[m]1 joins (~hopelessn@2001:470:69fc:105::3:4043) |
| 13:43:53 | → | Etxeberrialex[m] joins (~etxeberri@2001:470:69fc:105::1:5ae6) |
| 13:43:53 | → | hellwolf[m] joins (~hellwolfm@2001:470:69fc:105::3:6a4) |
| 13:43:54 | → | IsaacShapira[m] joins (~isaacshap@2001:470:69fc:105::1:c253) |
| 13:43:54 | → | geekosaur[m] joins (~geekosaur@xmonad/geekosaur) |
| 13:43:54 | → | derinachan[m] joins (~derina541@2001:470:69fc:105::3:4af6) |
| 13:43:54 | → | YudditeG[m] joins (~errisnotn@2001:470:69fc:105::3:3dbe) |
| 13:44:05 | → | jaspion[m] joins (~jaspionmo@2001:470:69fc:105::2:fd41) |
| 13:44:05 | → | Solid[m] joins (~slot-matr@2001:470:69fc:105::1:a84) |
| 13:44:05 | → | mazte[m] joins (~sujammama@2001:470:69fc:105::2:ea4c) |
| 13:44:05 | → | jchia[m] joins (~jchiamatr@2001:470:69fc:105::c50b) |
| 13:44:05 | → | JonathanWatson[m joins (~jjwmatrix@2001:470:69fc:105::2:a544) |
| 13:44:05 | → | mc47[m] joins (~mc47matri@2001:470:69fc:105::733) |
| 13:44:06 | → | jedimahdi[m] joins (~jedimahdi@2001:470:69fc:105::3:49bf) |
| 13:44:06 | → | sparksdrinker[m] joins (~sparksdri@2001:470:69fc:105::3:1939) |
| 13:44:06 | → | HAL[m] joins (~evadk8mat@2001:470:69fc:105::3ed0) |
| 13:44:06 | → | meck[m] joins (~meckmeckd@2001:470:69fc:105::3a51) |
| 13:44:06 | → | Thiago[m] joins (~thiagommm@2001:470:69fc:105::3:7da) |
| 13:44:06 | → | fr1d4y[m] joins (~fr1d4yenv@2001:470:69fc:105::2:ea3c) |
| 13:44:06 | → | HB[m] joins (~hash@2001:470:69fc:105::1:19e2) |
| 13:44:06 | → | nasrudin_[m] joins (~nasrudinm@2001:470:69fc:105::2:f299) |
| 13:44:06 | → | deip[m] joins (~deipmatri@2001:470:69fc:105::2:679e) |
| 13:44:07 | → | lykos153 joins (~lykos153@2001:470:69fc:105::c8ea) |
| 13:53:03 | → | mekeor[m] joins (~mekeormat@2001:470:69fc:105::17e4) |
| 16:22:47 | mazte[m] | is now known as antagonista[m] |
| 17:54:13 | × | hightower2 quits (~hightower@85.94.71.188) (Ping timeout: 268 seconds) |
| 19:07:11 | → | stackdroid18 joins (14094@de1.hashbang.sh) |
| 21:01:21 | → | ft joins (~ft@p4fc2a88b.dip0.t-ipconnect.de) |
| 21:05:21 | × | stackdroid18 quits (14094@de1.hashbang.sh) (Quit: hasta la vista... tchau!) |
| 21:24:22 | × | noex quits (~null@user/noex) (Quit: :q!) |
| 22:48:08 | → | hightower2 joins (~hightower@85.94.71.188) |
| 23:11:24 | × | chomwitt quits (~chomwitt@ppp-94-67-201-180.home.otenet.gr) (Remote host closed the connection) |
| 23:21:20 | ← | qbit_m parts (~qbittapen@2001:470:69fc:105::194) () |
All times are in UTC on 2023-05-04.