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