Logs: liberachat/#haskell
| 2021-06-19 19:18:50 | × | eight quits (~eight@user/eight) (Remote host closed the connection) |
| 2021-06-19 19:19:27 | × | jneira_ quits (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Ping timeout: 258 seconds) |
| 2021-06-19 19:20:08 | → | Ed901 joins (~Ed901@73.59.251.217) |
| 2021-06-19 19:21:01 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:fa26:649a:e763:b306) (Quit: WeeChat 3.1) |
| 2021-06-19 19:21:11 | → | rawles joins (~o@sputnik.rawles.net) |
| 2021-06-19 19:21:17 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:c617:f0e4:6f11:e3af) |
| 2021-06-19 19:22:03 | → | darxun joins (sid504814@id-504814.tinside.irccloud.com) |
| 2021-06-19 19:22:03 | <arjun> | dminuoso: i think i do not get what i have to cut paste repeatedly? |
| 2021-06-19 19:22:09 | <dminuoso> | mmm |
| 2021-06-19 19:22:35 | <arjun> | the file is 11575 lines |
| 2021-06-19 19:22:56 | <dminuoso> | arjun: Yes. Go to the last definition of `info` |
| 2021-06-19 19:23:01 | <dminuoso> | And then cut everything below it |
| 2021-06-19 19:23:23 | <arjun> | did |
| 2021-06-19 19:23:26 | <arjun> | now ? |
| 2021-06-19 19:23:30 | <dminuoso> | yank it back in |
| 2021-06-19 19:23:32 | <dminuoso> | repeat 3-4 times |
| 2021-06-19 19:23:48 | <arjun> | undo it? |
| 2021-06-19 19:23:51 | <dminuoso> | No |
| 2021-06-19 19:23:53 | <arjun> | or cut it again? |
| 2021-06-19 19:24:00 | <dminuoso> | you shouldnt even have undo-tree-mode enabled :) |
| 2021-06-19 19:24:03 | <dminuoso> | cut it again |
| 2021-06-19 19:24:11 | <arjun> | yea, i read the instructions |
| 2021-06-19 19:24:14 | <arjun> | disabled it |
| 2021-06-19 19:24:36 | <dminuoso> | the idea is to simulate some editing by removing stuff and inserting it |
| 2021-06-19 19:26:23 | <dminuoso> | The size of chunk is just what I experimentally determined to work fast with just 3-4 cut and yank operations to make scrolling over the top part incredibly slow. |
| 2021-06-19 19:26:48 | <arjun> | dminuoso: can reproduce |
| 2021-06-19 19:27:00 | <arjun> | slow af after 5-6 cut/pastes |
| 2021-06-19 19:27:01 | <dminuoso> | arjun: just on terminal or gui too? |
| 2021-06-19 19:27:03 | × | Ed901 quits (~Ed901@73.59.251.217) (Quit: Client closed) |
| 2021-06-19 19:27:18 | <arjun> | fast af after i M-: (garbage-collect) |
| 2021-06-19 19:27:33 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-19 19:27:40 | <arjun> | dminuoso: this was on terminal (emacs -nw) |
| 2021-06-19 19:27:51 | <dminuoso> | Alright, this is good. can you make a not in the issue and include your emacs version, as well as the output of your `C-h v system-configuration-options` |
| 2021-06-19 19:28:19 | <arjun> | its the default terminal gnome emluator not something gpu accelerated like alacritty |
| 2021-06-19 19:28:30 | <dminuoso> | yeah thats fine |
| 2021-06-19 19:28:34 | <arjun> | dminuoso: i guess? give me a sec. |
| 2021-06-19 19:28:34 | <dminuoso> | its not related to the terminal |
| 2021-06-19 19:28:49 | <dminuoso> | Ive pinpointed the immediate cause of the slowness, I just dont know what triggers it |
| 2021-06-19 19:29:07 | <dminuoso> | there's something about the font locking code in haskell-mode that appears to introduce markers for each line inserted |
| 2021-06-19 19:29:25 | <arjun> | lsp-mode scrolling is also screwed up |
| 2021-06-19 19:29:30 | × | phma quits (phma@2001:5b0:210d:afc8:5ec1:374f:fafc:21e6) (Read error: Connection reset by peer) |
| 2021-06-19 19:29:37 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 19:29:40 | → | phma joins (~phma@host-67-44-209-29.hnremote.net) |
| 2021-06-19 19:29:40 | <qrpnxz> | how come Applicative and Monad are in Control, but Functor is in Data? |
| 2021-06-19 19:29:43 | <arjun> | which gets better after disabling lsp-ui-mode, i found out. |
| 2021-06-19 19:29:48 | <dminuoso> | qrpnxz: hysterical raisins |
| 2021-06-19 19:29:55 | <qrpnxz> | wut |
| 2021-06-19 19:30:16 | <arjun> | qrpnxz: he probably want's to say "historical reasons" |
| 2021-06-19 19:30:19 | <dminuoso> | It's a homophone on "historical reasons" |
| 2021-06-19 19:30:25 | <geekosaur> | "historical reasons" aka nobody really thought things out back then |
| 2021-06-19 19:30:30 | <qrpnxz> | lol |
| 2021-06-19 19:30:56 | <boxscape> | qrpnxz https://www.tweag.io/blog/2020-01-16-data-vs-control/ |
| 2021-06-19 19:31:02 | <qrpnxz> | i thought maybe there was a deeper philosophical reason |
| 2021-06-19 19:31:04 | <qrpnxz> | ty box |
| 2021-06-19 19:31:17 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-19 19:32:10 | <qrpnxz> | oh boy it's bringing up linear types |
| 2021-06-19 19:32:12 | <qrpnxz> | hahaha |
| 2021-06-19 19:32:22 | → | voldial joins (~user@195.179.201.175) |
| 2021-06-19 19:32:44 | <dminuoso> | boxscape: That seems more like a retroactive definition. |
| 2021-06-19 19:32:51 | ormaaj | is now known as iteratee |
| 2021-06-19 19:32:56 | <boxscape> | dminuoso ...yes, I suppose it is |
| 2021-06-19 19:33:55 | <qrpnxz> | even if it's retroactive it can be valid. If they put them in the correct modules by accident, it would still be correct xD |
| 2021-06-19 19:34:01 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 258 seconds) |
| 2021-06-19 19:34:08 | <qrpnxz> | and they coulda changed it |
| 2021-06-19 19:34:27 | <boxscape> | well, things change slowly in base |
| 2021-06-19 19:34:41 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-19 19:35:10 | <boxscape> | (for good reason, since you wouldn't want every package maintainer to have to change their import list for this change) |
| 2021-06-19 19:36:48 | × | voldial quits (~user@195.179.201.175) (Changing host) |
| 2021-06-19 19:36:48 | → | voldial joins (~user@user/voldial) |
| 2021-06-19 19:38:27 | <arjun> | dminuoso: https://github.com/haskell/haskell-mode/issues/1751#issuecomment-864454402 |
| 2021-06-19 19:39:02 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-19 19:39:03 | iteratee | is now known as ormaaj |
| 2021-06-19 19:40:29 | <dminuoso> | arjun: cheers, which exact version did you use? |
| 2021-06-19 19:40:52 | <arjun> | dminuoso: uhm, version of what? |
| 2021-06-19 19:41:36 | <qrpnxz> | interesting article box, thought i don't see how these linearly typed modifications relate to the actual fun, app, mon classes in base |
| 2021-06-19 19:41:47 | <dminuoso> | arjun: your emacs? |
| 2021-06-19 19:41:48 | → | warnz joins (~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) |
| 2021-06-19 19:41:59 | × | ormaaj quits (~ormaaj@2001:470:69fc:105::35ca) (Quit: Reconnecting) |
| 2021-06-19 19:42:17 | <arjun> | dminuoso: This is GNU Emacs 28.0.50 (build 3, x86_64-pc-linux-gnu, GTK+ Version 3.24.29, cairo version 1.17.4) |
| 2021-06-19 19:42:17 | <arjun> | of 2021-06-04 |
| 2021-06-19 19:42:18 | <arjun> | Copyright (C) 2021 Free Software Foundation, Inc. |
| 2021-06-19 19:42:18 | → | ormaaj joins (~ormaaj@2001:470:69fc:105::35ca) |
| 2021-06-19 19:42:32 | <dminuoso> | Cheers, could you include that into your comment as well? That's it, you've been a big help./ |
| 2021-06-19 19:42:53 | <arjun> | dminuoso: hey, you help people, you get helped. period. |
| 2021-06-19 19:43:13 | <qrpnxz> | nvm i think i get it |
| 2021-06-19 19:44:00 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-19 19:44:22 | × | benin0369 quits (~benin@183.82.205.58) (Ping timeout: 258 seconds) |
| 2021-06-19 19:44:32 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) |
| 2021-06-19 19:44:41 | <arjun> | dminuoso: did the edit. |
| 2021-06-19 19:44:43 | <arjun> | see you around |
| 2021-06-19 19:44:43 | × | rawles quits (~o@sputnik.rawles.net) (Quit: -) |
| 2021-06-19 19:45:05 | <qrpnxz> | boxscape, is it the case then that all functor instances for monad instances are these kinds of linear control functors? |
| 2021-06-19 19:45:23 | <qrpnxz> | and likewise that data.applicatives don't have monad instances? |
| 2021-06-19 19:45:50 | <boxscape> | qrpnxz I believe so, though I haven't thought about it in detail |
| 2021-06-19 19:45:50 | <qrpnxz> | or rather "data.monad" lol |
| 2021-06-19 19:45:58 | <qrpnxz> | very very interesting |
| 2021-06-19 19:46:06 | × | warnz quits (~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) (Ping timeout: 244 seconds) |
| 2021-06-19 19:46:14 | <qrpnxz> | thx again |
| 2021-06-19 19:46:25 | <boxscape> | you're welcome |
| 2021-06-19 19:47:37 | × | arjun quits (~user@user/arjun) (Remote host closed the connection) |
All times are in UTC.