Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,804,055 events total
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.