2023-11-04 00:00:08 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 272 seconds) |
2023-11-04 00:10:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-04 00:19:31 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 255 seconds) |
2023-11-04 00:24:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-11-04 00:26:30 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
2023-11-04 00:32:53 +0100 | newsham | (~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 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
2023-11-04 00:42:11 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-11-04 00:50:28 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 252 seconds) |
2023-11-04 00:51:36 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
2023-11-04 00:53:24 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-11-04 01:00:03 +0100 | Buggys | (Buggys@shelltalk.net) (*.net *.split) |
2023-11-04 01:00:03 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (*.net *.split) |
2023-11-04 01:00:03 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (*.net *.split) |
2023-11-04 01:00:03 +0100 | pavonia | (~user@user/siracusa) (*.net *.split) |
2023-11-04 01:00:03 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (*.net *.split) |
2023-11-04 01:00:03 +0100 | forell | (~forell@user/forell) (*.net *.split) |
2023-11-04 01:00:03 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (*.net *.split) |
2023-11-04 01:00:04 +0100 | dtman34_ | (~dtman34@2601:447:d000:93c9:c0c7:16d5:6cb5:4382) (*.net *.split) |
2023-11-04 01:00:05 +0100 | biberu | (~biberu@user/biberu) (*.net *.split) |
2023-11-04 01:00:05 +0100 | echoreply | (~echoreply@45.32.163.16) (*.net *.split) |
2023-11-04 01:00:05 +0100 | gentauro | (~gentauro@user/gentauro) (*.net *.split) |
2023-11-04 01:00:05 +0100 | Ascension | (~Ascension@176.254.244.83) (*.net *.split) |
2023-11-04 01:00:05 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) (*.net *.split) |
2023-11-04 01:00:05 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
2023-11-04 01:00:05 +0100 | T_S____ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
2023-11-04 01:00:05 +0100 | dove | (~irc@2600:3c00:e000:287::1) (*.net *.split) |
2023-11-04 01:00:05 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
2023-11-04 01:00:10 +0100 | Inst | (~Inst@120.244.192.250) (*.net *.split) |
2023-11-04 01:00:10 +0100 | hippoid | (~hippoid@user/hippoid) (*.net *.split) |
2023-11-04 01:00:10 +0100 | ridcully | (~ridcully@p57b5294c.dip0.t-ipconnect.de) (*.net *.split) |
2023-11-04 01:00:10 +0100 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (*.net *.split) |
2023-11-04 01:00:11 +0100 | kimiamania46 | (~b4f4a2ab@user/kimiamania) (*.net *.split) |
2023-11-04 01:00:11 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
2023-11-04 01:00:11 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (*.net *.split) |
2023-11-04 01:00:11 +0100 | srk | (~sorki@user/srk) (*.net *.split) |
2023-11-04 01:00:11 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (*.net *.split) |
2023-11-04 01:00:11 +0100 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (*.net *.split) |
2023-11-04 01:00:12 +0100 | dolio | (~dolio@130.44.134.54) (*.net *.split) |
2023-11-04 01:00:12 +0100 | gooba | (~gooba@90-231-13-185-no3430.tbcn.telia.com) (*.net *.split) |
2023-11-04 01:00:12 +0100 | peutri | (~peutri@bobo.desast.re) (*.net *.split) |
2023-11-04 01:00:12 +0100 | arkeet | (~arkeet@moriya.ca) (*.net *.split) |
2023-11-04 01:00:12 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
2023-11-04 01:00:12 +0100 | Vq | (~vq@90-225-115-195-no122.tbcn.telia.com) (*.net *.split) |
2023-11-04 01:00:13 +0100 | Deide | (d0130db69a@user/deide) (*.net *.split) |
2023-11-04 01:00:13 +0100 | blackfield | (~aenima@85.255.4.218) (*.net *.split) |
2023-11-04 01:00:13 +0100 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) (*.net *.split) |
2023-11-04 01:00:13 +0100 | sgarcia | (sgarcia@swarm.znchost.com) (*.net *.split) |
2023-11-04 01:00:13 +0100 | Opus | (~lossy@user/opus) (*.net *.split) |
2023-11-04 01:00:13 +0100 | defanor | (~defanor@tart.uberspace.net) (*.net *.split) |
2023-11-04 01:00:13 +0100 | mauke | (~mauke@user/mauke) (*.net *.split) |
2023-11-04 01:00:13 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) (*.net *.split) |
2023-11-04 01:00:13 +0100 | bgamari_ | (~bgamari@64.223.173.10) (*.net *.split) |
2023-11-04 01:00:13 +0100 | Adran | (~adran@botters/adran) (*.net *.split) |
2023-11-04 01:00:13 +0100 | lilata | (~lilata@static.5.54.140.128.clients.your-server.de) (*.net *.split) |
2023-11-04 01:00:19 +0100 | gentauro | (~gentauro@user/gentauro) |
2023-11-04 01:00:20 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
2023-11-04 01:00:20 +0100 | dove | (~irc@2600:3c00:e000:287::1) |
2023-11-04 01:00:23 +0100 | arkeet | (arkeet@moriya.ca) |
2023-11-04 01:00:28 +0100 | T_S____ | (sid501726@id-501726.uxbridge.irccloud.com) |
2023-11-04 01:00:34 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) |
2023-11-04 01:01:19 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
2023-11-04 01:01:32 +0100 | ridcully | (~ridcully@p57b5294c.dip0.t-ipconnect.de) |
2023-11-04 01:01:33 +0100 | lilata | (~lilata@static.5.54.140.128.clients.your-server.de) |
2023-11-04 01:01:39 +0100 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
2023-11-04 01:01:48 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2023-11-04 01:01:50 +0100 | forell | (~forell@user/forell) |
2023-11-04 01:01:51 +0100 | biberu | (~biberu@user/biberu) |
2023-11-04 01:01:58 +0100 | defanor | (~defanor@tart.uberspace.net) |
2023-11-04 01:01:59 +0100 | kimiamania46 | (~b4f4a2ab@user/kimiamania) |
2023-11-04 01:02:03 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
2023-11-04 01:02:06 +0100 | blackfield | (~aenima@85.255.4.218) |
2023-11-04 01:02:09 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:1930:f752:99bd:543d) |
2023-11-04 01:02:52 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
2023-11-04 01:02:56 +0100 | tdammers | (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
2023-11-04 01:03:17 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) |
2023-11-04 01:04:12 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
2023-11-04 01:04:22 +0100 | sgarcia | (sgarcia@swarm.znchost.com) |
2023-11-04 01:04:35 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-11-04 01:04:59 +0100 | pavonia | (~user@user/siracusa) |
2023-11-04 01:05:02 +0100 | srk | (~sorki@user/srk) |
2023-11-04 01:05:20 +0100 | mauke | (~mauke@user/mauke) |
2023-11-04 01:05:27 +0100 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
2023-11-04 01:05:59 +0100 | dolio | (~dolio@130.44.134.54) |
2023-11-04 01:06:30 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 01:07:07 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 01:10:20 +0100 | Vq | (~vq@90-225-115-195-no122.tbcn.telia.com) |
2023-11-04 01:10:20 +0100 | absence | (torgeihe@hildring.pvv.ntnu.no) |
2023-11-04 01:10:20 +0100 | peutri | (~peutri@bobo.desast.re) |
2023-11-04 01:10:25 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) |
2023-11-04 01:10:35 +0100 | bgamari | (~bgamari@64.223.173.10) |
2023-11-04 01:10:58 +0100 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) |
2023-11-04 01:13:41 +0100 | opus | (~nil@user/opus) |
2023-11-04 01:13:49 +0100 | superbil_ | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Ping timeout: 245 seconds) |
2023-11-04 01:14:05 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 240 seconds) |
2023-11-04 01:15:01 +0100 | swistak | (~swistak@185.21.216.141) |
2023-11-04 01:15:47 +0100 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
2023-11-04 01:16:23 +0100 | Adran | (~adran@botters/adran) |
2023-11-04 01:26:46 +0100 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
2023-11-04 01:40:34 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2023-11-04 01:43:05 +0100 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Remote host closed the connection) |
2023-11-04 01:43:28 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6063:918b:7689:ac0f) (Ping timeout: 258 seconds) |
2023-11-04 01:43:29 +0100 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
2023-11-04 01:45:32 +0100 | Inst | (~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 +0100 | falafel | (~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 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Quit: leaving) |
2023-11-04 02:02:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-11-04 02:02:41 +0100 | arjun | (~arjun@user/arjun) |
2023-11-04 02:04:49 +0100 | califax | (~califax@user/califx) |
2023-11-04 02:07:09 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-11-04 02:07:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
2023-11-04 02:08:30 +0100 | Lord_of_Life_ | Lord_of_Life |
2023-11-04 02:15:05 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 240 seconds) |
2023-11-04 02:15:46 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
2023-11-04 02:17:40 +0100 | newsham | (~newsham@2603-800c-2c01-6825-8820-42a4-227a-4465.res6.spectrum.com) (Quit: Client closed) |
2023-11-04 02:19:20 +0100 | arjun_ | (~arjun@103.57.87.42) |
2023-11-04 02:19:27 +0100 | arjun_ | (~arjun@103.57.87.42) (Remote host closed the connection) |
2023-11-04 02:31:36 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) |
2023-11-04 02:31:58 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
2023-11-04 02:39:59 +0100 | arjun_ | (~arjun@user/arjun) |
2023-11-04 02:40:42 +0100 | arjun | (~arjun@user/arjun) (Quit: Quit!) |
2023-11-04 02:40:46 +0100 | arjun_ | (~arjun@user/arjun) (Remote host closed the connection) |
2023-11-04 02:40:52 +0100 | arjun__ | (~arjun@user/arjun) |
2023-11-04 02:40:52 +0100 | arjun__ | (~arjun@user/arjun) (Client Quit) |
2023-11-04 02:46:15 +0100 | neceve | (~neceve@user/neceve) (Ping timeout: 240 seconds) |
2023-11-04 02:46:20 +0100 | Inst | (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
2023-11-04 02:50:09 +0100 | malte | (~malte@mal.tc) |
2023-11-04 02:53:05 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-11-04 02:57:50 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
2023-11-04 02:57:59 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
2023-11-04 02:58:41 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
2023-11-04 03:00:19 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2023-11-04 03:00:40 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-11-04 03:01:25 +0100 | edr | (~edr@user/edr) (Quit: Leaving) |
2023-11-04 03:26:36 +0100 | otto_s | (~user@p4ff27373.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2023-11-04 03:27:43 +0100 | otto_s | (~user@p5de2f0ce.dip0.t-ipconnect.de) |
2023-11-04 03:33:49 +0100 | jero98772 | (~jero98772@2800:484:1d84:100::5) |
2023-11-04 03:48:50 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-11-04 03:49:14 +0100 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) |
2023-11-04 03:49:39 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 245 seconds) |
2023-11-04 03:50:28 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
2023-11-04 04:09:25 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-11-04 04:09:25 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-11-04 04:09:25 +0100 | finn_elija | FinnElija |
2023-11-04 04:09:44 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-11-04 04:10:00 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
2023-11-04 04:11:44 +0100 | malte | (~malte@mal.tc) (Ping timeout: 245 seconds) |
2023-11-04 04:12:34 +0100 | jero98772 | (~jero98772@2800:484:1d84:100::5) (Ping timeout: 245 seconds) |
2023-11-04 04:14:01 +0100 | malte | (~malte@mal.tc) |
2023-11-04 04:15:56 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-11-04 04:16:09 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
2023-11-04 04:16:41 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Client Quit) |
2023-11-04 04:16:56 +0100 | zetef | (~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 +0100 | rosco | (~rosco@yp-150-69.tm.net.my) |
2023-11-04 04:28:55 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
2023-11-04 04:29:46 +0100 | sefidel | (~sefidel@user/sefidel) |
2023-11-04 04:41:56 +0100 | td_ | (~td@i53870911.versanet.de) (Ping timeout: 255 seconds) |
2023-11-04 04:42:20 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2023-11-04 04:42:36 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) |
2023-11-04 04:42:52 +0100 | zetef | (~quassel@2a02:2f00:5201:4b00:7fc8:6fbe:33d9:ba2a) (Remote host closed the connection) |
2023-11-04 04:43:35 +0100 | td_ | (~td@i53870925.versanet.de) |
2023-11-04 04:44:13 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2023-11-04 04:46:08 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2023-11-04 04:49:23 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
2023-11-04 04:59:27 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2023-11-04 05:00:24 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
2023-11-04 05:05:06 +0100 | actioninja2 | (~actioninj@user/actioninja) |
2023-11-04 05:06:29 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2023-11-04 05:06:36 +0100 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 240 seconds) |
2023-11-04 05:06:37 +0100 | actioninja2 | actioninja |
2023-11-04 05:07:05 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
2023-11-04 05:07:54 +0100 | sefidel | (~sefidel@user/sefidel) |
2023-11-04 05:12:24 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2023-11-04 05:13:04 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2023-11-04 05:14:51 +0100 | tom_ | (~tom@host86-132-186-152.range86-132.btcentralplus.com) |
2023-11-04 05:15:12 +0100 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Remote host closed the connection) |
2023-11-04 05:27:29 +0100 | phma | (~phma@host-67-44-208-69.hnremote.net) (Read error: Connection reset by peer) |
2023-11-04 05:28:23 +0100 | phma | (phma@2001:5b0:212a:b088:bde:88f:7cf:d96) |
2023-11-04 05:37:25 +0100 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (Quit: WeeChat 4.1.0) |
2023-11-04 05:37:35 +0100 | bastelfreak | (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 +0100 | aforemny | (~aforemny@i59f516df.versanet.de) |
2023-11-04 05:49:15 +0100 | pixelmonk | (~pixelmonk@173.46.79.26) (Quit: WeeChat 4.1.0) |
2023-11-04 05:49:16 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce4:6400:b797:ebd1:b498:8617) (Ping timeout: 248 seconds) |
2023-11-04 05:59:51 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-11-04 06:00:50 +0100 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-11-04 06:04:11 +0100 | myme | (~myme@2a01:799:d60:e400:5aab:e46b:41f3:b6c7) (Remote host closed the connection) |
2023-11-04 06:04:17 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
2023-11-04 06:04:35 +0100 | myme | (~myme@2a01:799:d60:e400:303:74c0:223b:e4a8) |
2023-11-04 06:06:05 +0100 | kraftwerk28 | (~kraftwerk@164.92.219.160) (Ping timeout: 240 seconds) |
2023-11-04 06:10:04 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 245 seconds) |
2023-11-04 06:11:54 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
2023-11-04 06:26:30 +0100 | harveypwca | (~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 +0100 | mikess | (~sam@S010664777dafd303.cg.shawcable.net) (Quit: leaving) |
2023-11-04 06:36:26 +0100 | harveypwca | (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving) |
2023-11-04 06:47:15 +0100 | rgw | (~R@2605:a601:a0f5:a800:ad48:522e:108:bbe8) (Read error: Connection reset by peer) |
2023-11-04 06:53:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-04 06:56:45 +0100 | Ascension | (~Ascension@176.254.244.83) |
2023-11-04 07:06:00 +0100 | kraftwerk28 | (~kraftwerk@164.92.219.160) |
2023-11-04 07:06:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-04 07:13:54 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-04 07:18:53 +0100 | rosco | (~rosco@yp-150-69.tm.net.my) (Ping timeout: 258 seconds) |
2023-11-04 07:26:51 +0100 | tromp | (~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 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-11-04 08:03:48 +0100 | gmg | (~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 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
2023-11-04 08:12:44 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2023-11-04 08:13:13 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-11-04 08:13:41 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-11-04 08:21:06 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
2023-11-04 08:21:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-04 08:25:28 +0100 | acidjnk | (~acidjnk@p200300d6e72b93244c42f59268042077.dip0.t-ipconnect.de) |
2023-11-04 08:31:49 +0100 | erty | (~user@user/aeroplane) |
2023-11-04 08:41:38 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
2023-11-04 08:42:30 +0100 | Square | (~Square@user/square) |
2023-11-04 08:45:21 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
2023-11-04 08:46:12 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-11-04 08:46:24 +0100 | Square | (~Square@user/square) |
2023-11-04 08:51:30 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2023-11-04 09:00:23 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) (Remote host closed the connection) |
2023-11-04 09:04:05 +0100 | erty | (~user@user/aeroplane) (Read error: Connection reset by peer) |
2023-11-04 09:04:15 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
2023-11-04 09:04:19 +0100 | erty | (~user@user/aeroplane) |
2023-11-04 09:04:43 +0100 | erty | (~user@user/aeroplane) (Client Quit) |
2023-11-04 09:05:17 +0100 | erty | (~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 +0100 | erty | (~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 +0100 | erty | (~user@user/aeroplane) |
2023-11-04 09:16:17 +0100 | fendor | (~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 +0100 | erty | (~user@user/aeroplane) (Ping timeout: 255 seconds) |
2023-11-04 09:25:35 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2023-11-04 09:26:15 +0100 | misterfish | (~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 +0100 | erty | (~user@user/aeroplane) |
2023-11-04 09:36:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) |
2023-11-04 09:36:58 +0100 | erty | (~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 +0100 | Inst | (~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 +0100 | actioninja | (~actioninj@user/actioninja) (Quit: Ping timeout (120 seconds)) |
2023-11-04 09:42:33 +0100 | actioninja | (~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 +0100 | AssCrackBandit | (~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 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-11-04 09:53:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-04 09:55:55 +0100 | turlando | (~turlando@user/turlando) |
2023-11-04 10:04:26 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-11-04 10:05:00 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-11-04 10:09:57 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
2023-11-04 10:10:49 +0100 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
2023-11-04 10:12:11 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-11-04 10:13:08 +0100 | lilata | (~lilata@static.5.54.140.128.clients.your-server.de) (Quit: bye) |
2023-11-04 10:20:52 +0100 | neceve | (~neceve@user/neceve) |
2023-11-04 10:20:54 +0100 | alp_ | (~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 +0100 | Pickchea | (~private@user/pickchea) |
2023-11-04 10:26:04 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
2023-11-04 10:26:15 +0100 | alp_ | (~alp@user/alp) (Quit: Leaving) |
2023-11-04 10:26:25 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
2023-11-04 10:34:50 +0100 | alp_ | (~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) |
2023-11-04 10:35:58 +0100 | alp_ | alp |
2023-11-04 10:36:05 +0100 | alp | (~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) (Changing host) |
2023-11-04 10:36:05 +0100 | alp | (~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 +0100 | alp | (~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 +0100 | coot | (~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 +0100 | alp | (~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) |
2023-11-04 10:57:37 +0100 | alp | (~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) (Client Quit) |
2023-11-04 10:58:06 +0100 | alp | (~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) |
2023-11-04 10:59:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) (Ping timeout: 260 seconds) |
2023-11-04 11:01:12 +0100 | alp | (~alp@2001:861:5e02:eff0:917f:8077:b0d8:f14a) (Remote host closed the connection) |
2023-11-04 11:01:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-04 11:01:40 +0100 | alp | (~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49) |
2023-11-04 11:02:14 +0100 | alp_ | (~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49) |
2023-11-04 11:03:19 +0100 | alp | (~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49) (Remote host closed the connection) |
2023-11-04 11:03:19 +0100 | alp_ | (~alp@2001:861:5e02:eff0:6404:a1dd:e6cf:1d49) (Remote host closed the connection) |
2023-11-04 11:04:11 +0100 | alp | (~alp@2001:861:5e02:eff0:59b9:bf61:1651:1a49) |
2023-11-04 11:14:14 +0100 | dhil | (~dhil@2001:8e0:2014:3100:a1d6:8a70:f54c:4b84) |
2023-11-04 11:18:22 +0100 | Pickchea | (~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 +0100 | Tuplanolla | (~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 +0100 | fendor_ | (~fendor@2a02:8388:1640:be00:2a62:2dd0:490d:f2ca) |
2023-11-04 11:44:29 +0100 | fendor | (~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 +0100 | danza | (~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 +0100 | danza | (~francesco@151.47.222.185) (Ping timeout: 255 seconds) |
2023-11-04 12:05:06 +0100 | Guest|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 +0100 | Guest|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 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
2023-11-04 12:08:06 +0100 | arahael | (~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 +0100 | alp | (~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 +0100 | alexherbo2 | (~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 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2023-11-04 12:18:20 +0100 | alp | (~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 +0100 | Pickchea | (~private@user/pickchea) |
2023-11-04 12:23:52 +0100 | gooba | (~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 +0100 | danza | (~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 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-11-04 12:52:44 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
2023-11-04 12:55:27 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-11-04 12:55:49 +0100 | califax | (~califax@user/califx) |
2023-11-04 12:56:52 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) |
2023-11-04 12:59:35 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 240 seconds) |
2023-11-04 13:10:21 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
2023-11-04 13:12:19 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2023-11-04 13:19:26 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-11-04 13:23:03 +0100 | alp | (~alp@static-176-175-7-165.ftth.abo.bbox.fr) (Ping timeout: 258 seconds) |
2023-11-04 13:25:44 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
2023-11-04 13:25:52 +0100 | cmtaur^ | (~cd@70-88-177-118-atlanta.hfc.comcastbusiness.net) |
2023-11-04 13:27:10 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-11-04 13:27:33 +0100 | dhil | (~dhil@2001:8e0:2014:3100:a1d6:8a70:f54c:4b84) (Ping timeout: 260 seconds) |
2023-11-04 13:28:52 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2023-11-04 13:32:04 +0100 | tureba | (~tureba@tureba.org) (Ping timeout: 272 seconds) |
2023-11-04 13:35:52 +0100 | cmtaur^ | (~cd@70-88-177-118-atlanta.hfc.comcastbusiness.net) (Ping timeout: 272 seconds) |
2023-11-04 13:36:09 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
2023-11-04 13:37:47 +0100 | arahael | (~arahael@119-18-2-212.771202.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
2023-11-04 13:45:03 +0100 | tureba | (~tureba@tureba.org) |
2023-11-04 14:00:57 +0100 | mechap | (~mechap@user/mechap) |
2023-11-04 14:09:10 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-11-04 14:11:13 +0100 | kaol | (~kaol@94-237-42-30.nl-ams1.upcloud.host) |
2023-11-04 14:19:18 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-11-04 14:34:19 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-11-04 14:38:58 +0100 | alp | (~alp@2001:861:5e02:eff0:2391:80cf:f919:e86c) |
2023-11-04 14:39:40 +0100 | chomwitt | (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) |
2023-11-04 14:44:24 +0100 | AssCrackBandit | (~user@cust-west-par-46-193-2-167.cust.wifirst.net) |
2023-11-04 14:45:22 +0100 | danza | (~francesco@151.47.222.185) (Read error: Connection reset by peer) |
2023-11-04 14:47:26 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 272 seconds) |
2023-11-04 14:48:07 +0100 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
2023-11-04 14:56:35 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
2023-11-04 14:57:09 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
2023-11-04 15:01:39 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection) |
2023-11-04 15:06:14 +0100 | alp | (~alp@2001:861:5e02:eff0:2391:80cf:f919:e86c) (Remote host closed the connection) |
2023-11-04 15:07:00 +0100 | fendor_ | (~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 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-11-04 15:12:03 +0100 | califax | (~califax@user/califx) |
2023-11-04 15:15:11 +0100 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
2023-11-04 15:18:25 +0100 | sefidel | (~sefidel@user/sefidel) |
2023-11-04 15:19:18 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
2023-11-04 15:19:44 +0100 | califax | (~califax@user/califx) |
2023-11-04 15:19:51 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-11-04 15:23:34 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) |
2023-11-04 15:23:48 +0100 | erty | (~user@user/aeroplane) |
2023-11-04 15:25:32 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection) |
2023-11-04 15:31:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) (Ping timeout: 272 seconds) |
2023-11-04 15:32:37 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 258 seconds) |
2023-11-04 15:34:20 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
2023-11-04 15:36:18 +0100 | <Inst> | wait, does FFI stop concurrency? ?:( |
2023-11-04 15:37:31 +0100 | YuutaW | (~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 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) |
2023-11-04 15:49:32 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection) |
2023-11-04 15:52:16 +0100 | Enrico63 | (~Enrico63@81.109.143.226) |
2023-11-04 15:52:19 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-11-04 15:57:09 +0100 | Inst | (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
2023-11-04 16:02:52 +0100 | Lycurgus | (~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 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2023-11-04 16:11:50 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) |
2023-11-04 16:13:31 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection) |
2023-11-04 16:13:44 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 256 seconds) |
2023-11-04 16:14:29 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2023-11-04 16:28:42 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
2023-11-04 16:29:44 +0100 | isekaijin | Guest7288 |
2023-11-04 16:32:45 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) |
2023-11-04 16:41:33 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
2023-11-04 16:49:09 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-11-04 16:49:11 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-11-04 16:53:52 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
2023-11-04 17:01:14 +0100 | pixelmonk | (~pixelmonk@50.205.76.66) |
2023-11-04 17:02:08 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2023-11-04 17:12:40 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ed19:80b6:e70a:c3d) |
2023-11-04 17:12:48 +0100 | sabino | (~sabino@user/sabino) |
2023-11-04 17:13:06 +0100 | zetef | (~quassel@188.26.237.114) |
2023-11-04 17:14:28 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
2023-11-04 17:16:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-04 17:18:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-04 17:19:02 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2023-11-04 17:30:09 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-11-04 17:30:18 +0100 | mastarija | (~mastarija@141-136-170-90.dsl.iskon.hr) |
2023-11-04 17:30:49 +0100 | CO2 | (CO2@gateway/vpn/protonvpn/co2) (Quit: WeeChat 4.1.1) |
2023-11-04 17:31:03 +0100 | CO2 | (CO2@gateway/vpn/protonvpn/co2) |
2023-11-04 17:33:52 +0100 | tabemann__ | (~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 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
2023-11-04 17:57:09 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2023-11-04 18:05:52 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.199) |
2023-11-04 18:06:35 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Quit: Lost terminal) |
2023-11-04 18:07:49 +0100 | AlexZenon | (~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 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2023-11-04 18:08:57 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
2023-11-04 18:09:14 +0100 | AlexNoo | (~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 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-11-04 18:13:37 +0100 | AlexZenon | (~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 +0100 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
2023-11-04 18:14:43 +0100 | tom_ | (~tom@host86-132-186-152.range86-132.btcentralplus.com) (Read error: Connection reset by peer) |
2023-11-04 18:15:48 +0100 | red-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 +0100 | red-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 +0100 | df | (~ben@justworks.xyz) (Ping timeout: 255 seconds) |
2023-11-04 18:17:21 +0100 | df | (~ben@justworks.xyz) |
2023-11-04 18:26:31 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Quit: Lost terminal) |
2023-11-04 18:26:34 +0100 | shane | (~shane@ana.rch.ist) (Ping timeout: 255 seconds) |
2023-11-04 18:26:41 +0100 | shane | (~shane@ana.rch.ist) |
2023-11-04 18:31:31 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Ping timeout: 255 seconds) |
2023-11-04 18:31:57 +0100 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
2023-11-04 18:33:34 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
2023-11-04 18:34:16 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
2023-11-04 18:34:25 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) (Quit: ZNC - http://znc.in) |
2023-11-04 18:35:32 +0100 | pointlessslippe1 | (~pointless@212.82.82.3) |
2023-11-04 18:35:49 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Client Quit) |
2023-11-04 18:38:36 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 18:38:36 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 18:39:11 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
2023-11-04 18:41:48 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 18:41:55 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 18:43:34 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
2023-11-04 18:44:58 +0100 | benjaminl | (~benjaminl@user/benjaminl) |
2023-11-04 18:45:17 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 18:46:30 +0100 | dhil | (~dhil@2001:8e0:2014:3100:7f05:9d63:9f57:406b) |
2023-11-04 18:47:10 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.199) (Quit: Leaving) |
2023-11-04 18:47:25 +0100 | AlexNoo_ | (~AlexNoo@178.34.161.199) |
2023-11-04 18:47:47 +0100 | AlexNoo_ | 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 +0100 | idgaen | (~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 +0100 | wootehfoot | (~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 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-04 18:57:10 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 18:57:10 +0100 | Guest7288 | (~user@user/isekaijin) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
2023-11-04 18:57:34 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3240-2541-083b-3cb7-69ae-557a.rev.sfr.net) (Remote host closed the connection) |
2023-11-04 18:57:48 +0100 | isekaijin | (~user@user/isekaijin) |
2023-11-04 18:59:11 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Ping timeout: 255 seconds) |
2023-11-04 18:59:13 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2023-11-04 19:00:30 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) |
2023-11-04 19:00:57 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 19:04:14 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 19:05:51 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 19:05:53 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection) |
2023-11-04 19:07:53 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 19:08:31 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 19:09:18 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 19:12:25 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 19:12:25 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 19:19:50 +0100 | Simikando | (~Simikando@adsl-dyn216.91-127-84.t-com.sk) (Remote host closed the connection) |
2023-11-04 19:19:57 +0100 | red-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 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2023-11-04 19:20:20 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 19:20:27 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 19:20:51 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2023-11-04 19:21:28 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 258 seconds) |
2023-11-04 19:22:25 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 19:22:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-04 19:24:50 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
2023-11-04 19:25:20 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2023-11-04 19:25:38 +0100 | erty | (~user@user/aeroplane) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
2023-11-04 19:26:00 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
2023-11-04 19:28:39 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 19:28:41 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 19:34:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-11-04 19:45:51 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-11-04 19:48:21 +0100 | CO2 | (CO2@gateway/vpn/protonvpn/co2) (Ping timeout: 260 seconds) |
2023-11-04 19:53:37 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 19:54:31 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 19:54:40 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 19:55:15 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
2023-11-04 19:59:00 +0100 | kimiamania46 | (~b4f4a2ab@user/kimiamania) (Ping timeout: 240 seconds) |
2023-11-04 19:59:12 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:03:22 +0100 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
2023-11-04 20:13:01 +0100 | trev | (~trev@user/trev) |
2023-11-04 20:13:10 +0100 | hippoid | (~hippoid@c-98-213-162-40.hsd1.il.comcast.net) (Quit: WeeChat 4.0.4) |
2023-11-04 20:16:40 +0100 | kimiamania46 | (~b4f4a2ab@user/kimiamania) |
2023-11-04 20:20:27 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2023-11-04 20:22:47 +0100 | red-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 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:30:23 +0100 | Enrico63 | (~Enrico63@81.109.143.226) (Ping timeout: 248 seconds) |
2023-11-04 20:31:32 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
2023-11-04 20:35:06 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:35:23 +0100 | Pickchea | (~private@user/pickchea) |
2023-11-04 20:36:11 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-11-04 20:36:38 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
2023-11-04 20:37:07 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:37:49 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection) |
2023-11-04 20:39:53 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:42:04 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
2023-11-04 20:42:59 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:45:31 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
2023-11-04 20:46:26 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:50:40 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-11-04 20:51:01 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
2023-11-04 20:51:26 +0100 | red-snail1 | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 20:52:43 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2023-11-04 20:53:20 +0100 | girlteckteck40d | (~girlteckt@27.125.241.118) |
2023-11-04 20:53:41 +0100 | girlteckteck40d | (~girlteckt@27.125.241.118) (Client Quit) |
2023-11-04 20:54:10 +0100 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
2023-11-04 20:56:02 +0100 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
2023-11-04 21:03:58 +0100 | zetef | (~quassel@188.26.237.114) (Remote host closed the connection) |
2023-11-04 21:04:35 +0100 | zetef | (~quassel@188.26.237.114) |
2023-11-04 21:04:47 +0100 | red-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 +0100 | caryhartline | (~caryhartl@168.182.58.169) |
2023-11-04 21:06:50 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 21:13:19 +0100 | red-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 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 21:13:46 +0100 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 272 seconds) |
2023-11-04 21:22:29 +0100 | Guest|45 | (~Guest|45@ip98-161-189-68.ph.ph.cox.net) |
2023-11-04 21:26:30 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-11-04 21:29:11 +0100 | Jackneill_ | (~Jackneill@20014C4E1E16F0003DE908ACD9B4B9E6.dsl.pool.telekom.hu) |
2023-11-04 21:30:37 +0100 | red-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 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 21:32:31 +0100 | zetef | (~quassel@188.26.237.114) (Remote host closed the connection) |
2023-11-04 21:32:38 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection) |
2023-11-04 21:33:01 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
2023-11-04 21:33:12 +0100 | zetef | (~quassel@188.26.237.114) |
2023-11-04 21:42:26 +0100 | Lycurgus | (~georg@user/Lycurgus) |
2023-11-04 21:43:49 +0100 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
2023-11-04 21:46:23 +0100 | jumper | (~jumper@mobile-access-567363-114.dhcp.inet.fi) |
2023-11-04 21:55:07 +0100 | Guest|45 | (~Guest|45@ip98-161-189-68.ph.ph.cox.net) (Quit: Connection closed) |
2023-11-04 21:58:33 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2023-11-04 22:05:23 +0100 | Square | (~Square@user/square) |
2023-11-04 22:09:40 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2023-11-04 22:10:40 +0100 | tabemann | (~tabemann@12.215.215.61) |
2023-11-04 22:10:49 +0100 | misterfish | (~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 +0100 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2023-11-04 22:16:44 +0100 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
2023-11-04 22:19:54 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) |
2023-11-04 22:23:20 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
2023-11-04 22:23:58 +0100 | jumper | (~jumper@mobile-access-567363-114.dhcp.inet.fi) () |
2023-11-04 22:37:14 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Quit: leaving) |
2023-11-04 22:38:53 +0100 | mastarija | (~mastarija@141-136-170-90.dsl.iskon.hr) (Quit: Client closed) |
2023-11-04 22:45:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-04 22:47:12 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2023-11-04 22:48:33 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
2023-11-04 22:51:00 +0100 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 240 seconds) |
2023-11-04 22:52:01 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Client Quit) |
2023-11-04 22:52:45 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
2023-11-04 22:53:31 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) (Client Quit) |
2023-11-04 22:55:29 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) (Ping timeout: 245 seconds) |
2023-11-04 22:56:24 +0100 | cmtaur^ | (~cd@70-88-177-118-Atlanta.hfc.comcastbusiness.net) |
2023-11-04 22:56:30 +0100 | thegman | (~thegman@072-239-207-086.res.spectrum.com) |
2023-11-04 22:57:51 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-11-04 22:59:21 +0100 | Buggys | (Buggys@shelltalk.net) |
2023-11-04 23:04:13 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 23:04:21 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
2023-11-04 23:06:05 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 23:10:09 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 23:10:09 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 23:14:39 +0100 | neceve | (~neceve@user/neceve) (Ping timeout: 240 seconds) |
2023-11-04 23:17:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-11-04 23:20:54 +0100 | dhil | (~dhil@2001:8e0:2014:3100:7f05:9d63:9f57:406b) (Ping timeout: 245 seconds) |
2023-11-04 23:21:19 +0100 | zetef | (~quassel@188.26.237.114) (Ping timeout: 255 seconds) |
2023-11-04 23:22:20 +0100 | CO2 | (CO2@gateway/vpn/protonvpn/co2) |
2023-11-04 23:22:39 +0100 | chomwitt | (~chomwitt@2a02:587:7a2d:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 240 seconds) |
2023-11-04 23:24:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-11-04 23:28:31 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2023-11-04 23:30:15 +0100 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 258 seconds) |
2023-11-04 23:32:49 +0100 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
2023-11-04 23:37:20 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 246 seconds) |
2023-11-04 23:39:08 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-11-04 23:39:22 +0100 | coot | (~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 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2023-11-04 23:41:47 +0100 | tabemann | (~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 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
2023-11-04 23:48:06 +0100 | malte | (~malte@mal.tc) |
2023-11-04 23:50:12 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 23:51:28 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2023-11-04 23:51:37 +0100 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1) |
2023-11-04 23:53:22 +0100 | Inst | (~Inst@120.244.192.250) |
2023-11-04 23:54:32 +0100 | todi | (~todi@p4fd1a3e6.dip0.t-ipconnect.de) |
2023-11-04 23:56:51 +0100 | todi | (~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 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 255 seconds) |
2023-11-04 23:58:39 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |