Logs on 2024-12-18 (liberachat/#haskell)
| 00:01:19 | → | iqubic joins (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) |
| 00:01:31 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 00:06:02 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 00:10:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:13:37 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f06408eaea27d94e81d.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 00:15:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 00:26:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:29:01 | × | pera quits (~pera@user/pera) (Quit: leaving) |
| 00:30:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 00:40:37 | <jackdk> | I use emacs for haskell and emacs for everything else. It's even simpler ;] |
| 00:43:01 | × | xff0x quits (~xff0x@2405:6580:b080:900:31c3:bdc6:ec22:8746) (Ping timeout: 248 seconds) |
| 00:46:27 | <c_wraith> | Is there any way to get reasonable undo/redo into emacs? the default hack for redo is my least favorite part of it. |
| 00:46:39 | <c_wraith> | Like, my least favorite part of the whole editor. |
| 00:46:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:53:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:55:09 | × | alp quits (~alp@2001:861:8ca0:4940:116b:e777:775e:985b) (Ping timeout: 252 seconds) |
| 00:56:41 | × | sprotte24 quits (~sprotte24@p200300d16f0b6700c040a6a82d88cb19.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:58:45 | <jackdk> | I'm so used to the default that I can't say. I suppose there is, since there's an emacs package for everything else |
| 01:01:00 | <monochrom> | Consider a version control system running behind^W your^W back^W in the background at the keystroke granularity. |
| 01:02:50 | <monochrom> | It was not done because it would be prohibitively expensive in the 1970s. But it is 2024 now, people have 1TB RAM and 512 cores. |
| 01:03:38 | → | weary-traveler joins (~user@user/user363627) |
| 01:05:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:09:03 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 01:10:29 | <geekosaur> | https://elpa.gnu.org/packages/undo-tree.html |
| 01:12:00 | <monochrom> | Nice. |
| 01:13:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:13:05 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:13:55 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 01:22:07 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 01:23:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:28:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 01:30:58 | → | notzmv joins (~umar@user/notzmv) |
| 01:31:16 | <geekosaur> | taking the bridge down for a bit for a hardware upgrade |
| 01:31:31 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 01:39:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:44:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 01:49:37 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:54:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:57:36 | × | ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 01:57:51 | → | ethantwardy joins (user@user/ethantwardy) |
| 01:57:54 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 01:58:54 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 01:58:54 | ChanServ | sets mode +v haskellbridge |
| 01:59:00 | × | ethantwardy quits (user@user/ethantwardy) (Client Quit) |
| 01:59:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:59:23 | → | ethantwardy joins (user@user/ethantwardy) |
| 01:59:23 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 01:59:50 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 01:59:50 | ChanServ | sets mode +v haskellbridge |
| 02:01:25 | <geekosaur> | normal service has resumed |
| 02:02:07 | <geekosaur> | I'm saving the next upgrade for new year's day because it'll be a little more involved and take more time |
| 02:10:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:13:30 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 02:15:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:18:12 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 02:21:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 02:23:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:27:16 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 02:28:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:29:50 | → | CrunchyFlakes joins (~CrunchyFl@31.19.233.78) |
| 02:38:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:50:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 03:01:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:06:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:08:38 | × | sonolin quits (~michael@user/sonolin) (Ping timeout: 252 seconds) |
| 03:16:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:17:12 | → | Katarushisu8 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 03:19:01 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 252 seconds) |
| 03:19:01 | Katarushisu8 | is now known as Katarushisu |
| 03:20:38 | → | dustee joins (~dustee@2601:43:100:2710:7de1:9e83:3359:8038) |
| 03:21:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:24:27 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 03:27:48 | × | dustee quits (~dustee@2601:43:100:2710:7de1:9e83:3359:8038) (Quit: Client closed) |
| 03:32:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:32:27 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 03:33:40 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:36:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:40:17 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 03:42:19 | × | terrorjack4 quits (~terrorjac@2a01:4f8:c17:dc9f::) (Quit: The Lounge - https://thelounge.chat) |
| 03:43:53 | → | terrorjack4 joins (~terrorjac@2a01:4f8:c17:dc9f::) |
| 03:44:34 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 03:46:35 | → | troydm joins (~troydm@user/troydm) |
| 03:47:11 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 03:47:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:47:51 | × | td_ quits (~td@i5387092E.versanet.de) (Ping timeout: 252 seconds) |
| 03:49:45 | → | td_ joins (~td@i53870921.versanet.de) |
| 03:52:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:52:36 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 03:55:49 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 03:56:19 | × | Square quits (~Square4@user/square) (Ping timeout: 265 seconds) |
| 04:02:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:07:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 04:07:38 | → | gorignak joins (~gorignak@user/gorignak) |
| 04:18:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:19:11 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:24:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:31:22 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:32:29 | → | aforemny_ joins (~aforemny@2001:9e8:6cd7:5a00:85fb:8e26:5d91:c068) |
| 04:32:34 | × | aforemny quits (~aforemny@2001:9e8:6cf7:2e00:c540:4aff:8526:f747) (Ping timeout: 265 seconds) |
| 04:34:40 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:35:51 | × | rekahsoft quits (~rekahsoft@76.69.85.220) (Remote host closed the connection) |
| 04:36:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:41:23 | → | alp joins (~alp@2001:861:8ca0:4940:d739:f225:bf6f:3d8f) |
| 04:41:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 04:45:58 | <iqubic> | Undo tree is great and I use it all the time! |
| 04:46:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 04:46:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:52:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:56:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:07:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:12:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:14:03 | → | sonolin joins (~michael@user/sonolin) |
| 05:19:22 | × | fmira quits (~user@user/fmira) (Quit: fmira) |
| 05:22:29 | × | cptaffe quits (~cptaffe@user/cptaffe) (Ping timeout: 248 seconds) |
| 05:22:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:27:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 05:38:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:42:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:45:24 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb1 - https://znc.in) |
| 05:53:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:53:53 | → | monochrom joins (trebla@216.138.220.146) |
| 05:55:22 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 05:58:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:01:09 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:02:28 | × | sonolin quits (~michael@user/sonolin) (Ping timeout: 265 seconds) |
| 06:04:13 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:07:22 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:07:37 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 06:08:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:09:49 | → | michalz joins (~michalz@185.246.207.201) |
| 06:14:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 06:17:27 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:18:04 | → | ephilalethes joins (~noumenon@202.186.203.84) |
| 06:22:52 | → | catties joins (~catties@user/meow/catties) |
| 06:22:58 | × | Catty quits (~catties@user/meow/catties) (Ping timeout: 252 seconds) |
| 06:24:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:29:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:34:34 | × | mulk quits (~mulk@p5b11254a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 06:36:19 | → | mulk joins (~mulk@pd951419b.dip0.t-ipconnect.de) |
| 06:37:19 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:39:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:43:51 | × | iqubic quits (~sophia@2601:602:9201:8b20:bb5b:b06c:50fe:d6bd) (Ping timeout: 252 seconds) |
| 06:44:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:51:35 | → | briandaed joins (~root@user/briandaed) |
| 06:55:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:58:14 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f667119c200ba695214.dip0.t-ipconnect.de) |
| 06:59:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:08:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:12:49 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:15:46 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 07:17:50 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:19:33 | → | iqubic joins (~sophia@2601:602:9201:8b20:e022:daf:3388:8f9a) |
| 07:19:45 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 07:21:49 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:23:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:28:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:39:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:44:54 | → | CiaoSen joins (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) |
| 07:46:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:50:39 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 07:57:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:59:18 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:44 | → | caconym joins (~caconym@user/caconym) |
| 08:01:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 08:05:25 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:09:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:15:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 08:16:05 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 08:19:51 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 08:36:07 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:38:41 | → | califax joins (~califax@user/califx) |
| 08:40:14 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:41:21 | → | califax joins (~califax@user/califx) |
| 08:41:57 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 08:42:46 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 08:43:03 | → | califax joins (~califax@user/califx) |
| 08:47:42 | × | michalz quits (~michalz@185.246.207.201) (Quit: ZNC 1.9.0 - https://znc.in) |
| 08:48:00 | → | michalz joins (~michalz@185.246.207.203) |
| 08:49:20 | → | ash3en joins (~Thunderbi@193.32.248.167) |
| 08:52:17 | → | Digitteknohippie joins (~user@user/digit) |
| 08:53:40 | × | Digit quits (~user@user/digit) (Ping timeout: 260 seconds) |
| 08:54:56 | → | merijn joins (~merijn@77.242.116.146) |
| 08:56:43 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 09:01:26 | → | ash3en1 joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 09:02:15 | × | ash3en1 quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 09:03:12 | × | ash3en quits (~Thunderbi@193.32.248.167) (Ping timeout: 252 seconds) |
| 09:09:54 | Digitteknohippie | is now known as Digit |
| 09:17:51 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 09:17:58 | → | alexherbo2 joins (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) |
| 09:19:35 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 09:21:04 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 09:21:39 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 09:28:41 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 09:32:34 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:33:09 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 09:34:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:37:52 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:38:31 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 09:40:03 | → | califax joins (~califax@user/califx) |
| 09:46:45 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:46:55 | × | ephilalethes quits (~noumenon@202.186.203.84) (Quit: Leaving) |
| 09:49:09 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:50:52 | → | sprotte24 joins (~sprotte24@p200300d16f0dce00900f42b4bd66199c.dip0.t-ipconnect.de) |
| 09:51:54 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 09:52:16 | × | CiaoSen quits (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 09:56:09 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 09:58:49 | → | merijn joins (~merijn@77.242.116.146) |
| 09:58:49 | → | mari73990 joins (~mari-este@user/mari-estel) |
| 10:01:30 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 276 seconds) |
| 10:05:28 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 10:07:35 | → | califax joins (~califax@user/califx) |
| 10:09:22 | → | lortabac joins (~lortabac@37.169.119.127) |
| 10:10:33 | × | sprotte24 quits (~sprotte24@p200300d16f0dce00900f42b4bd66199c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 10:11:50 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 10:13:50 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:20:09 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: Client closed) |
| 10:33:10 | → | Chauhan joins (~Guest21@2a00:f29:229:85c2:d87d:44fa:e473:1197) |
| 10:36:05 | → | xff0x joins (~xff0x@2405:6580:b080:900:c5e5:bb72:26a4:9b68) |
| 10:45:01 | × | homo quits (~homo@user/homo) (Quit: Quit) |
| 10:45:21 | → | homo joins (~homo@82-128-217-24.bb.dnainternet.fi) |
| 10:45:47 | × | homo quits (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 10:45:48 | → | homo joins (~homo@user/homo) |
| 10:46:38 | × | homo quits (~homo@user/homo) (Client Quit) |
| 10:46:52 | → | homo joins (~homo@user/homo) |
| 10:48:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:50:01 | × | lortabac quits (~lortabac@37.169.119.127) (Quit: WeeChat 4.4.2) |
| 10:59:37 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 11:00:03 | × | mari73990 quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 11:09:45 | × | Chauhan quits (~Guest21@2a00:f29:229:85c2:d87d:44fa:e473:1197) (Quit: Client closed) |
| 11:13:45 | → | AlexNoo_ joins (~AlexNoo@5.139.233.146) |
| 11:16:40 | × | AlexZenon quits (~alzenon@5.139.233.0) (Ping timeout: 252 seconds) |
| 11:17:24 | × | AlexNoo quits (~AlexNoo@5.139.233.0) (Ping timeout: 252 seconds) |
| 11:19:53 | × | mari-estel quits (~mari-este@user/mari-estel) () |
| 11:25:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 11:26:09 | → | AlexZenon joins (~alzenon@5.139.233.146) |
| 11:27:29 | × | sudden quits (~cat@user/sudden) (Ping timeout: 245 seconds) |
| 11:28:02 | × | michalz quits (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 11:28:06 | → | CiaoSen joins (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) |
| 11:28:39 | → | michalz joins (~michalz@185.246.207.201) |
| 11:29:58 | → | __monty__ joins (~toonn@user/toonn) |
| 11:37:30 | → | merijn joins (~merijn@77.242.116.146) |
| 11:42:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 11:48:55 | → | simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 11:49:15 | × | alp quits (~alp@2001:861:8ca0:4940:d739:f225:bf6f:3d8f) (Ping timeout: 260 seconds) |
| 11:53:21 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 11:53:31 | → | merijn joins (~merijn@77.242.116.146) |
| 11:58:22 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 12:00:16 | AlexNoo_ | is now known as AlexNoo |
| 12:00:38 | → | merijn joins (~merijn@77.242.116.146) |
| 12:01:37 | × | alexherbo2 quits (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) (Remote host closed the connection) |
| 12:01:57 | → | alexherbo2 joins (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) |
| 12:05:27 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 12:14:08 | → | sudden joins (~cat@user/sudden) |
| 12:16:39 | → | merijn joins (~merijn@77.242.116.146) |
| 12:17:13 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:25:59 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:27:12 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 12:27:41 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 12:30:07 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 12:30:42 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 12:39:05 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 12:43:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:44:40 | × | ash3en quits (~Thunderbi@146.70.124.222) (Remote host closed the connection) |
| 12:48:59 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 13:01:12 | → | comerijn joins (~merijn@77.242.116.146) |
| 13:02:04 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:cf3:129a:f7a5:e200) |
| 13:02:37 | <ph88> | Could anyone tell me how to upgrade this code from GHC 9.4.8 to GHC 9.6.6? https://play.haskell.org/saved/lduM0WiA |
| 13:04:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 13:13:29 | <comerijn> | ph88: Well, did you check the migration guide? |
| 13:13:48 | <ph88> | comerijn, yes i checked it |
| 13:14:08 | <ph88> | i read this page https://downloads.haskell.org/~ghc/9.6.1/docs/users_guide/9.6.1-notes.html |
| 13:14:38 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 13:15:05 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 13:15:14 | <ph88> | it probably has to do with constraint solving, but on the other hand the notes don't mention deriving clause |
| 13:15:18 | <comerijn> | ph88: Did you check the migration guide link there? ;) |
| 13:15:53 | <ph88> | no i missed, that but i search in it now and there is also no deriving on that page |
| 13:16:04 | <comerijn> | ph88: This seems relevant: https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6#superclass-expansion-is-more-conservative |
| 13:16:05 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:17:08 | → | N0ping joins (~N0ping@31-208-57-134.cust.bredband2.com) |
| 13:18:12 | <ph88> | ye i think so too |
| 13:18:29 | <ph88> | i tried things like this https://play.haskell.org/saved/zE8YUDYp but i'm just getting confused |
| 13:18:55 | <ph88> | i wish there was an example with deriving in the migration guide |
| 13:21:17 | <comerijn> | ph88: You can try asking in #ghc, bigger chance someone knowledgeable about the details sees it |
| 13:21:38 | <ph88> | ok |
| 13:38:01 | → | ystael joins (~ystael@user/ystael) |
| 13:39:42 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 13:43:01 | → | merijn joins (~merijn@77.242.116.146) |
| 13:46:05 | → | simplystuart joins (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) |
| 13:54:00 | → | pavonia joins (~user@user/siracusa) |
| 14:01:51 | → | notzmv joins (~umar@user/notzmv) |
| 14:12:03 | → | testme123 joins (~testme123@103.217.109.88) |
| 14:12:16 | ← | testme123 parts (~testme123@103.217.109.88) () |
| 14:12:37 | → | weary-traveler joins (~user@user/user363627) |
| 14:18:48 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:19:13 | → | weary-traveler joins (~user@user/user363627) |
| 14:21:12 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 14:23:14 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 14:24:11 | × | alexherbo2 quits (~alexherbo@2a02-8440-3508-2805-419a-eb6d-6782-6d7d.rev.sfr.net) (Remote host closed the connection) |
| 14:25:10 | × | N0ping quits (~N0ping@31-208-57-134.cust.bredband2.com) (Ping timeout: 240 seconds) |
| 14:28:00 | → | dpratt joins (~dpratt@71.168.111.215) |
| 14:30:27 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:95c7:78:b1f:3963) (Ping timeout: 265 seconds) |
| 14:31:08 | × | michalz quits (~michalz@185.246.207.201) (Read error: Connection reset by peer) |
| 14:31:32 | → | michalz joins (~michalz@185.246.207.201) |
| 14:31:34 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:32:10 | → | weary-traveler joins (~user@user/user363627) |
| 14:35:00 | → | dyniec joins (~dyniec@dybiec.info) |
| 14:35:23 | → | cyanteeth joins (~cyanteeth@user/cyanteeth) |
| 14:36:49 | × | cyanteeth quits (~cyanteeth@user/cyanteeth) (Client Quit) |
| 14:41:02 | → | ubert joins (~Thunderbi@2a02:8109:ab88:9a00:20ea:eab3:f516:a20b) |
| 14:42:08 | → | Everything joins (~Everythin@195.138.86.118) |
| 14:42:56 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 14:42:57 | × | CiaoSen quits (~Jura@2a05:5800:2d9:3300:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 14:45:36 | → | weary-traveler joins (~user@user/user363627) |
| 14:51:01 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 14:51:53 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 14:52:51 | × | homo quits (~homo@user/homo) (Quit: homo) |
| 14:53:27 | → | homo joins (~homo@82-128-217-24.bb.dnainternet.fi) |
| 14:53:36 | × | homo quits (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 14:53:36 | → | homo joins (~homo@user/homo) |
| 14:55:41 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:55:54 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 14:56:42 | → | gentauro joins (~gentauro@user/gentauro) |
| 14:58:56 | → | N0ping joins (~N0ping@31-208-57-134.cust.bredband2.com) |
| 15:00:13 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:00:42 | → | ephemient joins (uid407513@user/ephemient) |
| 15:01:08 | × | N0ping quits (~N0ping@31-208-57-134.cust.bredband2.com) (Client Quit) |
| 15:03:50 | → | Square2 joins (~Square@user/square) |
| 15:04:10 | × | michalz quits (~michalz@185.246.207.201) (Quit: ZNC 1.9.0 - https://znc.in) |
| 15:04:29 | → | michalz joins (~michalz@185.246.207.201) |
| 15:08:29 | → | anpad joins (~pandeyan@user/anpad) |
| 15:11:35 | → | alexherbo2 joins (~alexherbo@2a02-8440-3508-2805-61de-6f21-5d37-b1ff.rev.sfr.net) |
| 15:12:19 | → | ephilalethes joins (~noumenon@202.186.203.84) |
| 15:20:13 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:20:40 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 15:21:10 | → | fmira joins (~user@user/fmira) |
| 15:24:33 | × | tnt1 quits (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 15:30:54 | → | anpad joins (~pandeyan@user/anpad) |
| 15:33:02 | × | anpad quits (~pandeyan@user/anpad) (Client Quit) |
| 15:33:59 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:39:00 | → | ash3en joins (~Thunderbi@146.70.124.222) |
| 15:41:15 | zero | is now known as zzz |
| 15:42:55 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 15:43:14 | × | ash3en quits (~Thunderbi@146.70.124.222) (Ping timeout: 252 seconds) |
| 15:44:52 | <zzz> | any recent breaking changins to hls that i'm not aware of? i'm getting "no information available" on hover where i expected type information |
| 15:45:16 | <zzz> | i'm on ghc 9.4.8 and hls 2.9.0.1 |
| 15:46:40 | × | dpratt quits (~dpratt@71.168.111.215) (Ping timeout: 240 seconds) |
| 15:48:26 | <zzz> | ok nevermind. i've been struggling with this for the past couple of days and now that i finaly decided to ask it suddently started to work :/ |
| 15:54:20 | → | anpad joins (~pandeyan@user/anpad) |
| 15:54:54 | <enikar> | maybe, you'll ask early the next time :) |
| 15:55:10 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 15:55:33 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 15:56:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:57:56 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:00:04 | × | alexherbo2 quits (~alexherbo@2a02-8440-3508-2805-61de-6f21-5d37-b1ff.rev.sfr.net) (Remote host closed the connection) |
| 16:00:35 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:04:38 | → | mari-7534 joins (~mari-este@user/mari-estel) |
| 16:07:07 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 16:08:15 | × | mari-7534 quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 16:08:17 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:09:23 | <ph88> | haha :D |
| 16:15:24 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 16:17:25 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 16:18:12 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 16:18:21 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 16:18:21 | ChanServ | sets mode +v haskellbridge |
| 16:21:49 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:28:57 | → | mari75574 joins (~mari-este@user/mari-estel) |
| 16:30:31 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 16:31:10 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 16:37:36 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:38:14 | → | alp joins (~alp@2001:861:8ca0:4940:268e:5456:127:feca) |
| 16:39:41 | × | mari75574 quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 16:39:59 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 265 seconds) |
| 16:40:15 | → | mari39849 joins (~mari-este@user/mari-estel) |
| 16:40:47 | → | Pozyomka joins (~pyon@user/pyon) |
| 16:40:55 | → | dpratt joins (~dpratt@165.225.220.148) |
| 16:42:32 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 16:42:48 | × | ubert quits (~Thunderbi@2a02:8109:ab88:9a00:20ea:eab3:f516:a20b) (Remote host closed the connection) |
| 16:43:01 | → | ubert joins (~Thunderbi@2a02:8109:ab88:9a00:e039:75a8:ca91:8a2) |
| 16:45:54 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 16:48:22 | × | mari39849 quits (~mari-este@user/mari-estel) (Ping timeout: 272 seconds) |
| 16:51:31 | → | michalz_ joins (~michalz@185.246.207.203) |
| 16:53:31 | × | michalz quits (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 16:54:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 16:55:22 | × | homo quits (~homo@user/homo) (Quit: Quit) |
| 16:55:34 | → | merijn joins (~merijn@77.242.116.146) |
| 16:56:17 | → | anpad joins (~pandeyan@user/anpad) |
| 16:56:54 | → | homo joins (~homo@82-128-217-24.bb.dnainternet.fi) |
| 16:57:12 | × | homo quits (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 16:57:12 | → | homo joins (~homo@user/homo) |
| 16:58:08 | × | anpad quits (~pandeyan@user/anpad) (Client Quit) |
| 17:00:44 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 17:01:32 | → | anpad joins (~pandeyan@user/anpad) |
| 17:01:39 | × | homo quits (~homo@user/homo) (Client Quit) |
| 17:01:54 | → | homo joins (~homo@user/homo) |
| 17:04:33 | → | mari58083 joins (~mari-este@user/mari-estel) |
| 17:07:03 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 17:07:12 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 17:08:18 | × | manwithluck quits (~manwithlu@194.177.28.164) (Ping timeout: 252 seconds) |
| 17:08:49 | → | manwithluck joins (~manwithlu@194.177.28.164) |
| 17:09:46 | × | mari58083 quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 17:11:24 | × | ubert quits (~Thunderbi@2a02:8109:ab88:9a00:e039:75a8:ca91:8a2) (Ping timeout: 265 seconds) |
| 17:11:45 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:3b95:3f84:e23c:203f) |
| 17:13:54 | → | mari30636 joins (~mari-este@user/mari-estel) |
| 17:16:14 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 17:17:33 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 17:19:58 | × | mari30636 quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 17:21:30 | × | michalz_ quits (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 17:22:29 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 17:23:07 | → | michalz joins (~michalz@185.246.207.201) |
| 17:26:28 | → | ubert1 joins (~Thunderbi@2a02:8109:ab8a:5a00:1610:6fd5:80f:4281) |
| 17:26:47 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:3b95:3f84:e23c:203f) (Remote host closed the connection) |
| 17:26:47 | ubert1 | is now known as ubert |
| 17:30:48 | × | CrunchyFlakes quits (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
| 17:32:04 | × | Everything quits (~Everythin@195.138.86.118) (Ping timeout: 272 seconds) |
| 17:32:14 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:33:16 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 17:40:04 | <zzz> | how do i write this? https://paste.jrvieira.com/1734543595906 |
| 17:41:12 | → | mari28094 joins (~mari-este@user/mari-estel) |
| 17:41:51 | <tomsmeding> | zzz: use a case expression on mg? |
| 17:42:23 | <tomsmeding> | wait, why are you using the result of 'guard'? What's the type of that 'guard' |
| 17:43:47 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 265 seconds) |
| 17:45:39 | <tomsmeding> | but assuming it's not Control.Monad.guard, f s m' = case guard m' of { Nothing -> Left s; Just g | g `Set.member` sl -> Left s | g `Set.member` sr -> Right s | otherwise -> f (Set.insert g s) (move g m') } |
| 17:45:42 | <tomsmeding> | with more newlines |
| 17:49:09 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:1610:6fd5:80f:4281) (Remote host closed the connection) |
| 17:49:13 | <zzz> | ah yes, sorry. it's not Control.Monad.guard |
| 17:49:22 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:11d5:62d5:c2a7:2544) |
| 17:50:23 | <zzz> | thanks |
| 17:50:42 | <zzz> | i usually avoid case expressions as a stylistic choice but i guess it fits well here |
| 18:00:46 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:04:38 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 18:04:44 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:07:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:07:57 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:cf3:129a:f7a5:e200) (Ping timeout: 265 seconds) |
| 18:08:48 | <tomsmeding> | you're doing a case split! |
| 18:08:52 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 18:08:52 | <tomsmeding> | embrace the case :p |
| 18:10:53 | × | mari28094 quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 18:11:32 | → | troydm joins (~troydm@user/troydm) |
| 18:13:09 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:15:12 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:11d5:62d5:c2a7:2544) (Ping timeout: 265 seconds) |
| 18:16:55 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:17:15 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:18:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 18:19:53 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:23:16 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Quit: ) |
| 18:25:21 | → | michalz_ joins (~michalz@185.246.207.201) |
| 18:25:50 | × | michalz quits (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 18:27:37 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:31:01 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:4335:61cc:36be:f8ba) |
| 18:32:14 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:33:29 | <zzz> | i usually use pattern guards for that |
| 18:34:02 | <zzz> | an i am pretty sure `x@ ~(Just a)` used to be valid |
| 18:34:51 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 18:36:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:39:22 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:4335:61cc:36be:f8ba) (Ping timeout: 265 seconds) |
| 18:43:32 | → | mari52200 joins (~mari-este@user/mari-estel) |
| 18:45:49 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 18:46:08 | <geekosaur> | spacing rules did change, though |
| 18:46:24 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:46:37 | <geekosaur> | too many extensions doing their own things, leading to weird conflicts, so now there's fixed rules for it |
| 18:47:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:49:47 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:851e:84df:7cc0:34b6) |
| 18:52:14 | <tomsmeding> | zzz: sure, you can use pattern guards, but pattern guards only let you take one of the case-branches, throwing all the other options together in an "otherwise" branch (the rest of the guards) where you can't bind any variables |
| 18:52:50 | <tomsmeding> | as soon as you want to distinguish between three cases, or want to bind variables in any but the first case, pattern guards won't cut it |
| 18:53:23 | <tomsmeding> | unless you bind the thing you're analysing in a where-binding and then put the individual patterns in separate guards, but at that point you're just writing a case expression but more verbosely and less readably (IMO) |
| 18:54:18 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 18:55:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:56:21 | × | mari52200 quits (~mari-este@user/mari-estel) (Ping timeout: 244 seconds) |
| 18:56:52 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 18:59:55 | × | mari-estel quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 19:02:11 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 19:04:38 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 19:06:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:11:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:11:29 | <zzz> | tomsmeding: if haskell was smart enough to avoid duplicate computations, i would prefer the insome cases more verbose but cleaner pattern guard syntax than that of nested case expressions |
| 19:12:45 | <tomsmeding> | zzz: hm, especially if you're writing what would be nested cases, then IMO it would be much clearer to actually _write_ the nested case expressions (even if you get unsatisfying nesting), because with pattern guards, it's very difficult to see if you're really handling all cases |
| 19:13:13 | <tomsmeding> | I know GHC does an exhaustivity check, but seeing how you handle the input space is an important part of understanding what a function (built around pattern matching) does |
| 19:15:45 | <zzz> | i like this: https://paste.jrvieira.com/1734549337963 |
| 19:16:38 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 19:17:04 | × | michalz_ quits (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 19:17:18 | <tomsmeding> | this is personal I guess |
| 19:17:28 | <tomsmeding> | I find it very hard to get an intuitive grasp of what's happening here |
| 19:17:54 | <tomsmeding> | but in any imperative language it would be the same |
| 19:18:21 | <zzz> | how would you write this with case? |
| 19:18:39 | <tomsmeding> | yeah this kind of function does not easily represent itself with a case tree :p |
| 19:20:56 | <zzz> | we need case graphs |
| 19:20:56 | <tomsmeding> | (can you please use a pastebin from which you can copy the text and get what you expect) |
| 19:21:47 | → | michalz joins (~michalz@185.246.207.203) |
| 19:22:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:22:21 | <int-e> | The trouble seems to be "off screen" - what are lambda, mu, a, and to lesser extent all the predicates. It reads vaguely like CSS. |
| 19:22:52 | <int-e> | oh and epsilon too |
| 19:23:10 | <zzz> | tomsmeding: what's the problem you're having? this is my personal pastebin, i welcome criticism |
| 19:23:33 | <tomsmeding> | zzz: if I copy it, I get excessive lines containing only whitespace in between every line |
| 19:23:43 | <tomsmeding> | they're not even empty, they actually contain multiple spaces |
| 19:24:08 | <zzz> | weird. which browser are you using? |
| 19:24:10 | <tomsmeding> | also the spaces at the start of every line but that's probably just from the source |
| 19:24:12 | <tomsmeding> | firefox |
| 19:24:17 | <int-e> | hmm for me (without JS) there are proper empty lines |
| 19:24:35 | <int-e> | the first line of the code block has some extra indentation though |
| 19:24:40 | int-e | shrugs |
| 19:24:42 | <zzz> | (yes the indentation is from the source) |
| 19:24:46 | <int-e> | I'm happy that it works without JS! |
| 19:25:09 | <zzz> | i designed it with text-based browsers in mind even |
| 19:25:10 | <tomsmeding> | yeah no this simply does not have a case tree structure |
| 19:25:39 | <tomsmeding> | I like case trees when they work, they give you the structure of the case analysis in a single glance |
| 19:25:44 | <tomsmeding> | but they don't always work |
| 19:25:49 | <tomsmeding> | here they empathetically don't |
| 19:26:27 | <zzz> | i can replicate the bug in firefox. thanks, i'll fix it |
| 19:26:35 | <tomsmeding> | yay :) |
| 19:26:39 | <int-e> | there's a bit of a tree structure; all the 'targeted' cases could be grouped together (with the 'targeted' check first) |
| 19:26:48 | <tomsmeding> | yes I found that too |
| 19:26:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 19:26:57 | <tomsmeding> | but the Pause stuff is very ad-hoc |
| 19:27:02 | <int-e> | yeah |
| 19:27:26 | <tomsmeding> | also the selected/adjacent cases I'd write as `| select -> case lambda st of Elemental -> white; _ -> Cyan Dull` etc |
| 19:27:27 | <zzz> | int-e: until you want to add another case that involves targeted and/or selected in non trivial way |
| 19:28:22 | <zzz> | the goal is to make this easily editable, so ergonomic for the programmer |
| 19:28:36 | <tomsmeding> | as I said, for this code I think this is the nicest you can make it |
| 19:28:50 | <tomsmeding> | but that doesn't make it any easier to understand for me :p |
| 19:29:00 | <int-e> | I find that it's readable and we could quibble endlessly about how to make it more so. |
| 19:29:28 | <int-e> | But it will probably just be bikeshedding. |
| 19:29:32 | <tomsmeding> | I mean that it's not clear on a single glance what the result will be for a particular input state; you have to go top-to-bottom checking each case |
| 19:29:40 | <tomsmeding> | but then, that's precisely what the intended semantics is |
| 19:29:46 | <tomsmeding> | so there's not much to improve :p |
| 19:30:16 | <zzz> | with a big enough screen i can even align the patterns so that each pattern sits in its own column :) |
| 19:30:47 | <tomsmeding> | that just means the reader's eyes will have to travel longer distances horizontally :p |
| 19:30:54 | <tomsmeding> | aligning the = is good though |
| 19:30:59 | <zzz> | makes it good for consulting |
| 19:31:23 | <int-e> | I dislike the spaces before the commas ;-) |
| 19:31:59 | <int-e> | (seriously, the bikeshed should be blue with red polka dots. any other choice would be insufferable.) |
| 19:32:05 | <zzz> | i hate commas |
| 19:32:25 | <int-e> | so you should make them inconspicuous ;-) |
| 19:32:35 | <tomsmeding> | (no! pale blue with yellow stars!) |
| 19:32:43 | <zzz> | no no |
| 19:32:44 | <zzz> | you see |
| 19:32:55 | <zzz> | i don't pollute other words with it |
| 19:32:56 | <tomsmeding> | you're secretly an Agda programmer? |
| 19:33:08 | × | michalz quits (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 19:33:11 | <glguy> | Since we're really getting down in the weeds, you could make it nicer getting rid of the couple uses of $ you have |
| 19:34:06 | <int-e> | zzz: has anyone pointed out that all the 'targeted' cases have the same color and can be combined ;-) |
| 19:34:19 | <zzz> | or i could get rid of more parenthesis :) |
| 19:34:38 | <glguy> | nah, we're trying to make it nicer |
| 19:34:41 | <hellwolf> | co-parenthesis |
| 19:35:27 | <zzz> | int-e: they're the same color *now*, but i keep trying different things |
| 19:36:40 | <zzz> | eheh |
| 19:36:50 | → | Everything joins (~Everythin@195.138.86.118) |
| 19:37:37 | <int-e> | zzz: I was just riding the bikeshedding train a bit further. I think I'm good now :) |
| 19:37:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:38:16 | <zzz> | this is where that's from btw https://asciinema.org/a/531917 |
| 19:39:34 | → | michalz joins (~michalz@185.246.207.215) |
| 19:41:17 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 19:42:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 19:45:17 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:45:36 | × | student quits (~student@85.172.111.189) (Ping timeout: 252 seconds) |
| 19:45:44 | × | michalz quits (~michalz@185.246.207.215) (Ping timeout: 264 seconds) |
| 19:47:33 | → | student joins (~student@85.172.111.189) |
| 19:48:00 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 19:48:00 | ljdarj1 | is now known as ljdarj |
| 19:48:32 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 19:50:38 | → | michalz joins (~michalz@185.246.207.201) |
| 19:51:27 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:53:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:53:58 | × | Everything quits (~Everythin@195.138.86.118) (Ping timeout: 252 seconds) |
| 19:55:53 | → | Everything joins (~Everythin@46.211.107.216) |
| 19:57:11 | × | michalz quits (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 20:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:27 | → | michalz joins (~michalz@185.246.207.193) |
| 20:00:42 | → | caconym joins (~caconym@user/caconym) |
| 20:00:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:05:26 | <zzz> | i'm working in the firefox table formatting probling and all i can say is that i miss Haskell already |
| 20:05:52 | <zzz> | and the simpler web |
| 20:08:07 | <zzz> | s/in/on s/probling/problem |
| 20:11:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:16:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 20:16:21 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 20:22:48 | × | Everything quits (~Everythin@46.211.107.216) (Ping timeout: 265 seconds) |
| 20:24:30 | → | Everything joins (~Everythin@195.138.86.118) |
| 20:26:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:26:52 | × | michalz quits (~michalz@185.246.207.193) (Ping timeout: 272 seconds) |
| 20:31:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 20:32:57 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 265 seconds) |
| 20:33:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:37:42 | → | cheater_ joins (~Username@user/cheater) |
| 20:37:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 20:37:59 | → | michalz joins (~michalz@185.246.207.203) |
| 20:39:28 | → | cheater__ joins (~Username@user/cheater) |
| 20:40:36 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 20:40:42 | cheater__ | is now known as cheater |
| 20:42:07 | → | homo_ joins (~homo@82-128-217-24.bb.dnainternet.fi) |
| 20:42:33 | × | homo_ quits (~homo@82-128-217-24.bb.dnainternet.fi) (Changing host) |
| 20:42:33 | → | homo_ joins (~homo@user/homo) |
| 20:43:06 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 20:43:32 | × | michalz quits (~michalz@185.246.207.203) (Ping timeout: 252 seconds) |
| 20:43:37 | × | homo quits (~homo@user/homo) (Read error: Connection reset by peer) |
| 20:45:59 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 20:47:46 | → | Square joins (~Square4@user/square) |
| 20:48:10 | homo_ | is now known as homo |
| 20:48:21 | → | michalz joins (~michalz@185.246.207.197) |
| 20:48:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:48:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:50:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:51:30 | × | Square2 quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 20:51:40 | → | weary-traveler joins (~user@user/user363627) |
| 20:53:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:01:09 | → | Guest16 joins (~Guest16@host188.190-139-68.telecom.net.ar) |
| 21:03:49 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 21:04:06 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:06:23 | × | Guest16 quits (~Guest16@host188.190-139-68.telecom.net.ar) (Quit: Client closed) |
| 21:11:00 | × | michalz quits (~michalz@185.246.207.197) (Ping timeout: 260 seconds) |
| 21:11:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 21:11:53 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 21:13:04 | → | sprotte24 joins (~sprotte24@p200300d16f0dce00c42912c31568f36e.dip0.t-ipconnect.de) |
| 21:13:37 | → | sonolin joins (~michael@user/sonolin) |
| 21:14:44 | → | rstromlund joins (~user@user/rstromlund) |
| 21:15:26 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:15:33 | <rstromlund> | Good afternoon (in my TZ anyway) all. I have a haskell function that has 2 clauses; one needs a parameter and the second could be point free. But haskell says the two equations have different number of parameters. They really don't but the compiler doesn't calculate the number of parameters the point free clause may take. |
| 21:17:02 | <geekosaur> | correct, and required by the Haskell Language Report |
| 21:17:12 | → | dpratt joins (~dpratt@165.225.220.148) |
| 21:17:29 | <tomsmeding> | rstromlund: suggestion: move the excess parameters from the pointful clause to a lambda on the right-hand side |
| 21:17:59 | <rstromlund> | thanks geekosaur, and good idea tomsmeding. |
| 21:18:22 | <rstromlund> | Actually the reason I have a param is to pattern match : "decompose 0 = [0]" |
| 21:19:00 | → | michalz joins (~michalz@185.246.207.221) |
| 21:19:07 | <rstromlund> | I don't have to have point-free; just thought I'd ask. I've seen the error before and figured that the compiler couldn't (reasonably) project the param count. |
| 21:19:24 | × | dpratt quits (~dpratt@165.225.220.148) (Client Quit) |
| 21:20:27 | <tomsmeding> | indeed |
| 21:20:51 | <tomsmeding> | you can also pattern-match on the right-hand side; if it's just a single parameter, you can use LambdaCase (\case); if it's multiple, there is \cases syntax in new GHCs |
| 21:20:59 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:21:03 | <geekosaur> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-840004.4.3.1 if you care |
| 21:21:03 | <tomsmeding> | (or simply do a traditional case on a tuple) |
| 21:21:39 | <geekosaur> | "Note that all clauses defining a function must be contiguous, and the number of patterns in each clause must be the same." |
| 21:22:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:23:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:25:59 | → | dpratt joins (~dpratt@165.225.220.148) |
| 21:26:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:27:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:28:21 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:30:56 | <zzz> | i remember reading about why that's actually a sensible limitation but i forget |
| 21:32:49 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:36:44 | <geekosaur> | while the current world is basically "only ghc exists", the original idea was to have multiple compilers (and indeed, back in the day there were also hugs and nhc98) and the same-arity restriction makes it easier to implement |
| 21:38:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:42:41 | <geekosaur> | (I think things like the primitive reader monad make arity checking trickier than it looks) |
| 21:49:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:51:43 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 21:52:16 | <tomsmeding> | there's also the fact that GHC uses the fact that a function has a well-defined arity to make certain inlining decisions |
| 21:52:37 | <tomsmeding> | if you fully-apply a function, it's more likely to get inlined, and "fully apply" is only well-defined if you have a well-defined arity |
| 21:52:52 | <tomsmeding> | now this is not a reason to put it in the standard, but it may be what zzz was thinking of? |
| 21:53:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:54:26 | × | briandaed quits (~root@user/briandaed) (Remote host closed the connection) |
| 21:56:40 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 244 seconds) |
| 22:04:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:05:25 | × | simplystuart quits (~simplystu@static-71-173-136-93.hrbgpa.fios.verizon.net) (Remote host closed the connection) |
| 22:05:36 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:07:24 | × | dpratt quits (~dpratt@165.225.220.148) (Quit: Client closed) |
| 22:09:46 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:10:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 22:10:29 | → | gmg joins (~user@user/gehmehgeh) |
| 22:11:33 | <geekosaur> | maybe |
| 22:20:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:22:24 | → | mud joins (~mud@user/kadoban) |
| 22:25:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:26:07 | × | michalz quits (~michalz@185.246.207.221) (Ping timeout: 244 seconds) |
| 22:31:46 | → | dostoevsky_ joins (~dostoevsk@user/dostoevsky) |
| 22:32:20 | × | dostoevsky_ quits (~dostoevsk@user/dostoevsky) (Remote host closed the connection) |
| 22:32:40 | → | dostoevsky_ joins (~dostoevsk@user/dostoevsky) |
| 22:33:29 | <haskellbridge> | <Bowuigi> A syntactical reason is that a function definition with differeng number of visible arguments on each clause just looks weird |
| 22:34:08 | <haskellbridge> | <Bowuigi> That implies it is somewhat error prone, so even tho you will get a type error, it wouldn't be the most human friendly thing |
| 22:35:14 | × | dostoevsky quits (~dostoevsk@user/dostoevsky) (Ping timeout: 265 seconds) |
| 22:35:39 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 22:35:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:36:02 | <haskellbridge> | <Bowuigi> Using eliminators instead of pattern matching gets you this kind of granularity if you need it |
| 22:36:27 | <haskellbridge> | <Bowuigi> While not looking confusing or being hard to optimize |
| 22:38:37 | → | michalz joins (~michalz@185.246.207.201) |
| 22:40:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:43:56 | × | michalz quits (~michalz@185.246.207.201) (Ping timeout: 265 seconds) |
| 22:49:09 | ← | bwolf parts (c3bc363dd1@2a03:6000:1812:100::180) () |
| 22:49:16 | × | catties quits (~catties@user/meow/catties) (Remote host closed the connection) |
| 22:51:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:51:38 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:54:22 | → | catties joins (~catties@user/meow/catties) |
| 22:56:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 22:56:08 | × | Everything quits (~Everythin@195.138.86.118) (Quit: leaving) |
| 22:56:18 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:56:30 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 22:56:49 | → | EvanR joins (~EvanR@user/evanr) |
| 22:57:16 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 23:06:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:08:55 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:11:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:13:57 | → | LainExperiments joins (~LainExper@user/LainExperiments) |
| 23:14:23 | × | LainExperiments quits (~LainExper@user/LainExperiments) (Client Quit) |
| 23:14:25 | → | LainExperiments4 joins (~LainExper@user/LainExperiments) |
| 23:16:15 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 23:22:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:26:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:36:24 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:37:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:42:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 23:43:15 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 23:44:21 | × | dsrt^ quits (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 265 seconds) |
| 23:53:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:53:57 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:57:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:57:48 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
All times are in UTC on 2024-12-18.