Logs: freenode/#xmonad
| 2021-04-29 10:34:56 | <Solid> | but if we bracket that and an exception occurs surely it's not safe to peek to get the pointers to res_{name,class}? |
| 2021-04-29 10:36:38 | <Liskni_si> | not sure I follow |
| 2021-04-29 10:36:57 | <Liskni_si> | the bracket is there so that if an exception occurs, we don't forget the xFrees |
| 2021-04-29 10:39:05 | <Liskni_si> | s/is there/would be there/ :-) |
| 2021-04-29 10:40:21 | <Solid> | but if we put `xGetClassHint` in the acquire then the release only gets a `Status`; we only get the pointers after calling `#{peek ...}` |
| 2021-04-29 10:42:07 | <Liskni_si> | oh, I see |
| 2021-04-29 10:43:05 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-29 10:43:15 | <Liskni_si> | but I believe it is indeed safe to peek at the pointers, as long as you're inside the alloca XClassHint bracket |
| 2021-04-29 10:43:37 | <Liskni_si> | although it is a bit weird to peek at them twice |
| 2021-04-29 10:49:31 | <Liskni_si> | it's a shame there's no alloca that acts like calloc :-/ |
| 2021-04-29 10:50:02 | <Liskni_si> | turns out it's not really safe to peek without also making sure the pointers are initialized to NULL |
| 2021-04-29 10:50:24 | <Liskni_si> | this will end up being ugly code :-/ |
| 2021-04-29 10:51:49 | <Liskni_si> | it's entirely possible the rest of X11 (the haskell lib) is just as unsafe with exceptions, and in that case it may be best to just give up :-) |
| 2021-04-29 10:52:53 | <Liskni_si> | it's mostly async exceptions we're talking about here, xGetClassHint or peek won't raise anything meaningful really |
| 2021-04-29 11:03:45 | → | _0dI joins (~user@193-154-44-255.adsl.highway.telekom.at) |
| 2021-04-29 11:25:57 | → | notis joins (~notis@85.203.44.60) |
| 2021-04-29 11:38:44 | <mc47[m]> | Solid did you think about including your TI datatype in the TopicSpace module? I think they're pretty neat |
| 2021-04-29 11:42:30 | <mc47[m]> | DynamicProjects was cool but it messes up my workspaces, and I'm not sure if that's the expected behavior |
| 2021-04-29 11:47:31 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-29 11:56:10 | <Solid> | mc47[m]: I think I stole that particular definition from byorgey's config so I'd feel a bit weird about just adding it :P |
| 2021-04-29 11:57:09 | <Solid> | Liskni_si: I see similar xFree usage throughout, but I still feel some self-destructive urge to get this right |
| 2021-04-29 11:57:26 | <mc47[m]> | Oh, byorgey wrote DynamicProjects and it goes somewhere in that direction... |
| 2021-04-29 11:59:17 | <Solid> | wrote and uses are two different things sometimes :> |
| 2021-04-29 12:05:32 | × | xubun2 quits (~xubun2@unaffiliated/xubun2) (Ping timeout: 240 seconds) |
| 2021-04-29 12:08:31 | → | xubun2 joins (~xubun2@unaffiliated/xubun2) |
| 2021-04-29 12:40:17 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-04-29 12:45:15 | × | idhugo__ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-04-29 12:45:42 | → | idhugo__ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-29 12:50:16 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-29 12:55:00 | <mc47> | Solid yep he doesn't use it apparently... I promised myself I won't spend too much on it, but it's getting harder to keep that promise :D |
| 2021-04-29 12:55:01 | × | notis quits (~notis@85.203.44.60) (Read error: Connection reset by peer) |
| 2021-04-29 12:55:14 | <Solid> | :) |
| 2021-04-29 12:59:37 | × | idhugo__ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2021-04-29 13:03:50 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-29 13:17:14 | → | kelnoky joins (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) |
| 2021-04-29 13:36:47 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-29 13:41:49 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-29 13:43:38 | → | eb0t joins (~eblip@unaffiliated/eblip) |
| 2021-04-29 14:10:21 | → | idhugo__ joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-04-29 14:43:10 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-04-29 14:56:41 | × | kelnoky quits (~shao@ip1f128ba7.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.1) |
| 2021-04-29 15:36:27 | → | seschwar joins (~seschwar@unaffiliated/seschwar) |
| 2021-04-29 15:40:07 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-04-29 15:58:26 | → | notis joins (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77) |
| 2021-04-29 16:04:33 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-29 16:06:06 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-29 16:15:05 | <Solid> | oh you merged the x11 pr already |
| 2021-04-29 16:15:38 | <Solid> | that means I'm saved from self destructive tendencies |
| 2021-04-29 16:15:40 | <Solid> | yay :D |
| 2021-04-29 16:20:09 | <Liskni_si> | I didn't realize you actually intended to act upon those tendencies in that same PR |
| 2021-04-29 16:20:16 | <Liskni_si> | but it's for the best I guess :-) |
| 2021-04-29 16:20:29 | <Solid> | :) |
| 2021-04-29 16:20:38 | <Solid> | tbh I should really lose my fear of low-level stuff |
| 2021-04-29 16:20:45 | <Solid> | maybe I'll revisit this at some poin |
| 2021-04-29 16:25:33 | <Liskni_si> | that fear is understandable, as the type system no longer has your back there |
| 2021-04-29 16:26:02 | <Liskni_si> | I wonder if running GHC-compiled code under valgrind prints a lot of noise or not |
| 2021-04-29 16:27:05 | <Liskni_si> | and then there's all that modern stuff like fuzzers and address space whatever and stack canaries and whatnot that wasn't available when I was young enough to do low-level stuff on a daily basis |
| 2021-04-29 16:27:26 | <Liskni_si> | but it's not as solid as a type system :-) |
| 2021-04-29 16:27:41 | <geekosaur> | +RTS -V0 |
| 2021-04-29 16:28:27 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-04-29 16:28:42 | <geekosaur> | turns off the master timer, which reduces the noise considerably |
| 2021-04-29 16:29:55 | <geekosaur> | I do wonder what valgrind would make of the 2-stage allocator though |
| 2021-04-29 16:30:06 | <geekosaur> | memcheck's probably a lost cause |
| 2021-04-29 16:33:19 | <geekosaur> | sadly there's no RTS option to select the old memory allocator, you need a ghc built with it |
| 2021-04-29 16:33:44 | <Liskni_si> | I must admit I have very little idea what you're talking about :-) |
| 2021-04-29 16:39:07 | × | materiyolo quits (~materiyol@112.204.174.249) (Read error: Connection reset by peer) |
| 2021-04-29 16:40:03 | <Solid> | here's to hoping that I'll pick some of this stuff up through osmosis as time goes on =) |
| 2021-04-29 16:44:45 | × | notis quits (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77) (Ping timeout: 250 seconds) |
| 2021-04-29 16:45:07 | → | notis joins (~notis@85.203.44.100) |
| 2021-04-29 16:55:12 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-29 16:57:06 | × | coldpress quits (~coldpress@128.9.105.34.bc.googleusercontent.com) (Ping timeout: 240 seconds) |
| 2021-04-29 16:57:43 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-29 17:00:32 | × | idhugo__ quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-29 17:22:50 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
| 2021-04-29 17:38:11 | × | xubun2 quits (~xubun2@unaffiliated/xubun2) (Ping timeout: 240 seconds) |
| 2021-04-29 18:12:51 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-29 18:16:49 | → | ADG1089 joins (~aditya@171.76.29.233) |
| 2021-04-29 18:21:53 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-29 19:12:35 | × | ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 246 seconds) |
| 2021-04-29 19:20:40 | → | linuxguru joins (~linuxguru@2607:fea8:d660:468e::3) |
| 2021-04-29 19:25:56 | → | ml| joins (~ml|@unaffiliated/ml/x-3958674) |
| 2021-04-29 19:30:41 | × | ml| quits (~ml|@unaffiliated/ml/x-3958674) (Ping timeout: 268 seconds) |
| 2021-04-29 19:39:42 | × | heatwave quits (~heatwave@192.145.118.157) (Quit: WeeChat 3.1) |
| 2021-04-29 19:43:00 | → | ml| joins (~ml|@unaffiliated/ml/x-3958674) |
| 2021-04-29 19:44:13 | → | toniz4 joins (~toniz4@unaffiliated/toniz4) |
| 2021-04-29 19:44:42 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-04-29 19:50:14 | × | toniz4 quits (~toniz4@unaffiliated/toniz4) (Quit: leaving) |
| 2021-04-29 19:50:33 | → | toniz4 joins (~toniz4@unaffiliated/toniz4) |
| 2021-04-29 19:51:41 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-04-29 20:02:13 | × | _0dI quits (~user@193-154-44-255.adsl.highway.telekom.at) (Ping timeout: 260 seconds) |
| 2021-04-29 20:31:22 | × | notis quits (~notis@85.203.44.100) (Ping timeout: 252 seconds) |
| 2021-04-29 20:33:31 | → | notis joins (~notis@2a02:2149:8a44:5700:3fe0:286c:a70f:ba77) |
| 2021-04-29 20:45:07 | × | ADG1089 quits (~aditya@171.76.29.233) (Remote host closed the connection) |
| 2021-04-29 21:02:15 | × | toniz4 quits (~toniz4@unaffiliated/toniz4) (Remote host closed the connection) |
| 2021-04-29 21:02:29 | × | kajzer quits (~kajzer@unaffiliated/kajzer) (Quit: WeeChat 3.1) |
| 2021-04-29 21:03:10 | → | kajzer joins (~kajzer@unaffiliated/kajzer) |
| 2021-04-29 21:40:26 | × | linuxguru quits (~linuxguru@2607:fea8:d660:468e::3) (Quit: WeeChat 3.1) |
| 2021-04-29 21:52:54 | × | seschwar quits (~seschwar@unaffiliated/seschwar) (Quit: :wq) |
| 2021-04-29 22:24:18 | → | drl joins (~l@2600:1700:8360:3870:4d08:914b:f058:f092) |
| 2021-04-29 22:31:37 | × | drl quits (~l@2600:1700:8360:3870:4d08:914b:f058:f092) (Quit: Leaving) |
All times are in UTC.