Logs: liberachat/#haskell
| 2021-08-11 22:04:04 | → | Guest84 joins (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) |
| 2021-08-11 22:04:15 | jakefromstatefar | < https://libera.ems.host/_matrix/media/r0/download/libera.chat/d6ee8d82cce59eaf39c39990068061b95b4ce892/message.txt > |
| 2021-08-11 22:04:56 | <monochrom> | Use getLine. readLn is something else. |
| 2021-08-11 22:05:58 | <jakefromstatefar> | Thank you |
| 2021-08-11 22:06:28 | <monochrom> | Moreoever, if you expect "return 42" to cause, from the unix POV, the exit code of 42, you will be thoroughly disappointed. |
| 2021-08-11 22:09:25 | <hololeap> | does anyone use a text editor that correctly applies highlighting in the face of "ticked" types when using DataKinds? for instance '[] and ': |
| 2021-08-11 22:10:45 | <hpc> | vim perhaps? |
| 2021-08-11 22:10:55 | <hololeap> | the one I'm using thinks everything between the apostrophe is a literal or something |
| 2021-08-11 22:10:57 | <hpc> | at the very least, it doesn't start a giant unterminated purple quote |
| 2021-08-11 22:11:04 | <monochrom> | Would it be OK if my answer were "I disable highlighting so nothing goes wrong?" :) |
| 2021-08-11 22:11:33 | <hololeap> | monochrom: sure |
| 2021-08-11 22:11:38 | <monochrom> | In reality, I enable highlighting, but I haven't checked what it does to that scenerio. |
| 2021-08-11 22:12:00 | <dsal> | Emacs doesn't get confused very often for me |
| 2021-08-11 22:12:28 | <hpc> | the only thing emacs gets confused is the user :P |
| 2021-08-11 22:12:41 | × | srk quits (~sorki@user/srk) (Ping timeout: 268 seconds) |
| 2021-08-11 22:12:44 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-11 22:12:52 | <jakefromstatefar> | True tho |
| 2021-08-11 22:12:54 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-11 22:12:54 | <hpc> | hololeap: what editor are you currently using? |
| 2021-08-11 22:12:57 | <monochrom> | OK yeah I have just tried, emacs haskell-mode doesn't have that problem. |
| 2021-08-11 22:13:17 | <monochrom> | I understand that pastebin.com has that problem. |
| 2021-08-11 22:13:27 | → | srk joins (~sorki@user/srk) |
| 2021-08-11 22:13:40 | <monochrom> | And the dark green colour, it may as well be redaction. |
| 2021-08-11 22:13:51 | <hololeap> | hpc: you're right, vim doesn't have any problem with that. it must be kde's syntax highlighting that is the problem |
| 2021-08-11 22:13:56 | <hololeap> | hpc: kate |
| 2021-08-11 22:14:02 | <hpc> | a lot of those use very generic syntax highlighting, where 'f' and "foo" are using the exact same string parser |
| 2021-08-11 22:14:10 | <hpc> | because that's how it is in most languages so they just enable that |
| 2021-08-11 22:14:20 | <hpc> | and maybe there's a different list of keywords to make yellow or blue |
| 2021-08-11 22:14:49 | <hpc> | it's how they "support" having a hundred or so languages in their dropdown picker |
| 2021-08-11 22:16:07 | <hololeap> | it's a little funny to me considering that skylighting uses kde's syntax highlighting framework and they push syntax changes upstream. you would think it would handle DataKinds correctly. oh well, maybe I'll submit a patch at some point |
| 2021-08-11 22:22:47 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-08-11 22:24:55 | × | michalz quits (~michalz@185.246.204.37) (Remote host closed the connection) |
| 2021-08-11 22:25:07 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-11 22:28:04 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-11 22:28:07 | → | srk_ joins (~sorki@user/srk) |
| 2021-08-11 22:28:43 | × | srk quits (~sorki@user/srk) (Ping timeout: 268 seconds) |
| 2021-08-11 22:29:22 | × | Ananta-shesha quits (~pjetcetal@2.95.210.188) (Ping timeout: 256 seconds) |
| 2021-08-11 22:31:05 | srk_ | is now known as srk |
| 2021-08-11 22:31:55 | → | Ananta-shesha joins (~pjetcetal@2.95.210.188) |
| 2021-08-11 22:32:13 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-11 22:33:52 | × | jess quits (~jess@libera/staff/jess) (Ping timeout: 600 seconds) |
| 2021-08-11 22:40:01 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 248 seconds) |
| 2021-08-11 22:43:23 | × | Guest84 quits (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) (Quit: Client closed) |
| 2021-08-11 22:46:25 | → | Guest84 joins (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) |
| 2021-08-11 22:48:33 | → | dextaa8 joins (~DV@user/dextaa) |
| 2021-08-11 22:49:24 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-11 22:50:01 | × | dextaa quits (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2021-08-11 22:50:01 | dextaa8 | is now known as dextaa |
| 2021-08-11 22:52:01 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-11 22:56:02 | × | Guest84 quits (~Guest84@2406:3003:2006:447e:9d85:ae5b:bc5f:9191) (Quit: Client closed) |
| 2021-08-11 22:57:49 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-11 23:00:17 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 248 seconds) |
| 2021-08-11 23:00:42 | → | lep joins (~lep@94.31.97.183) |
| 2021-08-11 23:01:21 | × | lep- quits (~lep@94.31.86.183) (Ping timeout: 248 seconds) |
| 2021-08-11 23:01:49 | × | chomwitt quits (~chomwitt@ppp-2-85-147-24.home.otenet.gr) (Remote host closed the connection) |
| 2021-08-11 23:04:31 | → | lep- joins (~lep@94.31.86.183) |
| 2021-08-11 23:05:38 | × | lep quits (~lep@94.31.97.183) (Ping timeout: 256 seconds) |
| 2021-08-11 23:09:23 | × | futty quits (~futty@c83-252-75-55.bredband.tele2.se) (Quit: Connection closed) |
| 2021-08-11 23:10:26 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 23:21:21 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-84ac-de97-345e-66f4.res6.spectrum.com) |
| 2021-08-11 23:22:52 | → | dextaa1 joins (~DV@user/dextaa) |
| 2021-08-11 23:23:45 | × | dextaa quits (~DV@user/dextaa) (Ping timeout: 248 seconds) |
| 2021-08-11 23:23:45 | dextaa1 | is now known as dextaa |
| 2021-08-11 23:30:41 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2021-08-11 23:33:34 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-08-11 23:36:48 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-11 23:39:12 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-11 23:42:01 | <DigitalKiwi> | 22:12 hpc: the only thing emacs gets confused is the user :P |
| 2021-08-11 23:42:22 | <DigitalKiwi> | doom-emacs threatened to burn down my house while i was having a psychotic breakdown |
| 2021-08-11 23:42:59 | <DigitalKiwi> | it's funny now but at the time i believed it and it was terrifying :| |
| 2021-08-11 23:43:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 23:44:50 | <monochrom> | I guess it's similar to threatening to launch missiles and then rollback the transaction. |
| 2021-08-11 23:44:56 | <hpc> | lp0 on fire |
| 2021-08-11 23:45:04 | <DigitalKiwi> | https://www.nimh.nih.gov/health/topics/schizophrenia/raise/what-is-psychosis |
| 2021-08-11 23:46:00 | <DigitalKiwi> | https://github.com/hlissner/doom-emacs/blob/5b3f52f5fb98cc3af653b043d809254cebe04e6a/modules/ui/doom-quit/config.el#L9 |
| 2021-08-11 23:46:13 | <DigitalKiwi> | https://github.com/hlissner/doom-emacs/blob/5b3f52f5fb98cc3af653b043d809254cebe04e6a/modules/ui/doom-quit/config.el#L17 |
| 2021-08-11 23:46:42 | <DigitalKiwi> | rolled poorly on the RNG and got those :P |
| 2021-08-11 23:47:33 | <monochrom> | You know what, it looks like the author of those lines was psychotic too. WTF is with using lemons for arson. |
| 2021-08-11 23:47:37 | <DigitalKiwi> | (among others but i remember distingly those lol) |
| 2021-08-11 23:47:48 | <hpc> | those are pretty funny |
| 2021-08-11 23:47:54 | <hpc> | monochrom: it's from portal 2 |
| 2021-08-11 23:48:02 | <DigitalKiwi> | not when you believe it lol |
| 2021-08-11 23:48:05 | <hpc> | the character saying it was definitely a bit nuts |
| 2021-08-11 23:48:12 | <monochrom> | True that. |
| 2021-08-11 23:48:23 | <hpc> | and his alternate-universe counterparts were sometimes VERY nuts |
| 2021-08-11 23:49:16 | <DigitalKiwi> | i started posting an issue about it (with a proposed fix; there's actually a documentation improvement i have lol) and then github suggested i click some link about code fences and deleted everything ;_; |
| 2021-08-11 23:51:04 | <hpc> | it did that thing where you click back in your history and it goes "too bad, here's a blank form"? |
| 2021-08-11 23:51:35 | <DigitalKiwi> | yeah normally when i click back it has what i had typed in the form |
| 2021-08-11 23:51:49 | <DigitalKiwi> | but it has MULTIPLE FORMS and they were blank ;_; |
| 2021-08-11 23:51:54 | <DigitalKiwi> | half an hour wasted |
| 2021-08-11 23:52:10 | <DigitalKiwi> | i have not filed the issue yet because of that ;( |
| 2021-08-11 23:53:36 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-11 23:53:58 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-84ac-de97-345e-66f4.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-08-11 23:54:33 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-11 23:55:40 | → | agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea) |
| 2021-08-11 23:56:29 | <DigitalKiwi> | turns out disabling doom-quit disables the crazy man with the lemons (which are normally funny) but not the quit messages (which i want) https://github.com/hlissner/doom-emacs/blob/5b3f52f5fb98cc3af653b043d809254cebe04e6a/init.example.el#L32 it's not clear that quit messages are enabled even without this though |
| 2021-08-11 23:58:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-12 00:02:21 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:3006:a3cd:9680:110f) |
| 2021-08-12 00:04:05 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-08-12 00:05:13 | <DigitalKiwi> | monochrom: the lemons are for the invisible ink! |
All times are in UTC.