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