Logs on 2023-05-13 (liberachat/#haskell)
| 00:00:27 | × | zeenk quits (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 00:01:35 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 00:09:59 | × | vandita quits (~vandit@92-249-179-75.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 00:12:06 | → | vandita joins (~vandit@94-21-131-125.pool.digikabel.hu) |
| 00:12:57 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 265 seconds) |
| 00:36:26 | → | [_] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:38:12 | → | ddellacosta joins (~ddellacos@146.70.165.10) |
| 00:40:01 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 00:52:32 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 01:05:07 | → | texasmynsted joins (~username@99.96.221.112) |
| 01:05:18 | × | texasmynsted quits (~username@99.96.221.112) (Client Quit) |
| 01:06:39 | → | texasmynsted joins (~username@99.96.221.112) |
| 01:06:45 | × | texasmynsted quits (~username@99.96.221.112) (Client Quit) |
| 01:07:21 | → | texasmynsted joins (~username@99.96.221.112) |
| 01:07:31 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 01:08:13 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 01:09:24 | [_] | is now known as [itchyjunk] |
| 01:10:43 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:14:42 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 01:14:42 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 01:14:42 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:16:09 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 01:16:52 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:20:23 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 01:28:17 | → | janus joins (janus@anubis.0x90.dk) |
| 01:28:43 | <janus> | why does the latest stackage diff show mtl getting removed? https://www.stackage.org/diff/nightly-2023-05-12/nightly-2023-05-13 |
| 01:31:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:32:04 | <sm> | I see three packages mentioned, but not mtl |
| 01:33:11 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 01:33:27 | <janus> | you only see three packages on that page?!? i see hundreds, maybe thousands |
| 01:33:53 | <geekosaur> | make sure you didn't typo somewhere. the url; you sent shows three packages, all upgrades |
| 01:34:12 | <geekosaur> | "hundreds, maybe thousands" makes me wonder if you typoed a 2023 as 2022 |
| 01:34:32 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::2) |
| 01:34:52 | <janus> | can't be a typo because if i click my own link i also get that many |
| 01:35:11 | <janus> | but if i look at it using archive.is, i see three: https://archive.is/Z09gT |
| 01:35:13 | <geekosaur> | https://imgur.com/Sl6PnEM.png |
| 01:35:46 | <janus> | hmm if i turn uBlock off, i only see three |
| 01:36:13 | <geekosaur> | now that seems odd since I use uBlock |
| 01:36:26 | <janus> | i turned it back on, now i still only see three |
| 01:37:12 | <janus> | must be some weird caching issue, i wonder where |
| 01:37:42 | × | texasmynsted quits (~username@99.96.221.112) (Quit: WeeChat 3.0) |
| 01:38:02 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 01:38:38 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 01:40:05 | <janus> | how rare |
| 01:40:37 | <janus> | well thanks for checking |
| 01:40:45 | × | Nosrep quits (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 01:42:23 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 01:42:48 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 01:52:16 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 01:54:36 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 01:55:05 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 02:04:20 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 02:05:16 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:06:23 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 02:15:26 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 02:17:35 | × | td_ quits (~td@i53870914.versanet.de) (Ping timeout: 240 seconds) |
| 02:19:37 | → | td_ joins (~td@i53870905.versanet.de) |
| 02:20:15 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 02:20:31 | → | evincar joins (~evincar@user/evincar) |
| 02:21:23 | × | vandita quits (~vandit@94-21-131-125.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 02:22:46 | → | vandita joins (~vandit@193-110-63-30.cable-modem.hdsnet.hu) |
| 02:42:21 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 256 seconds) |
| 02:45:01 | → | Sciencentistguy5 joins (~sciencent@hacksoc/ordinary-member) |
| 02:47:11 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 240 seconds) |
| 02:47:11 | Sciencentistguy5 | is now known as Sciencentistguy |
| 02:47:46 | → | evincar joins (~evincar@user/evincar) |
| 02:58:00 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:58:00 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:58:00 | finn_elija | is now known as FinnElija |
| 02:58:11 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:01:45 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 03:03:04 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 03:04:01 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 03:06:09 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 03:15:11 | × | jero98772 quits (~jero98772@2800:484:1d84:9000::2) (Ping timeout: 264 seconds) |
| 03:16:53 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 03:21:11 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 03:25:08 | → | trev joins (~trev@user/trev) |
| 03:31:59 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 264 seconds) |
| 03:39:29 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 03:41:59 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 03:43:31 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 03:44:51 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 03:57:09 | → | nate2 joins (~nate@98.45.169.16) |
| 04:01:59 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 04:12:47 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 04:28:23 | × | vandita quits (~vandit@193-110-63-30.cable-modem.hdsnet.hu) (Ping timeout: 240 seconds) |
| 04:28:53 | × | xff0x quits (~xff0x@2405:6580:b080:900:7a1d:99dd:4861:77d8) (Ping timeout: 256 seconds) |
| 04:30:23 | → | vandita joins (~vandit@84-236-122-144.pool.digikabel.hu) |
| 04:31:00 | → | xff0x joins (~xff0x@178.255.149.135) |
| 04:38:13 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 04:40:07 | → | Cleopatra53 joins (~Cleopatra@S01069050ca4e3573.cg.shawcable.net) |
| 04:40:14 | ← | Cleopatra53 parts (~Cleopatra@S01069050ca4e3573.cg.shawcable.net) () |
| 04:40:26 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 268 seconds) |
| 04:41:11 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 04:41:55 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 256 seconds) |
| 04:45:11 | × | xff0x quits (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 04:47:21 | → | xff0x joins (~xff0x@2405:6580:b080:900:7a1d:99dd:4861:77d8) |
| 04:48:31 | → | evincar joins (~evincar@user/evincar) |
| 04:49:29 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:53:42 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 04:54:12 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 04:56:34 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 04:56:34 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 04:56:34 | → | wroathe joins (~wroathe@user/wroathe) |
| 05:18:07 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:27:35 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 05:34:15 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 05:35:51 | × | czy quits (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 05:36:11 | → | czy joins (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 05:44:10 | → | texasmynsted joins (~username@99.96.221.112) |
| 05:51:46 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 06:01:48 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 06:06:28 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 06:12:32 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 06:14:37 | × | texasmynsted quits (~username@99.96.221.112) (Quit: WeeChat 3.0) |
| 06:18:51 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 06:20:14 | → | ub joins (~Thunderbi@p200300ecdf18b639baef9e2215b67ccc.dip0.t-ipconnect.de) |
| 06:21:35 | × | ubert quits (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 06:21:35 | ub | is now known as ubert |
| 06:22:20 | → | gurkenglas joins (~user@dynamic-046-114-181-006.46.114.pool.telefonica.de) |
| 06:24:02 | × | jargon quits (~jargon@184.101.78.160) (Remote host closed the connection) |
| 06:37:59 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 264 seconds) |
| 06:38:43 | → | acidjnk joins (~acidjnk@p200300d6e7072f930daa38a699039021.dip0.t-ipconnect.de) |
| 06:39:41 | → | ub joins (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) |
| 06:40:18 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 06:40:29 | × | ubert quits (~Thunderbi@p200300ecdf18b639baef9e2215b67ccc.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 06:40:29 | ub | is now known as ubert |
| 06:44:05 | × | vandita quits (~vandit@84-236-122-144.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 06:46:09 | → | vandita joins (~vandit@193-110-63-41.cable-modem.hdsnet.hu) |
| 06:46:23 | → | gmg joins (~user@user/gehmehgeh) |
| 06:49:47 | → | evincar joins (~evincar@user/evincar) |
| 07:00:52 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:03:36 | → | coot_ joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:05:25 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 07:05:26 | coot_ | is now known as coot |
| 07:05:43 | → | ammar3264 joins (~Ammar@45.117.104.5) |
| 07:07:36 | × | ammar3264 quits (~Ammar@45.117.104.5) (Max SendQ exceeded) |
| 07:09:35 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 07:10:38 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 07:11:51 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 07:12:23 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 07:13:03 | → | zeenk joins (~zeenk@2a02:2f04:a105:f00::7fe) |
| 07:16:04 | → | falafel joins (~falafel@2603-8000-d700-115c-0318-e8bf-bd29-a6de.res6.spectrum.com) |
| 07:16:44 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 07:17:04 | → | jrm joins (~jrm@user/jrm) |
| 07:17:40 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 07:20:24 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 07:21:59 | → | extor joins (~extor@ns3018124.ip-149-202-82.eu) |
| 07:22:50 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 07:27:05 | → | evincar joins (~evincar@user/evincar) |
| 07:27:35 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 07:37:18 | → | CiaoSen joins (~Jura@dynamic-046-114-217-133.46.114.pool.telefonica.de) |
| 07:44:14 | → | shapr` joins (~user@76.29.230.19) |
| 07:45:35 | × | shapr quits (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 07:49:48 | → | titibandit joins (~titibandi@user/titibandit) |
| 07:50:51 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 07:50:51 | → | Topsi joins (~Topsi@46.183.103.8) |
| 07:55:19 | × | sagax quits (~sagax_nb@user/sagax) (Remote host closed the connection) |
| 07:58:52 | → | nate2 joins (~nate@98.45.169.16) |
| 08:03:47 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 08:05:48 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 08:06:56 | → | shapr`` joins (~user@76.29.230.19) |
| 08:07:59 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 08:08:23 | × | shapr` quits (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 08:10:56 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 08:16:02 | → | troydm joins (~troydm@user/troydm) |
| 08:16:22 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 08:19:09 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 08:21:43 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 08:24:33 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 08:35:11 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 08:36:36 | → | Enrico63 joins (~Enrico63@81.109.143.226) |
| 08:38:13 | <Enrico63> | Hi, I don't know where to comment about this, but am I correct that at https://wiki.haskell.org/IO_inside in "The fun of plumbing" section the signature of `get2chars` mistakenly uses `[Time]` instead of `Time`? |
| 08:39:58 | <Enrico63> | Plus, the comment "this might take a while" is not really clear. It doesn't specify if it means it could take time to write the manual passing of the time argument around (which I think) or the computation could take time. The wording suggests the latter, but I guess the point is the former? |
| 08:42:38 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 08:44:13 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 08:48:24 | <c_wraith> | Enrico63: yeah, it looks like that definition has all kinds of mistakes. (t1 is never used, etc) |
| 08:48:40 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 08:48:51 | <[Leary]> | Enrico63: Seems to be the case. Re the comment, that section seems to be about how manual plumbing is error prone; that code is mutually recursive and would presumably hang. |
| 08:49:04 | <c_wraith> | Enrico63: the definition shortly above looks correct, though |
| 08:49:27 | <c_wraith> | yeah, that definition is supposed to be wrong. |
| 08:49:34 | <c_wraith> | It's just... wronger than it's supposed to be |
| 08:50:35 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 264 seconds) |
| 08:53:19 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) (Remote host closed the connection) |
| 08:53:35 | × | CiaoSen quits (~Jura@dynamic-046-114-217-133.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 08:54:17 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 08:54:37 | <Enrico63> | c_wraith, yes, I got that it was meant to be wrong, but I think the comment should not say "this might take a while". Either "this might take a while to write" or "manually writing this plumbing is annoying and error prone" or something along these lines. After all, the sentence immediately after, appropriately uses the word "tedium" |
| 08:55:00 | <Enrico63> | Anybody can edit that page? |
| 08:55:08 | → | shapr``` joins (~user@76.29.230.19) |
| 08:55:15 | <Enrico63> | Not for me, not anymore, but for the next reader. |
| 08:56:47 | × | shapr`` quits (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 08:58:01 | × | vandita quits (~vandit@193-110-63-41.cable-modem.hdsnet.hu) (Ping timeout: 240 seconds) |
| 08:58:59 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 08:59:49 | → | vandita joins (~vandit@178-164-171-235.pool.digikabel.hu) |
| 09:03:19 | × | Topsi quits (~Topsi@46.183.103.8) (Quit: Leaving.) |
| 09:06:01 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 09:06:34 | → | Topsi joins (~Topsi@46.183.103.8) |
| 09:08:15 | × | falafel quits (~falafel@2603-8000-d700-115c-0318-e8bf-bd29-a6de.res6.spectrum.com) (Ping timeout: 256 seconds) |
| 09:11:51 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:13:43 | × | Enrico63 quits (~Enrico63@81.109.143.226) (Quit: Client closed) |
| 09:17:20 | → | shapr```` joins (~user@76.29.230.19) |
| 09:18:47 | × | shapr``` quits (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 09:21:03 | → | Enrico63 joins (~Enrico63@81.109.143.226) |
| 09:21:13 | × | Enrico63 quits (~Enrico63@81.109.143.226) (Client Quit) |
| 09:24:22 | → | alexherbo2 joins (~alexherbo@2a02-842a-8180-4601-4903-4b2c-0aab-5f3e.rev.sfr.net) |
| 09:32:02 | → | Pickchea joins (~private@user/pickchea) |
| 09:32:54 | → | mechap joins (~mechap@user/mechap) |
| 09:34:03 | × | kaskal quits (~kaskal@213-147-167-152.nat.highway.webapn.at) (Ping timeout: 248 seconds) |
| 09:47:21 | × | Topsi quits (~Topsi@46.183.103.8) (Ping timeout: 256 seconds) |
| 09:48:40 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 09:49:13 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:49:16 | → | kaskal joins (~kaskal@089144220013.atnat0029.highway.webapn.at) |
| 09:53:36 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) |
| 09:58:07 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) (Ping timeout: 256 seconds) |
| 10:00:24 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:02:17 | → | acoll joins (~acoll@45.92.120.189) |
| 10:02:59 | ← | acoll parts (~acoll@45.92.120.189) () |
| 10:08:45 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 10:14:23 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 10:20:29 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 10:21:40 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 10:23:21 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 10:26:19 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 10:28:09 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 10:38:23 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 240 seconds) |
| 10:41:06 | → | gmg joins (~user@user/gehmehgeh) |
| 10:44:42 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 10:52:05 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 10:55:37 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 10:55:48 | → | dhil joins (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 10:59:53 | × | fr33domlover quits (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 10:59:59 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 11:01:09 | → | acoll joins (~acoll@45.92.120.189) |
| 11:02:09 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 11:02:23 | × | shapr```` quits (~user@76.29.230.19) (Ping timeout: 240 seconds) |
| 11:03:40 | → | fr33domlover joins (~fr33domlo@towards.vision) |
| 11:04:25 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Excess Flood) |
| 11:07:33 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 11:12:17 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:18:11 | × | vandita quits (~vandit@178-164-171-235.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 11:19:37 | → | vandita joins (~vandit@84-236-122-82.pool.digikabel.hu) |
| 11:21:19 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 11:24:54 | × | Albina_Pavlovna quits (~Albina_Pa@2603-7000-76f0-76e0-180e-7256-ce84-3cb2.res6.spectrum.com) (Quit: bb) |
| 11:28:47 | × | gurkenglas quits (~user@dynamic-046-114-181-006.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 11:42:19 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 11:48:05 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 11:53:02 | × | acidjnk quits (~acidjnk@p200300d6e7072f930daa38a699039021.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 11:59:56 | × | zeenk quits (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 12:00:24 | → | nate2 joins (~nate@98.45.169.16) |
| 12:05:23 | × | michalz quits (~michalz@185.246.207.218) (Ping timeout: 265 seconds) |
| 12:05:37 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 256 seconds) |
| 12:27:26 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 12:28:00 | × | titibandit quits (~titibandi@user/titibandit) (Remote host closed the connection) |
| 12:32:01 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 12:39:18 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 12:43:55 | → | nor6u[m] joins (~nor6umatr@2001:470:69fc:105::3:5825) |
| 12:45:41 | → | Guest40 joins (~Guest40@138.251.117.48) |
| 12:51:14 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 12:55:23 | × | dequbed quits (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 264 seconds) |
| 12:56:03 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 12:57:10 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 12:58:28 | → | acidjnk joins (~acidjnk@p200300d6e7072f938dbbe17e11024813.dip0.t-ipconnect.de) |
| 12:59:46 | × | acoll quits (~acoll@45.92.120.189) (Quit: Leaving.) |
| 13:01:21 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (Client Quit) |
| 13:02:27 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 13:05:20 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 13:06:20 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 13:06:23 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 13:08:36 | × | Guest40 quits (~Guest40@138.251.117.48) (Quit: Ping timeout (120 seconds)) |
| 13:09:12 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 13:10:55 | × | dontdieych quits (~alarm@132.226.169.184) (Quit: WeeChat 3.8) |
| 13:12:54 | → | dontdieych joins (~alarm@132.226.169.184) |
| 13:13:31 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 13:13:47 | × | dontdieych quits (~alarm@132.226.169.184) (Client Quit) |
| 13:35:52 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 13:39:59 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 13:40:52 | → | Nosrep joins (~Nosrep@user/nosrep) |
| 13:52:32 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 13:52:56 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:54:49 | × | mei quits (~mei@user/mei) (Quit: mei) |
| 13:56:25 | → | titibandit joins (~titibandi@user/titibandit) |
| 13:56:42 | → | mei joins (~mei@user/mei) |
| 13:57:13 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) |
| 13:59:02 | × | vandita quits (~vandit@84-236-122-82.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 14:00:46 | → | vandita joins (~vandit@213-197-76-75.pool.digikabel.hu) |
| 14:01:23 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 14:01:31 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:147c:6a57:5765:6fba) (Ping timeout: 240 seconds) |
| 14:09:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 14:12:01 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 14:12:11 | → | dontdieych joins (~alarm@132.226.169.184) |
| 14:13:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:16:23 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 14:20:51 | → | rlj joins (~rlj@194-218-34-180.customer.telia.com) |
| 14:23:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 14:26:04 | × | dontdieych quits (~alarm@132.226.169.184) (Quit: WeeChat 3.8) |
| 14:26:20 | → | dontdieych joins (~alarm@132.226.169.184) |
| 14:26:24 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 14:26:26 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:34:31 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 14:36:21 | × | mauke quits (~mauke@user/mauke) (Quit: leaving) |
| 14:44:47 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 14:51:11 | × | acidjnk quits (~acidjnk@p200300d6e7072f938dbbe17e11024813.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 14:52:21 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 14:54:41 | → | euandreh1 joins (~Thunderbi@189.6.18.7) |
| 14:56:08 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 240 seconds) |
| 14:56:09 | euandreh1 | is now known as euandreh |
| 14:57:36 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 14:59:52 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 15:02:17 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 15:02:43 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 15:04:25 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 240 seconds) |
| 15:06:19 | → | titibandit joins (~titibandi@user/titibandit) |
| 15:09:10 | → | smokyrobinson joins (~smokyrobi@149.19.169.166) |
| 15:09:17 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 15:11:52 | → | evincar joins (~evincar@user/evincar) |
| 15:13:10 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 15:16:00 | <smokyrobinson> | Naruto Uzumaki visits Monterrey and meets Governor Samuel Garcia and starts a romantic escapade with him. https://justpaste.it/Naruto_Makes_Love_Samuel_Garcia |
| 15:17:35 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 15:18:14 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 265 seconds) |
| 15:19:08 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 15:21:31 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 15:21:59 | × | pyook quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 15:22:15 | → | pyook joins (~puke@user/puke) |
| 15:22:54 | <c_wraith> | @where mods |
| 15:22:54 | <lambdabot> | I know nothing about mods. |
| 15:23:01 | <c_wraith> | @where ops |
| 15:23:01 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 15:23:08 | <smokyrobinson> | Naruto Uzumaki visits Monterrey and meets Governor Samuel Garcia and starts a romantic escapade with him. https://justpaste.it/Naruto_Makes_Love_Samuel_Garcia |
| 15:23:54 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 15:24:33 | ChanServ | sets mode +o geekosaur |
| 15:24:41 | geekosaur | sets mode +b *!*@149.19.169.166 |
| 15:24:41 | smokyrobinson | is kicked by geekosaur (smokyrobinson) |
| 15:27:35 | → | rf joins (~rf@2605:59c8:179c:f610:cee0:ff93:627a:5295) |
| 15:28:08 | × | rlj quits (~rlj@194-218-34-180.customer.telia.com) (Ping timeout: 245 seconds) |
| 15:30:53 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 15:34:01 | geekosaur | sets mode -o geekosaur |
| 15:36:47 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 15:38:05 | → | AlexNoo_ joins (~AlexNoo@178.34.151.85) |
| 15:40:33 | → | michalz joins (~michalz@185.246.207.203) |
| 15:41:11 | × | Alex_test quits (~al_test@94.233.240.225) (Ping timeout: 240 seconds) |
| 15:41:31 | × | AlexNoo quits (~AlexNoo@94.233.240.225) (Ping timeout: 240 seconds) |
| 15:42:07 | × | AlexZenon quits (~alzenon@94.233.240.225) (Ping timeout: 268 seconds) |
| 15:44:35 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 15:45:08 | → | Alex_test joins (~al_test@178.34.151.85) |
| 15:48:49 | → | AlexZenon joins (~alzenon@178.34.151.85) |
| 15:52:34 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 15:59:26 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 246 seconds) |
| 16:00:13 | × | alexherbo2 quits (~alexherbo@2a02-842a-8180-4601-4903-4b2c-0aab-5f3e.rev.sfr.net) (Ping timeout: 245 seconds) |
| 16:01:56 | → | nate2 joins (~nate@98.45.169.16) |
| 16:06:48 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 16:07:24 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 16:07:59 | → | gurkenglas joins (~user@dynamic-046-114-181-006.46.114.pool.telefonica.de) |
| 16:11:21 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 16:15:24 | AlexNoo_ | is now known as AlexNoo |
| 16:15:56 | → | evincar joins (~evincar@user/evincar) |
| 16:16:56 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 16:19:02 | → | oo_miguel joins (~Thunderbi@77.252.47.78) |
| 16:20:47 | × | vandita quits (~vandit@213-197-76-75.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 16:22:37 | → | vandita joins (~vandit@178-164-188-57.pool.digikabel.hu) |
| 16:30:32 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 16:33:05 | × | titibandit quits (~titibandi@user/titibandit) (Ping timeout: 256 seconds) |
| 16:34:45 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 16:34:56 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 16:39:03 | → | pavonia joins (~user@user/siracusa) |
| 16:51:52 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 16:56:32 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 248 seconds) |
| 17:02:46 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 17:07:13 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 17:08:18 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 17:08:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 17:11:19 | → | acidjnk joins (~acidjnk@p200300d6e7072f93e84ab52c2319c69d.dip0.t-ipconnect.de) |
| 17:13:23 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 17:19:04 | → | econo joins (uid147250@user/econo) |
| 17:26:12 | → | vorpuni joins (~pvorp@2a01:e0a:1cd:ea70:afe3:506e:aa0:19a1) |
| 17:28:24 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:36:20 | → | fut joins (~futar@129.234.0.191) |
| 17:36:49 | × | fut quits (~futar@129.234.0.191) (Client Quit) |
| 17:50:46 | × | Rembane quits (~Rembane@li346-36.members.linode.com) (Remote host closed the connection) |
| 17:52:54 | → | Rembane joins (~Rembane@li346-36.members.linode.com) |
| 17:58:14 | → | u0_a202 joins (~u0_a202@47.60.32.137) |
| 17:58:29 | u0_a202 | is now known as dom0 |
| 18:03:51 | × | dom0 quits (~u0_a202@47.60.32.137) (Quit: WeeChat 3.8) |
| 18:04:38 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 18:11:04 | → | mauke joins (~mauke@user/mauke) |
| 18:11:56 | → | cheater_ joins (~Username@user/cheater) |
| 18:13:09 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:13:09 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:13:09 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:15:36 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 18:16:23 | × | cheater_ quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 18:20:11 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 18:31:31 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 18:34:59 | × | euandreh quits (~Thunderbi@189.6.18.7) (Ping timeout: 264 seconds) |
| 18:36:46 | → | bontaq joins (~user@ool-45779b84.dyn.optonline.net) |
| 18:37:23 | → | cheater_ joins (~Username@user/cheater) |
| 18:37:23 | cheater_ | is now known as cheater |
| 18:38:45 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 18:42:01 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 18:43:01 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 18:47:48 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 18:50:51 | → | coot_ joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 18:51:35 | × | vandita quits (~vandit@178-164-188-57.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 18:51:55 | → | evincar joins (~evincar@user/evincar) |
| 18:52:08 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 18:52:08 | coot_ | is now known as coot |
| 18:53:36 | → | vandita joins (~vandit@94-21-48-5.pool.digikabel.hu) |
| 18:53:47 | → | Guest|66 joins (~Guest|66@103.47.100.214) |
| 18:53:50 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 18:54:09 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) |
| 19:01:56 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 19:06:08 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 19:18:36 | → | wroathe joins (~wroathe@50.205.197.50) |
| 19:18:36 | × | wroathe quits (~wroathe@50.205.197.50) (Changing host) |
| 19:18:36 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:25:24 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:27:14 | → | euandreh joins (~Thunderbi@189.6.18.7) |
| 19:42:18 | → | andrewboltachev joins (~andrey@178.141.127.191) |
| 19:43:15 | <andrewboltachev> | Hello. After changing a version requirement in package.yaml, how do I force stack to bump it? |
| 19:43:26 | <andrewboltachev> | e.g. - aeson >= 2.1.0.0 |
| 19:43:57 | <andrewboltachev> | "stack update" or "stack upgrade" doesn't help |
| 19:44:55 | <sm> | andrewboltachev: stack build (or stack install) |
| 19:45:05 | <sm> | or stack build --dry-run |
| 19:45:11 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 19:45:40 | <andrewboltachev> | WARNING: Ignoring matcher's bounds on aeson (>=2.1.0.0); using aeson-2.0.3.0. |
| 19:45:40 | <andrewboltachev> | Reason: allow-newer enabled. |
| 19:45:46 | <andrewboltachev> | that's what is does as well |
| 19:45:53 | <sm> | (dry run will force regeneration of the cabal file, I mean, not install the package.) |
| 19:48:52 | <andrewboltachev> | no no, not a chance |
| 19:49:19 | <andrewboltachev> | I'd better implement missing (available in the newer release) fn myself |
| 19:50:16 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 19:53:15 | → | evincar joins (~evincar@user/evincar) |
| 19:54:57 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 268 seconds) |
| 19:55:59 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 19:59:31 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 20:00:06 | → | jero98772 joins (~jero98772@2800:484:1d84:9000::3) |
| 20:00:21 | → | ub joins (~Thunderbi@p200300ecdf18b639baef9e2215b67ccc.dip0.t-ipconnect.de) |
| 20:00:35 | × | ubert quits (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 20:00:35 | ub | is now known as ubert |
| 20:01:16 | × | dolio quits (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:02:15 | <janus> | andrewboltachev: you can use extra-deps in stack to override a version you get from the snapshot/resolver |
| 20:02:36 | → | jinsun joins (~jinsun@user/jinsun) |
| 20:02:41 | → | dolio joins (~dolio@130.44.134.54) |
| 20:02:47 | <janus> | andrewboltachev: and i'd recommend using allow-newer only for specific packages. the newest stack allows this |
| 20:03:39 | → | nate2 joins (~nate@98.45.169.16) |
| 20:06:02 | → | titibandit joins (~titibandi@user/titibandit) |
| 20:06:56 | × | dolio quits (~dolio@130.44.134.54) (Client Quit) |
| 20:07:48 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 20:09:08 | × | nate2 quits (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 20:09:22 | → | ub joins (~Thunderbi@p548c8bbe.dip0.t-ipconnect.de) |
| 20:09:28 | × | ubert quits (~Thunderbi@p200300ecdf18b639baef9e2215b67ccc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 20:09:28 | ub | is now known as ubert |
| 20:10:45 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 20:12:28 | × | czy quits (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection) |
| 20:15:40 | → | czy joins (~user@host-140-24.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 20:16:27 | → | dolio joins (~dolio@130.44.134.54) |
| 20:16:55 | → | evincar joins (~evincar@user/evincar) |
| 20:18:57 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:20:22 | × | Guest|66 quits (~Guest|66@103.47.100.214) (Quit: Connection closed) |
| 20:27:34 | → | texasmynsted joins (~username@99.96.221.112) |
| 20:32:45 | → | hugo- joins (znc@verdigris.lysator.liu.se) |
| 20:34:58 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 20:39:31 | × | texasmynsted quits (~username@99.96.221.112) (Quit: WeeChat 3.0) |
| 20:39:39 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 265 seconds) |
| 20:40:42 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 20:41:12 | <fr33domlover> | I'm writing a library and wanting to use an effect library instead of IO/mtl. Found the 'effectful' package. Based on its own readme, seems to be the best option? But polysemy seems to be more popular |
| 20:41:20 | → | texasmynsted joins (~username@99.96.221.112) |
| 20:41:26 | <fr33domlover> | Thoughts about what to use? ^_^ |
| 20:41:54 | <monochrom> | I think you should briefly learn both and decide which one is simpler for you. |
| 20:42:22 | <monochrom> | There is a substantial subjective part to this "simpler". |
| 20:43:20 | <[exa]> | the library is probably going to have users, and it's pretty nice to think about how much of their usecases is each of the assumptions in either effectful or polysemy going to break |
| 20:43:24 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 20:43:51 | <[exa]> | (but perhaps OK if the effects are completely hidden) |
| 20:44:53 | <ncf> | @let foo x = let bar :: a; bar = x in undefined |
| 20:44:54 | <lambdabot> | /sandbox/tmp/.L.hs:177:15: error: |
| 20:44:54 | <lambdabot> | • Couldn't match expected type ‘a1’ with actual type ‘p’ |
| 20:44:54 | <lambdabot> | ‘a1’ is a rigid type variable bound by |
| 20:45:21 | <ncf> | this error message is surprising to me: i would have expected it to complain that a skolem is escaping its scope |
| 20:45:44 | <ncf> | instead it thinks the type of x (p) is a rigid type variable, which means generalisation has already taken place? |
| 20:46:02 | <monochrom> | "bar :: a" means "bar :: forall a. a" |
| 20:46:07 | <ncf> | i know |
| 20:47:08 | <ncf> | what i expected is that it would create a new metavariable _x for the type of x, and then as it checks that x has type a it throws an error because a is not in scope of the metavariable _x |
| 20:47:22 | <monochrom> | generalisation refuses to take place. |
| 20:47:40 | <monochrom> | Yeah, p is that metavariable. |
| 20:47:59 | <ncf> | the complete error message says this: ‘p’ is a rigid type variable bound by the inferred type of foo :: Num a => p -> a at foo.hs:(1,1)-(3,12) |
| 20:48:09 | <monochrom> | And then as it checks that p has type (forall a. a) well that fails. |
| 20:48:10 | <ncf> | so it does seem like generalisation has taken place |
| 20:49:35 | <monochrom> | OK on second thought I am rusty on this, what I said may be wrong. |
| 20:49:43 | <ncf> | i'm assuming that it checks the body of foo first by ignoring the definition of bar, using only its type signature; then, after it's done inferring the type of foo it comes back to check bar and fails |
| 20:52:06 | <monochrom> | Or rather, I am not rusty on type inference per se, but I'm rusty on GHC's approach to type inference. |
| 20:55:17 | → | wiosna joins (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) |
| 20:57:09 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 256 seconds) |
| 20:57:32 | <ncf> | i'll ask in #ghc |
| 20:58:32 | → | evincar joins (~evincar@user/evincar) |
| 20:59:31 | × | wiosna quits (~karangura@c-73-93-95-154.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 21:00:30 | <ncf> | it has just occurred to me that ghc works by constraint solving, and foo doesn't need bar's constraints to be solved to get generalised |
| 21:03:15 | → | caryhartline joins (~caryhartl@2600:1700:2d0:8d30:cdc9:2ab9:5c13:cc7e) |
| 21:06:01 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) |
| 21:06:31 | × | rekahsoft quits (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Remote host closed the connection) |
| 21:16:06 | × | trev quits (~trev@user/trev) (Quit: trev) |
| 21:17:42 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 21:18:00 | <fr33domlover> | Trying to define a Constraint, getting an error about 'es' not in scope, is there a GHC extension that can fix this? Code: |
| 21:18:04 | <fr33domlover> | type X a = (a ~ Eff es, IOE :> es) |
| 21:20:21 | <fr33domlover> | (What I want this to mean: (X a) = 'a' is 'Eff es' for some es that satisfies 'IOE :> es') |
| 21:22:23 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 264 seconds) |
| 21:23:35 | × | vandita quits (~vandit@94-21-48-5.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 21:25:38 | → | vandita joins (~vandit@89-186-118-242.pool.digikabel.hu) |
| 21:30:23 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 21:31:20 | <ncf> | fr33domlover: i am slightly ci wonder if class (a ~ Eff es, IOE :> es) => X a where would work |
| 21:31:30 | <ncf> | wow, fail |
| 21:32:03 | <ncf> | s/i am slightly c// but really i meant to erase the whole message as that does not seem to work |
| 21:33:18 | × | mcglk quits (~mcglk@131.191.19.145) (Quit: (seeya)) |
| 21:35:01 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 21:37:53 | → | falafel joins (~falafel@2603-8000-d700-115c-1d63-29b2-f44d-0977.res6.spectrum.com) |
| 21:42:40 | → | mcglk joins (~mcglk@131.191.19.145) |
| 21:49:35 | × | evincar quits (~evincar@user/evincar) (Ping timeout: 240 seconds) |
| 21:49:38 | × | falafel quits (~falafel@2603-8000-d700-115c-1d63-29b2-f44d-0977.res6.spectrum.com) (Quit: Leaving) |
| 21:50:28 | × | andrewboltachev quits (~andrey@178.141.127.191) (Quit: Leaving.) |
| 21:54:26 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 21:55:53 | → | jargon joins (~jargon@184.101.78.160) |
| 21:57:16 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 21:58:17 | <fr33domlover> | Why does the following work: |
| 21:58:34 | <fr33domlover> | > g :: (b ~ Char, a ~ [b]) => a -> String ; g = id |
| 21:58:35 | <lambdabot> | <hint>:1:41: error: parse error on input ‘;’ |
| 21:59:58 | <fr33domlover> | I mean, it allows the 'b' type variable - why does this not work in type/class/type family too? |
| 22:01:45 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 256 seconds) |
| 22:05:08 | <probie> | fr33domlover: does that work with explicit forall turned on? Or is it just inserting one for you? |
| 22:06:44 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 22:10:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:10:35 | → | michalz joins (~michalz@185.246.207.218) |
| 22:12:18 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 22:12:38 | <fr33domlover> | probie: Still doesn't work, complains about type var not in scope |
| 22:13:27 | × | michalz quits (~michalz@185.246.207.218) (Remote host closed the connection) |
| 22:17:00 | → | biberu joins (~biberu@user/biberu) |
| 22:17:33 | → | evincar joins (~evincar@user/evincar) |
| 22:19:32 | × | dolio quits (~dolio@130.44.134.54) (Read error: Connection reset by peer) |
| 22:20:11 | → | dolio joins (~dolio@130.44.134.54) |
| 22:21:43 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:28:59 | × | acidjnk quits (~acidjnk@p200300d6e7072f93e84ab52c2319c69d.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 22:44:47 | × | gurkenglas quits (~user@dynamic-046-114-181-006.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 22:56:29 | × | lottaquestions quits (~nick@2607:fa49:503f:6d00:85d7:7b31:e103:e2d3) (Remote host closed the connection) |
| 22:56:55 | → | lottaquestions joins (~nick@2607:fa49:503f:6d00:a90f:1597:2753:5a45) |
| 22:57:04 | × | caryhartline quits (~caryhartl@2600:1700:2d0:8d30:cdc9:2ab9:5c13:cc7e) (Quit: caryhartline) |
| 23:04:47 | × | bontaq quits (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 23:05:30 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 23:07:06 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 23:07:43 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 23:08:04 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 23:14:59 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 23:15:17 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 23:22:20 | → | mauke_ joins (~mauke@user/mauke) |
| 23:23:55 | × | mauke quits (~mauke@user/mauke) (Ping timeout: 256 seconds) |
| 23:23:55 | mauke_ | is now known as mauke |
| 23:27:25 | <ski> | fr33domlover : i think for `class', it requires all type variables be parameters of the type class |
| 23:28:27 | <ski> | in your case, `[]' is injective, so `b' could actually be determined from `a' |
| 23:28:53 | <dmj`> | Is it possible (using cabal.config or stack.yaml) to add a dependency to all dependencies ? This is possible with nix by overloading mkDerviation and using addBuildDepend. I know w/ stack you can use $everything, to specify ghc-options, but I was wondering if it was possible to add new deps as well to every dep. in the chain using those tools |
| 23:29:03 | <ski> | (i'm assuming you're talking about something like `class (b ~ Char, a ~ [b]) => Foo a') |
| 23:29:11 | × | vandita quits (~vandit@89-186-118-242.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 23:29:43 | → | freeside_ joins (~mengwong@103.252.202.151) |
| 23:31:11 | → | vandita joins (~vandit@79-120-162-186.pool.digikabel.hu) |
| 23:32:47 | × | oo_miguel quits (~Thunderbi@77.252.47.78) (Ping timeout: 240 seconds) |
| 23:35:25 | × | freeside_ quits (~mengwong@103.252.202.151) (Ping timeout: 240 seconds) |
| 23:56:46 | × | pharonix71 quits (~pharonix7@user/pharonix71) (Remote host closed the connection) |
| 23:57:13 | → | pharonix71 joins (~pharonix7@user/pharonix71) |
| 23:59:01 | × | dhil quits (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 240 seconds) |
All times are in UTC on 2023-05-13.