Logs: freenode/#xmonad
| 2021-05-18 08:56:04 | <Solid> | something like typeOf (undefined :: Int) |
| 2021-05-18 08:56:30 | <Solid> | It's a stupid error I agree, but the test is easy to write and runs in no time at all |
| 2021-05-18 08:58:14 | <Liskni_si> | if you use undefined instead of the value when writing back to extensibleConf, then surely the lookup tests already fail |
| 2021-05-18 08:58:45 | <Liskni_si> | oh, but you can put it in the map under a different type, okay |
| 2021-05-18 08:58:55 | <Liskni_si> | sure, add a test for a different type, why not |
| 2021-05-18 08:59:40 | <Liskni_si> | a test that adds and looks up two different types might be a good idea |
| 2021-05-18 09:00:01 | <Liskni_si> | anyway it seems like now is the only time without rain this whole week, so I'm out |
| 2021-05-18 09:00:59 | <Solid> | hf! :) |
| 2021-05-18 09:06:18 | × | notis quits (~notis@85.203.44.186) (Ping timeout: 265 seconds) |
| 2021-05-18 09:07:19 | → | kajzer joins (~kajzer@unaffiliated/kajzer) |
| 2021-05-18 09:08:08 | → | notis joins (~notis@85.203.44.98) |
| 2021-05-18 09:11:25 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-18 09:42:40 | × | Irishluck83 quits (~Irishluck@unaffiliated/irishluck83) (Ping timeout: 252 seconds) |
| 2021-05-18 09:43:20 | → | Irishluck83 joins (~Irishluck@149.28.126.73) |
| 2021-05-18 09:43:20 | × | Irishluck83 quits (~Irishluck@149.28.126.73) (Changing host) |
| 2021-05-18 09:43:20 | → | Irishluck83 joins (~Irishluck@unaffiliated/irishluck83) |
| 2021-05-18 09:51:47 | → | materiyolo joins (~materiyol@112.205.57.255) |
| 2021-05-18 09:54:38 | × | novas0x2a quits (~blah@157-131-126-102.fiber.dynamic.sonic.net) (Read error: Connection reset by peer) |
| 2021-05-18 09:54:43 | → | novas0x2a1 joins (~blah@157-131-126-102.fiber.dynamic.sonic.net) |
| 2021-05-18 10:28:43 | <dminuoso> | Solid: TypeApplication is a sad part of Haskell. It's just not right :( |
| 2021-05-18 10:29:43 | <Solid> | dminuoso: how so? |
| 2021-05-18 10:30:58 | <dminuoso> | For one, suddenly type variable order becomes part of your API - which means you need to forall every type variable if you dont want unexpected breakage (or worse buggy code when applying to the wrong type argument) |
| 2021-05-18 10:31:23 | <dminuoso> | Also, you cant apply visible type variables to inferred type arguments |
| 2021-05-18 10:31:33 | <dminuoso> | That bit very rapidly gets incredibly frustrating |
| 2021-05-18 10:32:45 | <dminuoso> | Every time I have used TypeApplication I have regretted it, Proxy is just the cleaner and more stable approach |
| 2021-05-18 10:33:18 | <dminuoso> | (And regarding unexpected breackage, GHC has made modifications twice already that changed the implicit type order, if not specified with forall) |
| 2021-05-18 10:33:42 | × | materiyolo quits (~materiyol@112.205.57.255) (Quit: WeeChat 3.0.1) |
| 2021-05-18 10:33:43 | <Solid> | Proxy just creates unnecessary noise tbh :/ |
| 2021-05-18 10:33:57 | → | materiyolo joins (~materiyol@112.205.57.255) |
| 2021-05-18 10:34:00 | <Solid> | But all functions that are supposed to be used with TypeApplications have an explicit forall in them anyways (in this case) |
| 2021-05-18 10:34:14 | <dminuoso> | TypeApplications in the absence of binding sites is very orthogonal and universe crossing |
| 2021-05-18 10:34:16 | <dminuoso> | for instance |
| 2021-05-18 10:34:31 | <dminuoso> | You cant write `f @a x = ....` (yet) |
| 2021-05-18 10:34:42 | <dminuoso> | Which means you hoist the binding site to an implicit type level |
| 2021-05-18 10:34:53 | <dminuoso> | binding in a type signature, and using it in code below |
| 2021-05-18 10:35:05 | <dminuoso> | I find that aesthetically even less pleasing than Proxy |
| 2021-05-18 11:45:11 | × | notis quits (~notis@85.203.44.98) (Ping timeout: 240 seconds) |
| 2021-05-18 12:21:51 | → | a6a45081-2b83 joins (~aditya@122.163.149.247) |
| 2021-05-18 12:30:24 | × | a6a45081-2b83 quits (~aditya@122.163.149.247) (Remote host closed the connection) |
| 2021-05-18 12:40:13 | → | notis joins (~notis@85.203.44.245) |
| 2021-05-18 12:45:13 | → | davemq joins (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) |
| 2021-05-18 12:48:22 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 12:55:33 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-18 13:00:56 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 13:23:23 | × | arca0[m] quits (kamilmatri@gateway/shell/matrix.org/x-byrwzdateroorkqx) (Ping timeout: 260 seconds) |
| 2021-05-18 13:35:31 | × | [Neurotic]__ quits (sid10123@gateway/web/irccloud.com/x-dtvyylvtovyxxiia) (Ping timeout: 260 seconds) |
| 2021-05-18 13:35:57 | × | benin quits (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-18 13:37:29 | → | arca0[m] joins (kamilmatri@gateway/shell/matrix.org/x-mbptuzsiayvjbazs) |
| 2021-05-18 13:38:41 | → | [Neurotic]__ joins (sid10123@gateway/web/irccloud.com/x-bvfachcfnvyoshte) |
| 2021-05-18 13:55:32 | × | qudi quits (~qudi@cpc75392-sotn16-2-0-cust240.15-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-18 13:55:48 | → | qudi joins (~qudi@cpc75392-sotn16-2-0-cust240.15-1.cable.virginm.net) |
| 2021-05-18 13:59:51 | → | agent13 joins (~sam@unaffiliated/sam-d/x-1905598) |
| 2021-05-18 13:59:57 | → | styledash7 joins (~styledash@157.230.173.136) |
| 2021-05-18 14:00:30 | × | yosafbridge quits (~yosafbrid@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-05-18 14:01:14 | → | yosafbridge joins (~yosafbrid@static.38.6.217.95.clients.your-server.de) |
| 2021-05-18 14:01:30 | × | sam_d quits (~sam@unaffiliated/sam-d/x-1905598) (Quit: Bye) |
| 2021-05-18 14:01:30 | × | styledash quits (~styledash@157.230.173.136) (Quit: Ping timeout (120 seconds)) |
| 2021-05-18 14:01:30 | styledash7 | is now known as styledash |
| 2021-05-18 14:01:30 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 240 seconds) |
| 2021-05-18 14:03:51 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-18 14:07:15 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) (Ping timeout: 260 seconds) |
| 2021-05-18 14:10:07 | × | geekosaur quits (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-18 14:10:26 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-18 14:11:55 | → | growpotkin joins (~growpotki@130-45-30-154.dyn.grandenetworks.net) |
| 2021-05-18 14:16:37 | × | materiyolo quits (~materiyol@112.205.57.255) (Quit: WeeChat 3.0.1) |
| 2021-05-18 14:19:25 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd) |
| 2021-05-18 14:39:04 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-18 15:27:31 | × | mohab quits (~mohab@156.223.213.178) (Ping timeout: 252 seconds) |
| 2021-05-18 16:07:16 | → | yakamo joins (~yakamo@yakamok.art) |
| 2021-05-18 16:08:10 | <yakamo> | hi, im running xmonad on Manjaro everything works perfectly except one of my games that trys to go into fullscreen but just runs without anything appearking just the terminal |
| 2021-05-18 16:08:15 | <yakamo> | and idea what i might be missing |
| 2021-05-18 16:08:16 | <yakamo> | ? |
| 2021-05-18 16:08:40 | <yakamo> | any* |
| 2021-05-18 16:09:22 | <geekosaur> | if it's mono-based then it won't work in a nonreparenting window manager, it can't find its canvas window |
| 2021-05-18 16:09:39 | <geekosaur> | if it's java-based then it has the same problem but there's a workaround |
| 2021-05-18 16:11:10 | <yakamo> | its c++ if i remember right |
| 2021-05-18 16:11:14 | <yakamo> | its 0ad |
| 2021-05-18 16:11:15 | ← | davemq parts (~davemq@99-179-0-50.lightspeed.austtx.sbcglobal.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-18 16:11:40 | <yakamo> | i dont know anything about game development though |
| 2021-05-18 16:14:59 | <geekosaur> | conceivably it has the same problem although most programs do things properly and can adapt to not having a frame window |
| 2021-05-18 16:18:08 | <yakamo> | yeah the only other game i play is minecraft and thats totally fine with bing in a window |
| 2021-05-18 16:33:36 | → | al_ joins (~al@2607:fea8:4d60:66f0:c176:78cf:b4c9:5eef) |
| 2021-05-18 16:35:19 | × | al_ quits (~al@2607:fea8:4d60:66f0:c176:78cf:b4c9:5eef) (Client Quit) |
| 2021-05-18 17:02:23 | → | mohab joins (~mohab@156.223.213.178) |
| 2021-05-18 17:16:15 | ← | yakamo parts (~yakamo@yakamok.art) () |
| 2021-05-18 17:38:37 | → | ChubaDuba joins (~ChubaDuba@176.212.33.22) |
| 2021-05-18 18:04:49 | × | notis quits (~notis@85.203.44.245) (Ping timeout: 252 seconds) |
| 2021-05-18 18:31:50 | → | eb0t joins (~eblip@unaffiliated/eblip) |
| 2021-05-18 18:33:33 | × | def_jam quits (~eblip@unaffiliated/eblip) (Ping timeout: 240 seconds) |
| 2021-05-18 19:03:44 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:dcc7:3c52:3009:4cfd) (Ping timeout: 245 seconds) |
| 2021-05-18 19:16:34 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:7767:3034:663c:8014) |
| 2021-05-18 19:23:23 | → | tv1 joins (~tv@unaffiliated/tv) |
| 2021-05-18 19:23:38 | × | tv1 quits (~tv@unaffiliated/tv) (Client Quit) |
| 2021-05-18 19:31:24 | <Ristovski> | Does xmonad implement (maybe in contrib?) a way to have multiple sets of 1-9 workspaces? |
| 2021-05-18 19:33:54 | <Ristovski> | seems like something from DynamicProjects would do the job perhaps |
| 2021-05-18 19:38:37 | <geekosaur> | XMonad.Actions.Plane, maybe? |
| 2021-05-18 19:39:20 | <geekosaur> | otherwise you can expand it fairly easily although you have to set up the keybindings yourself |
| 2021-05-18 19:59:53 | <Ristovski> | geekosaur: Ok I thought DynamicProjects would be what I want, but it's not. I thought switching to a project would basically "replace" everything with a clean slate, and all actions etc would be carried out in the project (so it would have only 1 workspace if you switched into an empty project, etc) |
| 2021-05-18 20:00:08 | <Ristovski> | Which is what I am looking for :P |
| 2021-05-18 20:02:18 | × | mc47 quits (~yecinem@89.246.239.190) (Remote host closed the connection) |
All times are in UTC.