IRCBrowse

2023/11/04

2023-11-04 00:00:08 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds)
2023-11-04 00:10:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 00:19:31 +0100mechap(~mechap@user/mechap) (Ping timeout: 255 seconds)
2023-11-04 00:24:20 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-11-04 00:26:30 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net)
2023-11-04 00:32:53 +0100newsham(~newsham@2603-800c-2c01-6825-8820-42a4-227a-4465.res6.spectrum.com)
2023-11-04 00:33:14 +0100 <newsham> hi.  does ghc support "compiling to categories"?
2023-11-04 00:34:15 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2023-11-04 00:42:11 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-11-04 00:50:28 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 252 seconds)
2023-11-04 00:51:36 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net)
2023-11-04 00:53:24 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-11-04 01:00:03 +0100Buggys(Buggys@shelltalk.net) (*.net *.split)
2023-11-04 01:00:03 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (*.net *.split)
2023-11-04 01:00:03 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (*.net *.split)
2023-11-04 01:00:03 +0100pavonia(~user@user/siracusa) (*.net *.split)
2023-11-04 01:00:03 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (*.net *.split)
2023-11-04 01:00:03 +0100forell(~forell@user/forell) (*.net *.split)
2023-11-04 01:00:03 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2023-11-04 01:00:04 +0100dtman34_(~dtman34@2601:447:d000:93c9:c0c7:16d5:6cb5:4382) (*.net *.split)
2023-11-04 01:00:05 +0100biberu(~biberu@user/biberu) (*.net *.split)
2023-11-04 01:00:05 +0100echoreply(~echoreply@45.32.163.16) (*.net *.split)
2023-11-04 01:00:05 +0100gentauro(~gentauro@user/gentauro) (*.net *.split)
2023-11-04 01:00:05 +0100Ascension(~Ascension@176.254.244.83) (*.net *.split)
2023-11-04 01:00:05 +0100Angelz(Angelz@Angelz.oddprotocol.org) (*.net *.split)
2023-11-04 01:00:05 +0100Hobbyboy(Hobbyboy@hobbyboy.co.uk) (*.net *.split)
2023-11-04 01:00:05 +0100T_S____(sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split)
2023-11-04 01:00:05 +0100dove(~irc@2600:3c00:e000:287::1) (*.net *.split)
2023-11-04 01:00:05 +0100bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split)
2023-11-04 01:00:10 +0100Inst(~Inst@120.244.192.250) (*.net *.split)
2023-11-04 01:00:10 +0100hippoid(~hippoid@user/hippoid) (*.net *.split)
2023-11-04 01:00:10 +0100ridcully(~ridcully@p57b5294c.dip0.t-ipconnect.de) (*.net *.split)
2023-11-04 01:00:10 +0100juri_(~juri@84-19-175-187.pool.ovpn.com) (*.net *.split)
2023-11-04 01:00:11 +0100kimiamania46(~b4f4a2ab@user/kimiamania) (*.net *.split)
2023-11-04 01:00:11 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split)
2023-11-04 01:00:11 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split)
2023-11-04 01:00:11 +0100srk(~sorki@user/srk) (*.net *.split)
2023-11-04 01:00:11 +0100Hooloovoo(~Hooloovoo@hax0rbana.org) (*.net *.split)
2023-11-04 01:00:11 +0100rachelambda(~rachelamb@cust-95-80-25-71.csbnet.se) (*.net *.split)
2023-11-04 01:00:12 +0100dolio(~dolio@130.44.134.54) (*.net *.split)
2023-11-04 01:00:12 +0100gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com) (*.net *.split)
2023-11-04 01:00:12 +0100peutri(~peutri@bobo.desast.re) (*.net *.split)
2023-11-04 01:00:12 +0100arkeet(~arkeet@moriya.ca) (*.net *.split)
2023-11-04 01:00:12 +0100absence(torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
2023-11-04 01:00:12 +0100Vq(~vq@90-225-115-195-no122.tbcn.telia.com) (*.net *.split)
2023-11-04 01:00:13 +0100Deide(d0130db69a@user/deide) (*.net *.split)
2023-11-04 01:00:13 +0100blackfield(~aenima@85.255.4.218) (*.net *.split)
2023-11-04 01:00:13 +0100tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl) (*.net *.split)
2023-11-04 01:00:13 +0100sgarcia(sgarcia@swarm.znchost.com) (*.net *.split)
2023-11-04 01:00:13 +0100Opus(~lossy@user/opus) (*.net *.split)
2023-11-04 01:00:13 +0100defanor(~defanor@tart.uberspace.net) (*.net *.split)
2023-11-04 01:00:13 +0100mauke(~mauke@user/mauke) (*.net *.split)
2023-11-04 01:00:13 +0100CAT_S(apic@brezn3.muc.ccc.de) (*.net *.split)
2023-11-04 01:00:13 +0100bgamari_(~bgamari@64.223.173.10) (*.net *.split)
2023-11-04 01:00:13 +0100Adran(~adran@botters/adran) (*.net *.split)
2023-11-04 01:00:13 +0100lilata(~lilata@static.5.54.140.128.clients.your-server.de) (*.net *.split)
2023-11-04 01:00:19 +0100gentauro(~gentauro@user/gentauro)
2023-11-04 01:00:20 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2023-11-04 01:00:20 +0100dove(~irc@2600:3c00:e000:287::1)
2023-11-04 01:00:23 +0100arkeet(arkeet@moriya.ca)
2023-11-04 01:00:28 +0100T_S____(sid501726@id-501726.uxbridge.irccloud.com)
2023-11-04 01:00:34 +0100bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak)
2023-11-04 01:01:19 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-11-04 01:01:32 +0100ridcully(~ridcully@p57b5294c.dip0.t-ipconnect.de)
2023-11-04 01:01:33 +0100lilata(~lilata@static.5.54.140.128.clients.your-server.de)
2023-11-04 01:01:39 +0100echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d)
2023-11-04 01:01:48 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-11-04 01:01:50 +0100forell(~forell@user/forell)
2023-11-04 01:01:51 +0100biberu(~biberu@user/biberu)
2023-11-04 01:01:58 +0100defanor(~defanor@tart.uberspace.net)
2023-11-04 01:01:59 +0100kimiamania46(~b4f4a2ab@user/kimiamania)
2023-11-04 01:02:03 +0100Hooloovoo(~Hooloovoo@hax0rbana.org)
2023-11-04 01:02:06 +0100blackfield(~aenima@85.255.4.218)
2023-11-04 01:02:09 +0100dtman34(~dtman34@2601:447:d000:93c9:1930:f752:99bd:543d)
2023-11-04 01:02:52 +0100jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2023-11-04 01:02:56 +0100tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2023-11-04 01:03:17 +0100Buggys(Buggys@Buggy.shelltalk.net)
2023-11-04 01:04:12 +0100Hobbyboy(Hobbyboy@hobbyboy.co.uk)
2023-11-04 01:04:22 +0100sgarcia(sgarcia@swarm.znchost.com)
2023-11-04 01:04:35 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-04 01:04:59 +0100pavonia(~user@user/siracusa)
2023-11-04 01:05:02 +0100srk(~sorki@user/srk)
2023-11-04 01:05:20 +0100mauke(~mauke@user/mauke)
2023-11-04 01:05:27 +0100juri_(~juri@84-19-175-187.pool.ovpn.com)
2023-11-04 01:05:59 +0100dolio(~dolio@130.44.134.54)
2023-11-04 01:06:30 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 01:07:07 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 01:10:20 +0100Vq(~vq@90-225-115-195-no122.tbcn.telia.com)
2023-11-04 01:10:20 +0100absence(torgeihe@hildring.pvv.ntnu.no)
2023-11-04 01:10:20 +0100peutri(~peutri@bobo.desast.re)
2023-11-04 01:10:25 +0100CAT_S(apic@brezn3.muc.ccc.de)
2023-11-04 01:10:35 +0100bgamari(~bgamari@64.223.173.10)
2023-11-04 01:10:58 +0100hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net)
2023-11-04 01:13:41 +0100opus(~nil@user/opus)
2023-11-04 01:13:49 +0100superbil_(~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 245 seconds)
2023-11-04 01:14:05 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 240 seconds)
2023-11-04 01:15:01 +0100swistak(~swistak@185.21.216.141)
2023-11-04 01:15:47 +0100Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
2023-11-04 01:16:23 +0100Adran(~adran@botters/adran)
2023-11-04 01:26:46 +0100falafel(~falafel@62.175.113.194.dyn.user.ono.com)
2023-11-04 01:40:34 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-11-04 01:43:05 +0100falafel(~falafel@62.175.113.194.dyn.user.ono.com) (Remote host closed the connection)
2023-11-04 01:43:28 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) (Ping timeout: 258 seconds)
2023-11-04 01:43:29 +0100falafel(~falafel@62.175.113.194.dyn.user.ono.com)
2023-11-04 01:45:32 +0100Inst(~Inst@120.244.192.250)
2023-11-04 01:51:26 +0100 <probie> newsham: Not natively. Conal Elliot wrote a plugin for it https://github.com/compiling-to-categories/concat, and I've seen another one https://github.com/con-kitty/categorifier. I have no idea how good either are, or what GHC versions are supported
2023-11-04 01:52:12 +0100falafel(~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 240 seconds)
2023-11-04 01:54:15 +0100 <newsham> thank you.. the plugin i guess is what i was looking for and having a hard time finding.
2023-11-04 02:00:39 +0100thegman(~thegman@072-239-207-086.res.spectrum.com) (Quit: leaving)
2023-11-04 02:02:06 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-11-04 02:02:41 +0100arjun(~arjun@user/arjun)
2023-11-04 02:04:49 +0100califax(~califax@user/califx)
2023-11-04 02:07:09 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-11-04 02:07:24 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-11-04 02:08:30 +0100Lord_of_Life_Lord_of_Life
2023-11-04 02:15:05 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 240 seconds)
2023-11-04 02:15:46 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net)
2023-11-04 02:17:40 +0100newsham(~newsham@2603-800c-2c01-6825-8820-42a4-227a-4465.res6.spectrum.com) (Quit: Client closed)
2023-11-04 02:19:20 +0100arjun_(~arjun@103.57.87.42)
2023-11-04 02:19:27 +0100arjun_(~arjun@103.57.87.42) (Remote host closed the connection)
2023-11-04 02:31:36 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d)
2023-11-04 02:31:58 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-11-04 02:39:59 +0100arjun_(~arjun@user/arjun)
2023-11-04 02:40:42 +0100arjun(~arjun@user/arjun) (Quit: Quit!)
2023-11-04 02:40:46 +0100arjun_(~arjun@user/arjun) (Remote host closed the connection)
2023-11-04 02:40:52 +0100arjun__(~arjun@user/arjun)
2023-11-04 02:40:52 +0100arjun__(~arjun@user/arjun) (Client Quit)
2023-11-04 02:46:15 +0100neceve(~neceve@user/neceve) (Ping timeout: 240 seconds)
2023-11-04 02:46:20 +0100Inst(~Inst@120.244.192.250) (Ping timeout: 258 seconds)
2023-11-04 02:50:09 +0100malte(~malte@mal.tc)
2023-11-04 02:53:05 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-11-04 02:57:50 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-11-04 02:57:59 +0100ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-11-04 02:58:41 +0100ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-11-04 03:00:19 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-11-04 03:00:40 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-11-04 03:01:25 +0100edr(~edr@user/edr) (Quit: Leaving)
2023-11-04 03:26:36 +0100otto_s(~user@p4ff27373.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2023-11-04 03:27:43 +0100otto_s(~user@p5de2f0ce.dip0.t-ipconnect.de)
2023-11-04 03:33:49 +0100jero98772(~jero98772@2800:484:1d84:100::5)
2023-11-04 03:48:50 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-11-04 03:49:14 +0100mikess(~sam@S010664777dafd303.cg.shawcable.net)
2023-11-04 03:49:39 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 245 seconds)
2023-11-04 03:50:28 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net)
2023-11-04 04:09:25 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-11-04 04:09:25 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-11-04 04:09:25 +0100finn_elijaFinnElija
2023-11-04 04:09:44 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-11-04 04:10:00 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-11-04 04:11:44 +0100malte(~malte@mal.tc) (Ping timeout: 245 seconds)
2023-11-04 04:12:34 +0100jero98772(~jero98772@2800:484:1d84:100::5) (Ping timeout: 245 seconds)
2023-11-04 04:14:01 +0100malte(~malte@mal.tc)
2023-11-04 04:15:56 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-11-04 04:16:09 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-11-04 04:16:41 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Client Quit)
2023-11-04 04:16:56 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-11-04 04:19:52 +0100 <Umeaboy> I just checked after using en_US.UTF-8 in LC_ALL setting and hadrian/build -j4 still fails with the same problem.
2023-11-04 04:24:19 +0100rosco(~rosco@yp-150-69.tm.net.my)
2023-11-04 04:28:55 +0100sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-11-04 04:29:46 +0100sefidel(~sefidel@user/sefidel)
2023-11-04 04:41:56 +0100td_(~td@i53870911.versanet.de) (Ping timeout: 255 seconds)
2023-11-04 04:42:20 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-11-04 04:42:36 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a)
2023-11-04 04:42:52 +0100zetef(~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Remote host closed the connection)
2023-11-04 04:43:35 +0100td_(~td@i53870925.versanet.de)
2023-11-04 04:44:13 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-11-04 04:46:08 +0100terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-11-04 04:49:23 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2023-11-04 04:59:27 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2023-11-04 05:00:24 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2023-11-04 05:05:06 +0100actioninja2(~actioninj@user/actioninja)
2023-11-04 05:06:29 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-11-04 05:06:36 +0100actioninja(~actioninj@user/actioninja) (Ping timeout: 240 seconds)
2023-11-04 05:06:37 +0100actioninja2actioninja
2023-11-04 05:07:05 +0100sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-11-04 05:07:54 +0100sefidel(~sefidel@user/sefidel)
2023-11-04 05:12:24 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2023-11-04 05:13:04 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-11-04 05:14:51 +0100tom_(~tom@host86-132-186-152.range86-132.btcentralplus.com)
2023-11-04 05:15:12 +0100zincy(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection)
2023-11-04 05:27:29 +0100phma(~phma@host-67-44-208-69.hnremote.net) (Read error: Connection reset by peer)
2023-11-04 05:28:23 +0100phma(phma@2001:5b0:212a:b088:bde:88f:7cf:d96)
2023-11-04 05:37:25 +0100bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Quit: WeeChat 4.1.0)
2023-11-04 05:37:35 +0100bastelfreak(bastelfrea@libera/staff/VoxPupuli.bastelfreak)
2023-11-04 05:46:12 +0100 <Umeaboy> I'm going to try building without HLS integration now.
2023-11-04 05:48:20 +0100aforemny(~aforemny@i59f516df.versanet.de)
2023-11-04 05:49:15 +0100pixelmonk(~pixelmonk@173.46.79.26) (Quit: WeeChat 4.1.0)
2023-11-04 05:49:16 +0100aforemny_(~aforemny@2001:9e8:6ce4:6400:b797:ebd1:b498:8617) (Ping timeout: 248 seconds)
2023-11-04 05:59:51 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-11-04 06:00:50 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-11-04 06:04:11 +0100myme(~myme@2a01:799:d60:e400:5aab:e46b:41f3:b6c7) (Remote host closed the connection)
2023-11-04 06:04:17 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
2023-11-04 06:04:35 +0100myme(~myme@2a01:799:d60:e400:303:74c0:223b:e4a8)
2023-11-04 06:06:05 +0100kraftwerk28(~kraftwerk@164.92.219.160) (Ping timeout: 240 seconds)
2023-11-04 06:10:04 +0100ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 245 seconds)
2023-11-04 06:11:54 +0100ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-11-04 06:26:30 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b)
2023-11-04 06:28:05 +0100 <nyc> I haven't figured out HLS yet, if I ever will.
2023-11-04 06:32:54 +0100mikess(~sam@S010664777dafd303.cg.shawcable.net) (Quit: leaving)
2023-11-04 06:36:26 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving)
2023-11-04 06:47:15 +0100rgw(~R@2605:a601:a0f5:a800:ad48:522e:108:bbe8) (Read error: Connection reset by peer)
2023-11-04 06:53:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-04 06:56:45 +0100Ascension(~Ascension@176.254.244.83)
2023-11-04 07:06:00 +0100kraftwerk28(~kraftwerk@164.92.219.160)
2023-11-04 07:06:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 07:13:54 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-04 07:18:53 +0100rosco(~rosco@yp-150-69.tm.net.my) (Ping timeout: 258 seconds)
2023-11-04 07:26:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 07:38:40 +0100 <Umeaboy> It seems like hsc2hs wasn't installed.
2023-11-04 07:41:14 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-04 08:03:48 +0100gmg(~user@user/gehmehgeh)
2023-11-04 08:05:08 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-11-04 08:05:19 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-11-04 08:11:16 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds)
2023-11-04 08:12:44 +0100Maxdamantus(~Maxdamant@user/maxdamantus)
2023-11-04 08:13:13 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-04 08:13:41 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-04 08:21:06 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds)
2023-11-04 08:21:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-04 08:25:28 +0100acidjnk(~acidjnk@p200300d6e72b93244c42f59268042077.dip0.t-ipconnect.de)
2023-11-04 08:31:49 +0100erty(~user@user/aeroplane)
2023-11-04 08:41:38 +0100Square(~Square@user/square) (Remote host closed the connection)
2023-11-04 08:42:30 +0100Square(~Square@user/square)
2023-11-04 08:45:21 +0100Square(~Square@user/square) (Remote host closed the connection)
2023-11-04 08:46:12 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-11-04 08:46:24 +0100Square(~Square@user/square)
2023-11-04 08:51:30 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2023-11-04 09:00:23 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) (Remote host closed the connection)
2023-11-04 09:04:05 +0100erty(~user@user/aeroplane) (Read error: Connection reset by peer)
2023-11-04 09:04:15 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-11-04 09:04:19 +0100erty(~user@user/aeroplane)
2023-11-04 09:04:43 +0100erty(~user@user/aeroplane) (Client Quit)
2023-11-04 09:05:17 +0100erty(~user@user/aeroplane)
2023-11-04 09:12:13 +0100 <albet70> in the do notation of ExceptT String (ContT () IO) Int, it should have three effects, right? (ExceptT . ContT) (\k -> k (Right 3)) is ok, liftIO $ print 3 is ok, right?
2023-11-04 09:13:12 +0100 <albet70> why 'lift $ ContT $ \k -> k 2' is ok but 'lift $ lift $ Righ 2' is not ok?
2023-11-04 09:13:13 +0100erty(~user@user/aeroplane) (Ping timeout: 260 seconds)
2023-11-04 09:14:45 +0100 <albet70> Either, Cont, IO, this liftIO and lift Cont both ok, what about lift Either?
2023-11-04 09:16:01 +0100erty(~user@user/aeroplane)
2023-11-04 09:16:17 +0100fendor(~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca)
2023-11-04 09:16:40 +0100 <albet70> how to turn Right to ExceptT String (ContT () IO) ?
2023-11-04 09:22:17 +0100erty(~user@user/aeroplane) (Ping timeout: 255 seconds)
2023-11-04 09:25:35 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-11-04 09:26:15 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-11-04 09:34:06 +0100 <Umeaboy> This is driving me nuts! Please, I need help. No matter what version I use I still end up with build errors.
2023-11-04 09:34:20 +0100 <Umeaboy> I'm down to building 9.0.2 now.
2023-11-04 09:34:45 +0100 <Umeaboy> How do I set ghcup correctly to make a successful build?
2023-11-04 09:36:41 +0100erty(~user@user/aeroplane)
2023-11-04 09:36:46 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d)
2023-11-04 09:36:58 +0100erty(~user@user/aeroplane) ()
2023-11-04 09:38:11 +0100 <mauke> albet70: lift (ContT ...) is OK because it lifts ContT something to ExceptT something (ContT something)
2023-11-04 09:38:29 +0100Inst(~Inst@120.244.192.250)
2023-11-04 09:38:38 +0100 <Inst> wait, how does Haskell get around the WC problem?
2023-11-04 09:38:50 +0100 <Inst> That is to say, in Haskell, assume I'm handling a stream
2023-11-04 09:39:00 +0100 <mauke> albet70: lift (lift ...) would need ... to be IO something. the first lift goes from IO something to ContT (IO something), the second lift wraps it in ExceptT
2023-11-04 09:39:04 +0100 <Inst> I want to run multiple operations on this stream at once
2023-11-04 09:39:28 +0100 <Inst> with just Prelude, you'll end up preserving the stream and space leaking
2023-11-04 09:39:49 +0100 <Inst> is Streamly powerful enough to handle this problem?
2023-11-04 09:39:51 +0100 <Umeaboy> Inst: Does this page help you in any way? https://wiki.haskell.org/Wc
2023-11-04 09:40:37 +0100 <Inst> I mean I know how to do it by implementing an accumulating parameter recursion, i.e, do it imperatively
2023-11-04 09:41:46 +0100 <mauke> :t either throwE pure
2023-11-04 09:41:47 +0100 <lambdabot> error:
2023-11-04 09:41:47 +0100 <lambdabot> • Variable not in scope: throwE :: a -> f a1
2023-11-04 09:41:47 +0100 <lambdabot> • Perhaps you meant one of these:
2023-11-04 09:41:52 +0100 <Inst> I'm just looking for abstractions so, say, let function a be length, function be be length.words
2023-11-04 09:42:07 +0100 <Inst> these can be fused together on an input
2023-11-04 09:42:09 +0100actioninja(~actioninj@user/actioninja) (Quit: Ping timeout (120 seconds))
2023-11-04 09:42:33 +0100actioninja(~actioninj@user/actioninja)
2023-11-04 09:42:36 +0100 <Inst> and consume the string while clearing them from memory one by one
2023-11-04 09:42:36 +0100 <mauke> I suspect streaming can do it
2023-11-04 09:43:38 +0100 <mauke> https://hackage.haskell.org/package/streaming-0.2.4.0/docs/Streaming-Prelude.html#v:store
2023-11-04 09:43:59 +0100 <Inst> Anyone know what's going on with streamly?
2023-11-04 09:44:11 +0100 <Inst> Streamly is great, but it's immature ;_;
2023-11-04 09:45:06 +0100 <mauke> oh, https://hackage.haskell.org/package/foldl-1.4.15/docs/Control-Foldl.html too
2023-11-04 09:45:37 +0100 <mauke> Foldl.fold ((,) <$> Foldl.minimum <*> Foldl.maximum) [1..10000000] does a single traversal
2023-11-04 09:48:00 +0100AssCrackBandit(~user@cust-west-par-46-193-2-167.cust.wifirst.net) (Ping timeout: 258 seconds)
2023-11-04 09:50:56 +0100 <Inst> should I hold foldl in higher regard?
2023-11-04 09:51:25 +0100 <albet70> mauke , how I can lift Either into ExceptT ContT something?
2023-11-04 09:52:25 +0100 <albet70> since it's not a value like 3, we can use 'return', it's Either r a, how?
2023-11-04 09:52:31 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-11-04 09:53:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 09:55:55 +0100turlando(~turlando@user/turlando)
2023-11-04 10:04:26 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-04 10:05:00 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-04 10:09:57 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2023-11-04 10:10:49 +0100Square(~Square@user/square) (Ping timeout: 255 seconds)
2023-11-04 10:12:11 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-04 10:13:08 +0100lilata(~lilata@static.5.54.140.128.clients.your-server.de) (Quit: bye)
2023-11-04 10:20:52 +0100neceve(~neceve@user/neceve)
2023-11-04 10:20:54 +0100alp_(~alp@user/alp)
2023-11-04 10:21:48 +0100 <jackdk> albet70: Follow the types: https://www.irccloud.com/pastebin/ljFJ4GK1/ExceptTContT.hs
2023-11-04 10:22:29 +0100Pickchea(~private@user/pickchea)
2023-11-04 10:26:04 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-11-04 10:26:15 +0100alp_(~alp@user/alp) (Quit: Leaving)
2023-11-04 10:26:25 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-11-04 10:34:50 +0100alp_(~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a)
2023-11-04 10:35:58 +0100alp_alp
2023-11-04 10:36:05 +0100alp(~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) (Changing host)
2023-11-04 10:36:05 +0100alp(~alp@user/alp)
2023-11-04 10:42:22 +0100 <albet70> jackdk , yes, I saw your paste, but why 'lift $ ContT $ \k -> k 2' fit that do notation? since k should be Either r a -> IO r, but 2 is Int, not Either
2023-11-04 10:47:56 +0100 <Inst> honestly Rust feels like NeoHaskell in many ways
2023-11-04 10:48:43 +0100 <Inst> in that there's so much deference to traditional ways of doing things and thinking
2023-11-04 10:49:23 +0100alp(~alp@user/alp) (Quit: Leaving)
2023-11-04 10:49:44 +0100 <Inst> I wonder if it's how Schemers felt when they found JS
2023-11-04 10:54:30 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-11-04 10:56:21 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-11-04 10:56:26 +0100alp(~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a)
2023-11-04 10:57:37 +0100alp(~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) (Client Quit)
2023-11-04 10:58:06 +0100alp(~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a)
2023-11-04 10:59:16 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) (Ping timeout: 260 seconds)
2023-11-04 11:01:12 +0100alp(~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) (Remote host closed the connection)
2023-11-04 11:01:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-04 11:01:40 +0100alp(~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49)
2023-11-04 11:02:14 +0100alp_(~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49)
2023-11-04 11:03:19 +0100alp(~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49) (Remote host closed the connection)
2023-11-04 11:03:19 +0100alp_(~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49) (Remote host closed the connection)
2023-11-04 11:04:11 +0100alp(~alp@2001:861:5e02:eff0:59b9:bf61:1651:1a49)
2023-11-04 11:14:14 +0100dhil(~dhil@2001:8e0:2014:3100:a1d6:8a70:f54c:4b84)
2023-11-04 11:18:22 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-04 11:21:01 +0100 <jackdk> % import Control.Monad.Except; import Control.Monad.Cont
2023-11-04 11:21:02 +0100 <yahb2> error: expecting a single import declaration
2023-11-04 11:21:15 +0100 <jackdk> % import Control.Monad.Except
2023-11-04 11:21:15 +0100 <yahb2> <no output>
2023-11-04 11:21:22 +0100 <jackdk> % import Control.Monad.Cont
2023-11-04 11:21:22 +0100 <yahb2> <no output>
2023-11-04 11:21:36 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-11-04 11:21:37 +0100 <jackdk> % _ $ ContT \k -> k 2
2023-11-04 11:21:38 +0100 <yahb2> <interactive>:121:11: error: ; Unexpected lambda expression in function application: ; \ k -> k 2 ; You could write it with parentheses ; Or perhaps you meant to enable BlockArg...
2023-11-04 11:21:49 +0100 <jackdk> % _ $ ContT $ \k -> k 2
2023-11-04 11:21:49 +0100 <yahb2> <interactive>:123:1: error: ; • Found hole: _ :: ContT r0 m0 Integer -> b ; Where: ‘r0’ is an ambiguous type variable ; ‘k0’ is an ambiguous type variable ; ‘m0’...
2023-11-04 11:22:08 +0100 <tomsmeding> % :t ContT $ \k -> k 2
2023-11-04 11:22:08 +0100 <yahb2> ContT $ \k -> k 2 ; :: forall {k} {a} {r :: k} {m :: k -> *}. Num a => ContT r m a
2023-11-04 11:24:14 +0100 <jackdk> albet70: so given `lift :: MonadTrans t => m' a -> t m' a` and `ContT $ \k -> k 2 :: Num a => ContT r m a`, the `ContT ...` expression is a valid argument to `lift` because the type variable `m'` matches `ContT r m` and `t` matches `ExceptT e`, giving you a result type of `Num a => ExceptT e (ContT r m) a`
2023-11-04 11:24:25 +0100 <jackdk> (thanks tomsmeding for driving yahb properly)
2023-11-04 11:26:15 +0100 <albet70> wait, Just 3 and Just "2" both can in Maybe's do notation, until the last line fit Maybe a
2023-11-04 11:27:36 +0100 <albet70> so that \k -> k 2 and \k -> k $ Right 2 both can in that do notation
2023-11-04 11:31:54 +0100 <jackdk> I cannot parse what you are saying, sorry
2023-11-04 11:40:14 +0100 <albet70> that do notation is ExceptT r (ContT () IO) a == ExceptT (ContT () IO) (Either r a) == ExceptT (ContT () IO (Either r a)) == ExceptT $ ContT $ (Either r a -> IO ()) -> IO ()
2023-11-04 11:43:41 +0100fendor_(~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca)
2023-11-04 11:44:29 +0100fendor(~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) (Ping timeout: 255 seconds)
2023-11-04 11:47:24 +0100 <albet70> if k is return so k 2 would be IO Int, ContT $ \k -> k 2 would be ContT () IO Int, but lift it can be ExceptT _ (ContT () IO) Int?
2023-11-04 11:48:33 +0100 <albet70> ContT $ \k -> k (Right 2) should be ContT () IO (Either _ Int)
2023-11-04 11:49:45 +0100 <albet70> so ExceptT $ ContT $ \k -> k (Right 2) :: ExceptT _ (ContT () IO) Int
2023-11-04 11:56:19 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-11-04 11:56:51 +0100 <jackdk> I still don't understand, and I doubt the equalities you have written. `ExceptT e (ContT () IO) a` is `ContT () IO (Either e a)`; you're carrying around the extra type constructors incorrectly
2023-11-04 11:57:40 +0100 <albet70> what's the correct way?
2023-11-04 11:59:29 +0100danza(~francesco@151.47.222.185)
2023-11-04 11:59:56 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2023-11-04 12:01:20 +0100 <jackdk> Consider the definition `newtype ExceptT e m a = ExceptT { runExceptT :: m (Either e a) }`; a value of type `ExceptT e (ContT () IO) a` must be `ExceptT` applied to a value of type `ContT () IO (Either e a)`. Since we're interested in the type of the value underneath all the constructors, we can then proceed by looking at the defintion of `ContT` and looking at what the value "really" is under there
2023-11-04 12:01:24 +0100 <albet70> ExceptT $ (v :: ContT () IO (Either e a) :: ExceptT e (ContT () IO) a?
2023-11-04 12:01:48 +0100 <jackdk> You have missed a close paren but I believe you are otherwise correct.
2023-11-04 12:01:54 +0100 <jackdk> Why are you so focused on `ContT` anyway?
2023-11-04 12:02:48 +0100 <albet70> not focused on ContT, but to learn how three wrapped monads worked
2023-11-04 12:04:31 +0100danza(~francesco@151.47.222.185) (Ping timeout: 255 seconds)
2023-11-04 12:05:06 +0100Guest|20(~Guest|20@ip-095-223-106-008.um35.pools.vodafone-ip.de)
2023-11-04 12:05:11 +0100 <Guest|20> [ Info  ] verifying digest of: gs.exe
2023-11-04 12:05:12 +0100 <Guest|20> ghcup.exe: C:/ghcup\ghc\9.4.7\bin: getDirectoryContents:findFirstFile: does not exist (Das System ka
2023-11-04 12:05:12 +0100 <Guest|20> nn den angegebenen Pfad nicht finden.)
2023-11-04 12:05:13 +0100 <Guest|20> "ghcup --metadata-fetching-mode=Strict set ghc recommended" failed!
2023-11-04 12:05:13 +0100 <Guest|20> cat: 'https'$'\357\200\272''/www.haskell.org/ghcup/sh/bootstrap-haskell': No such file or directory
2023-11-04 12:05:14 +0100 <Guest|20> Press any key to exit
2023-11-04 12:05:47 +0100 <Guest|20> i have an issue with downloading
2023-11-04 12:06:16 +0100Guest|20(~Guest|20@ip-095-223-106-008.um35.pools.vodafone-ip.de) (Client Quit)
2023-11-04 12:06:24 +0100 <albet70> and data ContT r m a = ContT $ (a -> m r) -> m r, so ExceptT $ ContT $ (v :: (Either e a -> IO ()) -> IO ()) :: ExceptT e (ContT () IO) a?
2023-11-04 12:06:24 +0100 <jackdk> good luck mate
2023-11-04 12:06:53 +0100 <jackdk> albet70: seems right. try a ReaderT/StateT/ExceptT over Identity and then over IO for more practice, also maybe https://github.com/qfpl/applied-fp-course/blob/master/bonus/mtl.md will be useful for you?
2023-11-04 12:07:39 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-11-04 12:08:06 +0100arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net)
2023-11-04 12:09:21 +0100 <albet70> you said "carrying around the extra type constructors incorrectly", I'd to know where I was wrong
2023-11-04 12:10:33 +0100alp(~alp@2001:861:5e02:eff0:59b9:bf61:1651:1a49) (Ping timeout: 260 seconds)
2023-11-04 12:11:28 +0100 <albet70> ExceptT $ ContT $ \k -> k 2 :: Num (Either e a) => ExceptT e (ContT r m) a
2023-11-04 12:11:33 +0100 <jackdk> You wrote: ExceptT r (ContT () IO) a == ExceptT (ContT () IO) (Either r a). I disagree with this; if we're looking at the types within the data constructors, I agree with your most recent messages where you spelled things out with type annotations on the values
2023-11-04 12:11:54 +0100 <albet70> but this k shouldn't be Either e a -> IO a? why k 2 is ok?
2023-11-04 12:12:06 +0100 <albet70> k 2 would be Int -> IO ()
2023-11-04 12:13:04 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net)
2023-11-04 12:13:31 +0100 <jackdk> If we are hand-waving and looking at what the type is "really", under the newtype, then I would write ExceptT r (ContT () IO) a ~~ ContT () IO (Either r a), writing ~~ to mean "is roughly"
2023-11-04 12:13:35 +0100 <albet70> how Either e a could be an instance of Num?
2023-11-04 12:14:38 +0100 <jackdk> If you tried to actually use `ExceptT $ ContT $ \k -> k 2 :: Num (Either e a) => ExceptT e (ContT r m) a` I would expect GHC to complain that you don't have an instance, but it is well-typed. You probably want to actually write `ExceptT $ ContT $ \k -> k (Right 2) :: Num a => ExceptT e (ContT r m) a`
2023-11-04 12:17:56 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-11-04 12:18:20 +0100alp(~alp@static-176-175-7-165.ftth.abo.bbox.fr)
2023-11-04 12:21:04 +0100 <albet70> I don't undersand why Either e a can be an instance of Num? I don't find it on https://hackage.haskell.org/package/base-4.19.0.0/docs/Prelude.html#t:Num
2023-11-04 12:23:48 +0100Pickchea(~private@user/pickchea)
2023-11-04 12:23:52 +0100gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com)
2023-11-04 12:25:05 +0100 <jackdk> I don't know the exact terms for this but it will complete one phase of type-checking and then fail to satisfy the constraint because there is no instance
2023-11-04 12:25:13 +0100 <jackdk> > 2 :: Either String Int
2023-11-04 12:25:14 +0100 <lambdabot> error:
2023-11-04 12:25:14 +0100 <lambdabot> • No instance for (Num (Either String Int))
2023-11-04 12:25:15 +0100 <lambdabot> arising from the literal ‘2’
2023-11-04 12:28:58 +0100 <albet70> jackdk , https://paste.tomsmeding.com/HWcJqfxt
2023-11-04 12:32:55 +0100 <jackdk> albet70: seems fine to me, what's the problem?
2023-11-04 12:34:49 +0100 <albet70> b <- lift $ ContT $ \k -> k 2, what's the type of k 2?
2023-11-04 12:36:03 +0100 <jackdk> I assume your main concern is this line: `b <- lift $ ContT $ \k -> k 2`. Note that the argument to `lift` has type `Num a => ContT r m a`. The `lift` call, using `instance MonadTrans (ExceptT e)`, is turning it from `Num a => ContT r m a` into `Num a => ExceptT e (ContT r m) a`
2023-11-04 12:37:07 +0100 <jackdk> If you replace `k 2` with a type hole `_`, GHC says its type is `IO (Either e ())` and that the type of `k` is `a0 -> IO (Either e ())` <- note that `k` is creating the `Either` for us
2023-11-04 12:39:00 +0100 <albet70> yes
2023-11-04 12:39:50 +0100 <albet70> I change that line to 'b <- ExceptT $ ContT $ \k -> k 2' it doesn't work
2023-11-04 12:40:14 +0100 <jackdk> yes
2023-11-04 12:40:23 +0100 <albet70> k should be Either e a -> IO ()
2023-11-04 12:40:57 +0100 <jackdk> why? `lift` is not just the constructor: https://hackage.haskell.org/package/transformers-0.5.6.2/docs/src/Control.Monad.Trans.Except.html#…
2023-11-04 12:41:07 +0100 <jackdk> (note: `mapM` is an old name for `fmap`)
2023-11-04 12:43:08 +0100 <jackdk> If you write an explicit `ExceptT` constructor, then you get the predicted error about no instance for `Num (Either e a0)`, because `k :: Either e a0 -> IO (Either e ())`; if you use explicit `ExceptT` then you need `k (Right 2)`
2023-11-04 12:43:35 +0100danza(~francesco@151.47.222.185)
2023-11-04 12:45:02 +0100 <albet70> but in ghci, :t ExceptT $ ContT $ \k -> k 2, get 'ExceptT $ ContT $ \k -> k 2 :: Num (Either e a) => ExceptT e (ContT r m) a' why it doesn't raise an error?
2023-11-04 12:46:05 +0100 <jackdk> Because that's a valid type, the instance checking happens in a later step
2023-11-04 12:46:47 +0100 <albet70> ok
2023-11-04 12:47:30 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-11-04 12:52:44 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds)
2023-11-04 12:55:27 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-11-04 12:55:49 +0100califax(~califax@user/califx)
2023-11-04 12:56:52 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d)
2023-11-04 12:59:35 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds)
2023-11-04 13:10:21 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds)
2023-11-04 13:12:19 +0100Maxdamantus(~Maxdamant@user/maxdamantus)
2023-11-04 13:19:26 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-04 13:23:03 +0100alp(~alp@static-176-175-7-165.ftth.abo.bbox.fr) (Ping timeout: 258 seconds)
2023-11-04 13:25:44 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 258 seconds)
2023-11-04 13:25:52 +0100cmtaur^(~cd@70-88-177-118-atlanta.hfc.comcastbusiness.net)
2023-11-04 13:27:10 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-11-04 13:27:33 +0100dhil(~dhil@2001:8e0:2014:3100:a1d6:8a70:f54c:4b84) (Ping timeout: 260 seconds)
2023-11-04 13:28:52 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-11-04 13:32:04 +0100tureba(~tureba@tureba.org) (Ping timeout: 272 seconds)
2023-11-04 13:35:52 +0100cmtaur^(~cd@70-88-177-118-atlanta.hfc.comcastbusiness.net) (Ping timeout: 272 seconds)
2023-11-04 13:36:09 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net)
2023-11-04 13:37:47 +0100arahael(~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds)
2023-11-04 13:45:03 +0100tureba(~tureba@tureba.org)
2023-11-04 14:00:57 +0100mechap(~mechap@user/mechap)
2023-11-04 14:09:10 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-11-04 14:11:13 +0100kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host)
2023-11-04 14:19:18 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-11-04 14:34:19 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-04 14:38:58 +0100alp(~alp@2001:861:5e02:eff0:2391:80cf:f919:e86c)
2023-11-04 14:39:40 +0100chomwitt(~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1)
2023-11-04 14:44:24 +0100AssCrackBandit(~user@cust-west-par-46-193-2-167.cust.wifirst.net)
2023-11-04 14:45:22 +0100danza(~francesco@151.47.222.185) (Read error: Connection reset by peer)
2023-11-04 14:47:26 +0100ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 272 seconds)
2023-11-04 14:48:07 +0100ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-11-04 14:56:35 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 258 seconds)
2023-11-04 14:57:09 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net)
2023-11-04 15:01:39 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection)
2023-11-04 15:06:14 +0100alp(~alp@2001:861:5e02:eff0:2391:80cf:f919:e86c) (Remote host closed the connection)
2023-11-04 15:07:00 +0100fendor_(~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) (Remote host closed the connection)
2023-11-04 15:08:48 +0100__monty__(~toonn@user/toonn)
2023-11-04 15:10:49 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-11-04 15:12:03 +0100califax(~califax@user/califx)
2023-11-04 15:15:11 +0100sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-11-04 15:18:25 +0100sefidel(~sefidel@user/sefidel)
2023-11-04 15:19:18 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-11-04 15:19:44 +0100califax(~califax@user/califx)
2023-11-04 15:19:51 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-11-04 15:23:34 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net)
2023-11-04 15:23:48 +0100erty(~user@user/aeroplane)
2023-11-04 15:25:32 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection)
2023-11-04 15:31:46 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) (Ping timeout: 272 seconds)
2023-11-04 15:32:37 +0100Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 258 seconds)
2023-11-04 15:34:20 +0100Maxdamantus(~Maxdamant@user/maxdamantus)
2023-11-04 15:36:18 +0100 <Inst> wait, does FFI stop concurrency? ?:(
2023-11-04 15:37:31 +0100YuutaW(~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds)
2023-11-04 15:37:43 +0100 <Umeaboy> Is there a patch for this build error?
2023-11-04 15:37:55 +0100 <Umeaboy> https://pastebin.mozilla.org/ZV3JK6fZ
2023-11-04 15:38:28 +0100 <Umeaboy> I have asked this question in #haskell-ghcup as well.
2023-11-04 15:48:17 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net)
2023-11-04 15:49:32 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection)
2023-11-04 15:52:16 +0100Enrico63(~Enrico63@81.109.143.226)
2023-11-04 15:52:19 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-04 15:57:09 +0100Inst(~Inst@120.244.192.250) (Ping timeout: 258 seconds)
2023-11-04 16:02:52 +0100Lycurgus(~georg@user/Lycurgus)
2023-11-04 16:07:11 +0100 <EvanR> @tell Inst if you're not using -threaded then yes
2023-11-04 16:07:11 +0100 <lambdabot> Consider it noted.
2023-11-04 16:10:35 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-11-04 16:11:50 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net)
2023-11-04 16:13:31 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection)
2023-11-04 16:13:44 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 256 seconds)
2023-11-04 16:14:29 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2023-11-04 16:28:42 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-04 16:29:44 +0100isekaijinGuest7288
2023-11-04 16:32:45 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net)
2023-11-04 16:41:33 +0100YuutaW(~YuutaW@2404:f4c0:f9c3:502::100:17b7)
2023-11-04 16:49:09 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2023-11-04 16:49:11 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-11-04 16:53:52 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-11-04 17:01:14 +0100pixelmonk(~pixelmonk@50.205.76.66)
2023-11-04 17:02:08 +0100Lycurgus(~georg@user/Lycurgus)
2023-11-04 17:12:40 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d)
2023-11-04 17:12:48 +0100sabino(~sabino@user/sabino)
2023-11-04 17:13:06 +0100zetef(~quassel@188.26.237.114)
2023-11-04 17:14:28 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-11-04 17:16:58 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 17:18:40 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-04 17:19:02 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-11-04 17:30:09 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-11-04 17:30:18 +0100mastarija(~mastarija@141-136-170-90.dsl.iskon.hr)
2023-11-04 17:30:49 +0100CO2(CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.1)
2023-11-04 17:31:03 +0100CO2(CO2@gateway/vpn/protonvpn/co2)
2023-11-04 17:33:52 +0100tabemann__(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving)
2023-11-04 17:38:41 +0100 <mastarija> I'm trying to nixify ma project by following this tutorial: https://www.haskellforall.com/2022/08/incrementally-package-haskell-program.html
2023-11-04 17:39:23 +0100 <mastarija> However, I get weird error saying I have something in my flake.nix file which I definitely don't have.
2023-11-04 17:39:38 +0100 <mastarija> Seems like an intermediate step or something.
2023-11-04 17:40:11 +0100 <mastarija> Error message: https://paste.tomsmeding.com/aWf3NMsB
2023-11-04 17:40:37 +0100 <mastarija> My flake.nix and .cabal file: https://paste.tomsmeding.com/DMoBcVjt
2023-11-04 17:41:21 +0100 <mastarija> I wonder if perhaps it's confused because I have two binaries that I want to generate from my project.
2023-11-04 17:42:02 +0100 <ncf> line 8 in flake.nix should be either { self, nixpkgs, utils } or { nixpkgs, utils, ... }
2023-11-04 17:42:25 +0100 <mastarija> Aha...
2023-11-04 17:42:29 +0100 <mastarija> Jeez.
2023-11-04 17:42:34 +0100 <mastarija> What a mistake xD
2023-11-04 17:42:58 +0100 <mastarija> Ok. Works flawlessly now.
2023-11-04 17:43:09 +0100 <mastarija> Can't believe that was it...
2023-11-04 17:47:05 +0100thegman(~thegman@072-239-207-086.res.spectrum.com)
2023-11-04 17:57:09 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-11-04 18:05:52 +0100AlexNoo_(~AlexNoo@178.34.161.199)
2023-11-04 18:06:35 +0100thegman(~thegman@072-239-207-086.res.spectrum.com) (Quit: Lost terminal)
2023-11-04 18:07:49 +0100AlexZenon(~alzenon@94.233.241.58) (Ping timeout: 255 seconds)
2023-11-04 18:08:03 +0100 <mastarija> Hm... so I can enter the dev shell using `nix develop` and from there I can do e.g. `cabal build` without any problems. However, when I do `nix build` I get an error complaining about either private or missing `network` dependency.
2023-11-04 18:08:15 +0100 <mastarija> here's my current nix setup and error: https://paste.tomsmeding.com/26ThKX2V
2023-11-04 18:08:45 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-11-04 18:08:57 +0100thegman(~thegman@072-239-207-086.res.spectrum.com)
2023-11-04 18:09:14 +0100AlexNoo(~AlexNoo@94.233.241.58) (Ping timeout: 245 seconds)
2023-11-04 18:09:30 +0100 <mastarija> Also, I'm wondering if I can somehow create an option in nix flake to build only a specific thing from my haskell package. E.g. I'd like to give user the option to build only `cli` or `srv ` executable, or maybe just the library, or just the test suite.
2023-11-04 18:09:49 +0100 <mastarija> Alternative to `cabal build x`, or `cabal test x`.
2023-11-04 18:10:20 +0100 <mastarija> I can define something for the whole package e.g. `packages.default = pkgs.haskellPackages.discrete;`
2023-11-04 18:10:43 +0100 <mastarija> But I don't know how to create e.g. `packages.default = pkgs.haskellPackages.discrete.cli`.
2023-11-04 18:13:20 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-11-04 18:13:37 +0100AlexZenon(~alzenon@178.34.161.199)
2023-11-04 18:13:37 +0100 <mastarija> Hm.. I've relaxed some dependencies in my cabal file, so now it builds.
2023-11-04 18:14:03 +0100 <mastarija> However I'm interested if anyone has some experience with how to build only parts of the cabal package with nix.
2023-11-04 18:14:21 +0100tom__(~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684)
2023-11-04 18:14:43 +0100tom_(~tom@host86-132-186-152.range86-132.btcentralplus.com) (Read error: Connection reset by peer)
2023-11-04 18:15:48 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-04 18:15:48 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-04 18:17:07 +0100df(~ben@justworks.xyz) (Ping timeout: 255 seconds)
2023-11-04 18:17:21 +0100df(~ben@justworks.xyz)
2023-11-04 18:26:31 +0100thegman(~thegman@072-239-207-086.res.spectrum.com) (Quit: Lost terminal)
2023-11-04 18:26:34 +0100shane(~shane@ana.rch.ist) (Ping timeout: 255 seconds)
2023-11-04 18:26:41 +0100shane(~shane@ana.rch.ist)
2023-11-04 18:31:31 +0100hrberg(~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 255 seconds)
2023-11-04 18:31:57 +0100hrberg(~quassel@171.79-160-161.customer.lyse.net)
2023-11-04 18:33:34 +0100thegman(~thegman@072-239-207-086.res.spectrum.com)
2023-11-04 18:34:16 +0100benjaminl(~benjaminl@user/benjaminl) (Ping timeout: 260 seconds)
2023-11-04 18:34:25 +0100pointlessslippe1(~pointless@212.82.82.3) (Quit: ZNC - http://znc.in)
2023-11-04 18:35:32 +0100pointlessslippe1(~pointless@212.82.82.3)
2023-11-04 18:35:49 +0100thegman(~thegman@072-239-207-086.res.spectrum.com) (Client Quit)
2023-11-04 18:38:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 18:38:36 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 18:39:11 +0100thegman(~thegman@072-239-207-086.res.spectrum.com)
2023-11-04 18:41:48 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 18:41:55 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 18:43:34 +0100Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk)
2023-11-04 18:44:58 +0100benjaminl(~benjaminl@user/benjaminl)
2023-11-04 18:45:17 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 18:46:30 +0100dhil(~dhil@2001:8e0:2014:3100:7f05:9d63:9f57:406b)
2023-11-04 18:47:10 +0100AlexNoo_(~AlexNoo@178.34.161.199) (Quit: Leaving)
2023-11-04 18:47:25 +0100AlexNoo_(~AlexNoo@178.34.161.199)
2023-11-04 18:47:47 +0100AlexNoo_AlexNoo
2023-11-04 18:48:12 +0100 <ncf> nixpkgs/release-23.05 has network 3.1.2.9, so that doesn't match your bounds
2023-11-04 18:48:58 +0100 <mastarija> Yeah. I figured it's something like that. But I don't know much nix yet, so I don't know how to check that.
2023-11-04 18:49:19 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-11-04 18:49:22 +0100 <ncf> https://search.nixos.org/packages?channel=23.05&from=0&size=50&sort=relevance&type=packages&query=…
2023-11-04 18:50:07 +0100 <mastarija> Btw, looking at the generated nix file from cabal2nix, I don't see any versions mentioned, so I was surprised that version from .cabal file would make problems.
2023-11-04 18:50:23 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-11-04 18:50:40 +0100 <mastarija> I only see a list of packages, which I assumed would be picked up from the release
2023-11-04 18:52:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 18:57:10 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 18:57:10 +0100Guest7288(~user@user/isekaijin) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2023-11-04 18:57:34 +0100alexherbo2(~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection)
2023-11-04 18:57:48 +0100isekaijin(~user@user/isekaijin)
2023-11-04 18:59:11 +0100Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 255 seconds)
2023-11-04 18:59:13 +0100Lycurgus(~georg@user/Lycurgus)
2023-11-04 19:00:30 +0100Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk)
2023-11-04 19:00:57 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 19:04:14 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 19:05:51 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 19:05:53 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection)
2023-11-04 19:07:53 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 19:08:31 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 19:09:18 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 19:12:25 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 19:12:25 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 19:19:50 +0100Simikando(~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection)
2023-11-04 19:19:57 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-04 19:20:12 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-11-04 19:20:20 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 19:20:27 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 19:20:51 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-11-04 19:21:28 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 258 seconds)
2023-11-04 19:22:25 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 19:22:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-04 19:24:50 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds)
2023-11-04 19:25:20 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-11-04 19:25:38 +0100erty(~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2))
2023-11-04 19:26:00 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2023-11-04 19:28:39 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 19:28:41 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 19:34:55 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-11-04 19:45:51 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-11-04 19:48:21 +0100CO2(CO2@gateway/vpn/protonvpn/co2) (Ping timeout: 260 seconds)
2023-11-04 19:53:37 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 19:54:31 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 19:54:40 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 19:55:15 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2023-11-04 19:59:00 +0100kimiamania46(~b4f4a2ab@user/kimiamania) (Ping timeout: 240 seconds)
2023-11-04 19:59:12 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:03:22 +0100sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2023-11-04 20:13:01 +0100trev(~trev@user/trev)
2023-11-04 20:13:10 +0100hippoid(~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.0.4)
2023-11-04 20:16:40 +0100kimiamania46(~b4f4a2ab@user/kimiamania)
2023-11-04 20:20:27 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-11-04 20:22:47 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-04 20:29:36 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:30:23 +0100Enrico63(~Enrico63@81.109.143.226) (Ping timeout: 248 seconds)
2023-11-04 20:31:32 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2023-11-04 20:35:06 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:35:23 +0100Pickchea(~private@user/pickchea)
2023-11-04 20:36:11 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-11-04 20:36:38 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2023-11-04 20:37:07 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:37:49 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection)
2023-11-04 20:39:53 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:42:04 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2023-11-04 20:42:59 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:45:31 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2023-11-04 20:46:26 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:50:40 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-11-04 20:51:01 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Client Quit)
2023-11-04 20:51:26 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 20:52:43 +0100trev(~trev@user/trev) (Quit: trev)
2023-11-04 20:53:20 +0100girlteckteck40d(~girlteckt@27.125.241.118)
2023-11-04 20:53:41 +0100girlteckteck40d(~girlteckt@27.125.241.118) (Client Quit)
2023-11-04 20:54:10 +0100falafel(~falafel@62.175.113.194.dyn.user.ono.com)
2023-11-04 20:56:02 +0100nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2023-11-04 21:03:58 +0100zetef(~quassel@188.26.237.114) (Remote host closed the connection)
2023-11-04 21:04:35 +0100zetef(~quassel@188.26.237.114)
2023-11-04 21:04:47 +0100red-snail1(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-04 21:06:50 +0100caryhartline(~caryhartl@168.182.58.169)
2023-11-04 21:06:50 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 21:13:19 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-04 21:13:42 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 21:13:46 +0100Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 272 seconds)
2023-11-04 21:22:29 +0100Guest|45(~Guest|45@ip98-161-189-68.ph.ph.cox.net)
2023-11-04 21:26:30 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-11-04 21:29:11 +0100Jackneill_(~Jackneill@20014C4E1E16F0003DE908ACD9B4B9E6.dsl.pool.telekom.hu)
2023-11-04 21:30:37 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-11-04 21:31:30 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 21:32:31 +0100zetef(~quassel@188.26.237.114) (Remote host closed the connection)
2023-11-04 21:32:38 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection)
2023-11-04 21:33:01 +0100red-snail(~snail@static.151.210.203.116.clients.your-server.de)
2023-11-04 21:33:12 +0100zetef(~quassel@188.26.237.114)
2023-11-04 21:42:26 +0100Lycurgus(~georg@user/Lycurgus)
2023-11-04 21:43:49 +0100Angelz(Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15)
2023-11-04 21:46:23 +0100jumper(~jumper@mobile-access-567363-114.dhcp.inet.fi)
2023-11-04 21:55:07 +0100Guest|45(~Guest|45@ip98-161-189-68.ph.ph.cox.net) (Quit: Connection closed)
2023-11-04 21:58:33 +0100Sgeo(~Sgeo@user/sgeo)
2023-11-04 22:05:23 +0100Square(~Square@user/square)
2023-11-04 22:09:40 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2023-11-04 22:10:40 +0100tabemann(~tabemann@12.215.215.61)
2023-11-04 22:10:49 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl)
2023-11-04 22:14:31 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-11-04 22:14:55 +0100tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2023-11-04 22:16:44 +0100tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2023-11-04 22:19:54 +0100ACuriousMoose(~ACuriousM@142.166.18.53)
2023-11-04 22:23:20 +0100Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2023-11-04 22:23:58 +0100jumper(~jumper@mobile-access-567363-114.dhcp.inet.fi) ()
2023-11-04 22:37:14 +0100thegman(~thegman@072-239-207-086.res.spectrum.com) (Quit: leaving)
2023-11-04 22:38:53 +0100mastarija(~mastarija@141-136-170-90.dsl.iskon.hr) (Quit: Client closed)
2023-11-04 22:45:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 22:47:12 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-11-04 22:48:33 +0100thegman(~thegman@072-239-207-086.res.spectrum.com)
2023-11-04 22:51:00 +0100Buggys(Buggys@Buggy.shelltalk.net) (Ping timeout: 240 seconds)
2023-11-04 22:52:01 +0100thegman(~thegman@072-239-207-086.res.spectrum.com) (Client Quit)
2023-11-04 22:52:45 +0100thegman(~thegman@072-239-207-086.res.spectrum.com)
2023-11-04 22:53:31 +0100thegman(~thegman@072-239-207-086.res.spectrum.com) (Client Quit)
2023-11-04 22:55:29 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 245 seconds)
2023-11-04 22:56:24 +0100cmtaur^(~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net)
2023-11-04 22:56:30 +0100thegman(~thegman@072-239-207-086.res.spectrum.com)
2023-11-04 22:57:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-11-04 22:59:21 +0100Buggys(Buggys@shelltalk.net)
2023-11-04 23:04:13 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 23:04:21 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds)
2023-11-04 23:06:05 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 23:10:09 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 23:10:09 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 23:14:39 +0100neceve(~neceve@user/neceve) (Ping timeout: 240 seconds)
2023-11-04 23:17:48 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2023-11-04 23:20:54 +0100dhil(~dhil@2001:8e0:2014:3100:7f05:9d63:9f57:406b) (Ping timeout: 245 seconds)
2023-11-04 23:21:19 +0100zetef(~quassel@188.26.237.114) (Ping timeout: 255 seconds)
2023-11-04 23:22:20 +0100CO2(CO2@gateway/vpn/protonvpn/co2)
2023-11-04 23:22:39 +0100chomwitt(~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds)
2023-11-04 23:24:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-11-04 23:28:31 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2023-11-04 23:30:15 +0100falafel(~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 258 seconds)
2023-11-04 23:32:49 +0100misterfish(~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds)
2023-11-04 23:37:20 +0100mechap(~mechap@user/mechap) (Ping timeout: 246 seconds)
2023-11-04 23:39:08 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-11-04 23:39:22 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-11-04 23:40:51 +0100 <hololeap> there's a strange bug that I need some help understanding but I'm not sure where to ask: https://916785.bugs.gentoo.org/attachment.cgi?id=874011
2023-11-04 23:40:53 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2023-11-04 23:41:47 +0100tabemann(~tabemann@12.215.215.61) (Ping timeout: 255 seconds)
2023-11-04 23:43:52 +0100 <hololeap> would it be worth it to file an issue on the ghc gitlab or somewhere else?
2023-11-04 23:46:47 +0100malte(~malte@mal.tc) (Remote host closed the connection)
2023-11-04 23:48:06 +0100malte(~malte@mal.tc)
2023-11-04 23:50:12 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 23:51:28 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 23:51:37 +0100idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
2023-11-04 23:53:22 +0100Inst(~Inst@120.244.192.250)
2023-11-04 23:54:32 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de)
2023-11-04 23:56:51 +0100todi(~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-11-04 23:56:51 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-11-04 23:57:46 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 255 seconds)
2023-11-04 23:58:39 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)