Logs: liberachat/#haskell
| 2021-06-25 11:59:39 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-25 12:02:26 | → | dunkeln_ joins (~dunkeln@94.129.65.28) |
| 2021-06-25 12:03:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) |
| 2021-06-25 12:07:19 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) (Ping timeout: 244 seconds) |
| 2021-06-25 12:07:56 | × | dunkeln_ quits (~dunkeln@94.129.65.28) (Ping timeout: 272 seconds) |
| 2021-06-25 12:07:59 | × | boxscape_ quits (~boxscape_@p4ff0b158.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-06-25 12:08:45 | → | dunkeln_ joins (~dunkeln@188.71.193.140) |
| 2021-06-25 12:10:19 | × | haskl quits (~haskeller@user/haskl) (Remote host closed the connection) |
| 2021-06-25 12:11:02 | → | arjun_ joins (~arjun@160.202.37.147) |
| 2021-06-25 12:11:15 | → | arjun__ joins (~arjun_@160.202.37.147) |
| 2021-06-25 12:11:24 | × | arjun_ quits (~arjun@160.202.37.147) (Read error: Connection reset by peer) |
| 2021-06-25 12:11:25 | × | arjun quits (~arjun@user/arjun) (Read error: Connection reset by peer) |
| 2021-06-25 12:11:45 | × | arjun__ quits (~arjun_@160.202.37.147) (Read error: Connection reset by peer) |
| 2021-06-25 12:11:59 | → | arjun joins (~arjun@160.202.37.147) |
| 2021-06-25 12:11:59 | × | arjun quits (~arjun@160.202.37.147) (Changing host) |
| 2021-06-25 12:11:59 | → | arjun joins (~arjun@user/arjun) |
| 2021-06-25 12:14:54 | → | MorrowM joins (~MorrowM_@147.161.13.193) |
| 2021-06-25 12:17:57 | × | is7s quits (~is7s@2a01:4b00:895f:3d00:b481:aab5:3a81:c922) (Quit: Client closed) |
| 2021-06-25 12:24:32 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-25 12:28:15 | × | pera quits (~pera@user/pera) (Ping timeout: 250 seconds) |
| 2021-06-25 12:29:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-25 12:29:05 | → | dipankar joins (~dipankar@50.35.187.85) |
| 2021-06-25 12:30:23 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-06-25 12:31:24 | AlexNoo_ | is now known as AlexNoo |
| 2021-06-25 12:35:21 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:2b2e:62ff:bd4a:55cb) (Remote host closed the connection) |
| 2021-06-25 12:36:29 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:b401:1d9:cf08:e9d0) |
| 2021-06-25 12:37:15 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-25 12:39:03 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-25 12:39:18 | → | warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
| 2021-06-25 12:39:57 | × | dipankar quits (~dipankar@50.35.187.85) (Quit: Connection closed) |
| 2021-06-25 12:40:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-25 12:42:13 | <delYsid> | __monty__: Hmm, interesting suggestion. However, I am not sure if such a change would fit into the brick philosophy. showCursor (and the new putCursor) basically just add a cursor to the head of a list of cursors. If renderList would adds its own cursor unconditionally, and the render function does as well, that would make for two cursors and the possibility of the wrong one being selected. |
| 2021-06-25 12:42:59 | <delYsid> | I agree it is not ideal to rely on the programmer to place cursors, but for now I have no better approach. At least I fixed the stock widgets to behave properly. |
| 2021-06-25 12:43:03 | × | arjun quits (~arjun@user/arjun) (Read error: Connection reset by peer) |
| 2021-06-25 12:43:29 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Ping timeout: 244 seconds) |
| 2021-06-25 12:44:10 | <delYsid> | Besides, its really only the render function which can know where it wants to place the cursor. Usually, thats Location (0,0), but for a checkbox and/or radio button, Location (1,0) makes more sense. |
| 2021-06-25 12:44:28 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) |
| 2021-06-25 12:45:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-06-25 12:45:14 | <__monty__> | And this information is encoded in the available widgets? As someone who might want to use brick I wouldn't know this for example. |
| 2021-06-25 12:48:39 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) (Ping timeout: 244 seconds) |
| 2021-06-25 12:50:31 | <delYsid> | What information? |
| 2021-06-25 12:50:54 | <__monty__> | The location (1,0) being more useful for a checkbox for example. |
| 2021-06-25 12:51:21 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-06-25 12:53:03 | → | tbd joins (~user@p200300d9df0f1f00e670b8fffeaa0fa5.dip0.t-ipconnect.de) |
| 2021-06-25 12:53:51 | <delYsid> | I guess thats a bit stylistic nitpicking. If you have "Menu item" putting the cursor at the beginning is obvious. But if you have "[ ] Checkbox" a cursious developer might prefer (1,0). These choices cant be reasonably made by the framework. And yes, its not ideal the dev needs to know about this, but thats about how accessibility works. If you want it, you have to learn about it at least a bit. |
| 2021-06-25 12:55:33 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-25 12:56:27 | <delYsid> | The point of putCursor was really to make it possible to fix brick apps if necessary. Previously, placing a visible cursor somewhere might not be what the maintainer wants to accept. with putCursor, we can now fix up accessibility issues without anyone visually noticing. |
| 2021-06-25 12:57:12 | → | junkicide joins (~user@2a01:e0a:195:20c0:91d0:f47d:73ce:dac7) |
| 2021-06-25 12:59:02 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-06-25 12:59:14 | <delYsid> | BTW, if you have a brick application you maintain, I am happy to check it out for cursor issues. Just /msg |
| 2021-06-25 13:00:34 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-25 13:00:35 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Remote host closed the connection) |
| 2021-06-25 13:00:49 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-06-25 13:00:54 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-25 13:01:12 | → | alx741 joins (~alx741@181.196.69.199) |
| 2021-06-25 13:06:52 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-25 13:10:53 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-25 13:15:57 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-06-25 13:18:01 | × | Codaraxis_ quits (~Codaraxis@193.32.126.157) (Remote host closed the connection) |
| 2021-06-25 13:18:23 | → | Codaraxis_ joins (~Codaraxis@193.32.126.157) |
| 2021-06-25 13:21:29 | × | motte quits (~weechat@82.131.67.98.cable.starman.ee) (Ping timeout: 252 seconds) |
| 2021-06-25 13:21:51 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-06-25 13:22:26 | × | maerwald quits (~maerwald@user/maerwald) (Ping timeout: 244 seconds) |
| 2021-06-25 13:24:17 | → | stevenxl joins (~stevenlei@174.128.179.106) |
| 2021-06-25 13:24:24 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-25 13:24:52 | × | stevenxl quits (~stevenlei@174.128.179.106) (Client Quit) |
| 2021-06-25 13:24:58 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:94e8:ee7c:bab7:2086) |
| 2021-06-25 13:25:27 | → | stevenxl joins (~stevenlei@174.128.179.106) |
| 2021-06-25 13:25:54 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) |
| 2021-06-25 13:28:57 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-25 13:29:28 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-06-25 13:29:40 | → | chisui joins (~chisui@200116b8668160004d7885d559e3acba.dip.versatel-1u1.de) |
| 2021-06-25 13:30:13 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c4e3:f231:bc2a:37da) (Ping timeout: 250 seconds) |
| 2021-06-25 13:30:51 | × | stevenxl quits (~stevenlei@174.128.179.106) (Quit: leaving) |
| 2021-06-25 13:31:55 | → | stevenxl joins (~stevenlei@174.128.179.106) |
| 2021-06-25 13:34:04 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-25 13:34:17 | → | smitop joins (~smitop@user/smitop) |
| 2021-06-25 13:34:38 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-25 13:36:03 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev) |
| 2021-06-25 13:36:37 | → | slack1256 joins (~slack1256@181.203.79.103) |
| 2021-06-25 13:36:53 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
| 2021-06-25 13:37:25 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2021-06-25 13:38:58 | <Arahael> | Oh, wow, PatternSynonyms are a nice extension. Is it a popular one? |
| 2021-06-25 13:39:48 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-25 13:41:27 | <merijn> | Define popular |
| 2021-06-25 13:41:52 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Ping timeout: 244 seconds) |
| 2021-06-25 13:41:57 | <Arahael> | I'm not sure how I'd define that. |
| 2021-06-25 13:41:59 | <Arahael> | :) |
| 2021-06-25 13:42:31 | <Arahael> | I guess "not unusual" would suffice for me. :) |
| 2021-06-25 13:43:03 | <chisui> | It's even used in base |
| 2021-06-25 13:43:19 | <merijn> | I use it a bit, it allows some quite nice patterns |
| 2021-06-25 13:44:31 | <Arahael> | Awesome :) |
| 2021-06-25 13:47:28 | × | Guest33 quits (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-25 13:48:34 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 256 seconds) |
| 2021-06-25 13:50:22 | → | Axman6 joins (~Axman6@user/axman6) |
| 2021-06-25 13:50:38 | <delYsid> | Even useful for types without much structure, like giving names to numeric values. |
| 2021-06-25 13:51:13 | <delYsid> | pattern A1 = Sq 0 |
| 2021-06-25 13:51:25 | <merijn> | I actually use it super different |
| 2021-06-25 13:51:47 | <merijn> | Where I have a single "general" data constructor and have several patterns to make it look like their's unique different constructors |
| 2021-06-25 13:52:16 | → | warnz joins (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) |
All times are in UTC.