| 2023-08-08 00:02:04 +0200 | danse-nr3 | (~francesco@an-19-183-182.service.infuturo.it) (Remote host closed the connection) |
| 2023-08-08 00:02:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 00:02:37 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-08 00:07:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 00:09:31 +0200 | <talismanick> | Could there ever be a way to call a Rust library directly from Haskell? Talking through the C FFI is akin to intermediary translation of Spanish to Italian by way of Akkadian |
| 2023-08-08 00:11:56 +0200 | <geekosaur> | only if you can get them to agree as to how to represent types. the only such agreement currently is C types |
| 2023-08-08 00:12:34 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 00:13:44 +0200 | <TMA> | C is the only language that is usually implemented with any thought given to binary compatibility |
| 2023-08-08 00:16:15 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-08 00:17:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-08 00:20:37 +0200 | LinuxUserGD | (~LinuxUser@gateway/tor-sasl/linuxusergd) |
| 2023-08-08 00:21:35 +0200 | shapr | (~user@2600:1700:c640:3100:de71:e1d6:7cf3:d6a9) (Remote host closed the connection) |
| 2023-08-08 00:21:50 +0200 | shapr | (~user@2600:1700:c640:3100:38c0:160d:420:43b) |
| 2023-08-08 00:22:02 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 00:23:53 +0200 | nick4 | (~nick@2600:8807:9084:7800:e088:85db:e105:cf5e) |
| 2023-08-08 00:24:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 00:24:34 +0200 | LinuxUserGD | (~LinuxUser@gateway/tor-sasl/linuxusergd) (Quit: Leaving) |
| 2023-08-08 00:25:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-08 00:25:47 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-08 00:33:33 +0200 | Square | (~Square@user/square) |
| 2023-08-08 00:35:38 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 00:38:59 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 246 seconds) |
| 2023-08-08 00:40:24 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-08 00:42:55 +0200 | ulysses4ever | (~artem@2607:fb90:ad4a:4cb9:77a0:9d1f:9d74:ddae) (Ping timeout: 240 seconds) |
| 2023-08-08 00:43:57 +0200 | nick4 | (~nick@2600:8807:9084:7800:e088:85db:e105:cf5e) (Ping timeout: 246 seconds) |
| 2023-08-08 00:44:41 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 00:46:16 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-08 00:49:08 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-08 00:49:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 01:01:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 01:01:08 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 01:01:40 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-08 01:04:01 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::fba) |
| 2023-08-08 01:07:52 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-08-08 01:12:32 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2023-08-08 01:13:02 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-08 01:13:24 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-08 01:13:50 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-08 01:14:49 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 2023-08-08 01:14:49 +0200 | mauke_ | mauke |
| 2023-08-08 01:17:58 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 01:20:01 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 245 seconds) |
| 2023-08-08 01:23:31 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-08 01:23:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-08 01:28:03 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-08 01:30:55 +0200 | wroathe | (~wroathe@user/wroathe) (Read error: Connection reset by peer) |
| 2023-08-08 01:31:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-08 01:31:34 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-08 01:32:23 +0200 | abrar | (~abrar@pool-72-78-199-186.phlapa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2023-08-08 01:38:09 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2023-08-08 01:42:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 01:46:04 +0200 | Square | (~Square@user/square) |
| 2023-08-08 01:46:55 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-08 01:47:18 +0200 | shapr | (~user@2600:1700:c640:3100:38c0:160d:420:43b) (Remote host closed the connection) |
| 2023-08-08 01:47:33 +0200 | shapr | (~user@2600:1700:c640:3100:5f83:9b97:bf8e:dcb2) |
| 2023-08-08 01:48:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-08-08 01:52:24 +0200 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2023-08-08 01:54:29 +0200 | texasmynsted | (~username@99.96.221.112) |
| 2023-08-08 01:57:34 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 252 seconds) |
| 2023-08-08 01:58:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-08 02:00:06 +0200 | ulysses4ever | (~artem@38.42.227.237) |
| 2023-08-08 02:04:51 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 02:06:12 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 260 seconds) |
| 2023-08-08 02:06:44 +0200 | vglfr | (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 2023-08-08 02:07:38 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-08 02:07:48 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-08-08 02:07:52 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-08-08 02:08:07 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-08-08 02:11:04 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) |
| 2023-08-08 02:11:28 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-08 02:13:02 +0200 | vglfr | (~vglfr@cli-188-239-201-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-08-08 02:13:38 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-08-08 02:22:08 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-08-08 02:23:30 +0200 | vglfr | (~vglfr@188.239.201.89) (Remote host closed the connection) |
| 2023-08-08 02:24:09 +0200 | vglfr | (~vglfr@188.239.201.89) |
| 2023-08-08 02:27:54 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-08 02:38:32 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::fba) (Quit: Konversation terminated!) |
| 2023-08-08 02:56:22 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) (Ping timeout: 260 seconds) |
| 2023-08-08 03:02:01 +0200 | shapr | (~user@2600:1700:c640:3100:5f83:9b97:bf8e:dcb2) (Remote host closed the connection) |
| 2023-08-08 03:02:14 +0200 | shapr | (~user@2600:1700:c640:3100:906d:4747:ecf4:55ba) |
| 2023-08-08 03:04:04 +0200 | razetime | (~quassel@117.254.37.127) |
| 2023-08-08 03:10:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-08 03:12:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:5573:85d0:d008:cbd3) (Ping timeout: 260 seconds) |
| 2023-08-08 03:14:36 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-08-08 03:16:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-08 03:21:44 +0200 | jw12866 | (~user@45.47.131.73) |
| 2023-08-08 03:24:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-08 03:25:55 +0200 | jw12866 | (~user@45.47.131.73) (Remote host closed the connection) |
| 2023-08-08 03:26:14 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-08 03:26:14 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-08 03:26:14 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-08 03:26:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 244 seconds) |
| 2023-08-08 03:27:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 03:28:59 +0200 | bilegeek | (~bilegeek@2600:1008:b046:8377:1644:c0fd:b2a:536a) |
| 2023-08-08 03:31:54 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 03:36:53 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 03:40:03 +0200 | thegeekinside | (~thegeekin@189.180.67.183) |
| 2023-08-08 03:41:25 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 240 seconds) |
| 2023-08-08 03:52:52 +0200 | finnekit | (~finnekit@fsf/member/finnekit) (Read error: Connection reset by peer) |
| 2023-08-08 03:55:03 +0200 | finnekit | (~finnekit@fsf/member/finnekit) |
| 2023-08-08 03:57:08 +0200 | sixmix12 | (~sixmix12@2600:4040:211d:8600:ad44:9b63:61da:db29) |
| 2023-08-08 03:58:04 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-08 03:59:55 +0200 | sixmix12 | (~sixmix12@2600:4040:211d:8600:ad44:9b63:61da:db29) (Client Quit) |
| 2023-08-08 04:00:05 +0200 | meepus | (~meepus@117.200.98.198) |
| 2023-08-08 04:02:50 +0200 | meepus | (~meepus@117.200.98.198) (Client Quit) |
| 2023-08-08 04:02:51 +0200 | sixmix12 | (~sixmix12@2600:4040:211d:8600:ad44:9b63:61da:db29) |
| 2023-08-08 04:04:17 +0200 | sixmix13 | (~sixmix13@2600:4040:211d:8600:ad44:9b63:61da:db29) |
| 2023-08-08 04:05:01 +0200 | sixmix13 | (~sixmix13@2600:4040:211d:8600:ad44:9b63:61da:db29) (Remote host closed the connection) |
| 2023-08-08 04:05:05 +0200 | sixmix12 | (~sixmix12@2600:4040:211d:8600:ad44:9b63:61da:db29) (Client Quit) |
| 2023-08-08 04:07:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-08 04:07:34 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-08-08 04:09:13 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-08-08 04:15:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-08 04:15:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 04:17:04 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-08-08 04:18:40 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-08-08 04:19:45 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-08 04:19:57 +0200 | myxos_ | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-08-08 04:21:46 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 04:22:10 +0200 | myxos_ | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit) |
| 2023-08-08 04:22:18 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-08-08 04:22:40 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-08-08 04:23:03 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit) |
| 2023-08-08 04:23:38 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-08 04:25:51 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2023-08-08 04:26:15 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-08-08 04:26:23 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Client Quit) |
| 2023-08-08 04:26:56 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Remote host closed the connection) |
| 2023-08-08 04:28:28 +0200 | roboguy_ | (~roboguy_@2605:a601:ac70:e900:a41a:c898:118c:973a) |
| 2023-08-08 04:32:52 +0200 | nick4 | (~nick@2600:8807:9084:7800:e088:85db:e105:cf5e) |
| 2023-08-08 04:33:12 +0200 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-08 04:35:19 +0200 | td_ | (~td@i53870913.versanet.de) |
| 2023-08-08 04:36:12 +0200 | shapr | (~user@2600:1700:c640:3100:906d:4747:ecf4:55ba) (Remote host closed the connection) |
| 2023-08-08 04:36:26 +0200 | shapr | (~user@2600:1700:c640:3100:1dc7:35d8:e562:f2e3) |
| 2023-08-08 04:38:24 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-08-08 04:42:35 +0200 | talismanick | (~user@campus-013-245.ucdavis.edu) (Ping timeout: 245 seconds) |
| 2023-08-08 04:46:09 +0200 | ddellacosta | (~ddellacos@146.70.166.184) (Ping timeout: 246 seconds) |
| 2023-08-08 04:48:07 +0200 | ddellacosta | (~ddellacos@146.70.165.184) |
| 2023-08-08 04:50:24 +0200 | roboguy_ | (~roboguy_@2605:a601:ac70:e900:a41a:c898:118c:973a) (Quit: Leaving...) |
| 2023-08-08 04:53:14 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 04:57:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 04:58:35 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-08 04:58:36 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-08 04:58:36 +0200 | finn_elija | FinnElija |
| 2023-08-08 04:58:45 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-08 04:58:45 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-08 04:58:45 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-08 05:05:14 +0200 | shapr | (~user@2600:1700:c640:3100:1dc7:35d8:e562:f2e3) (Ping timeout: 260 seconds) |
| 2023-08-08 05:11:08 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-08 05:13:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cca:964e:ffad:4e30) |
| 2023-08-08 05:15:33 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-08-08 05:18:50 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-08 05:21:40 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf5:400:b5db:18ef:729d:b60a) |
| 2023-08-08 05:22:45 +0200 | aforemny | (~aforemny@i59F516F1.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-08 05:25:30 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-08-08 05:25:43 +0200 | Guest60 | (~Guest60@136.24.23.165) |
| 2023-08-08 05:28:15 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-08 05:29:09 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-08 05:33:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-08 05:33:24 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 05:34:56 +0200 | Guest60 | steven2 |
| 2023-08-08 05:36:28 +0200 | <steven2> | Hello, is there an easy way to install ghc 9.8.1 alpha through ghcup? I don't see it on my install. I saw that there was a commit for it in the ghcup repo but not sure how to get it in mine https://github.com/haskell/ghcup-metadata/commit/dac7e225204c769a72ffadd87b52270c7d3db4be |
| 2023-08-08 05:38:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 05:43:54 +0200 | <glguy> | I saw a message that there are extra yaml files you can point ghcup at for different release channels |
| 2023-08-08 05:44:53 +0200 | <glguy> | https://www.haskell.org/ghcup/guide/#pre-release-channels |
| 2023-08-08 05:45:40 +0200 | <glguy> | I don't know if or which channel might have that version, but that's where I'd expect to find the answer if I was looking |
| 2023-08-08 05:46:52 +0200 | <glguy> | https://github.com/haskell/ghcup-metadata/blob/develop/ghcup-prereleases-0.0.7.yaml |
| 2023-08-08 05:53:42 +0200 | <steven2> | Any idea how to give ghcup that yaml? Not too familiar with its internals, didn't see anything related on `ghcup --help` |
| 2023-08-08 06:01:31 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 06:02:26 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-08 06:02:47 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-08-08 06:03:20 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 06:03:30 +0200 | <mauke> | steven2: first paragraph in https://www.haskell.org/ghcup/guide/#pre-release-channels |
| 2023-08-08 06:03:50 +0200 | <steven2> | Awesome, thanks so much! |
| 2023-08-08 06:06:47 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-08 06:06:55 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-08 06:13:25 +0200 | razetime | (~quassel@117.254.37.127) (Ping timeout: 245 seconds) |
| 2023-08-08 06:30:56 +0200 | steven2 | (~Guest60@136.24.23.165) (Quit: Client closed) |
| 2023-08-08 06:37:07 +0200 | hnOsmium0001 | (~hnosm@user/hnOsmium0001) (Quit: WeeChat 3.8) |
| 2023-08-08 06:43:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-08 06:45:57 +0200 | trev | (~trev@user/trev) |
| 2023-08-08 06:47:03 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 06:51:45 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds) |
| 2023-08-08 06:52:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 250 seconds) |
| 2023-08-08 06:54:15 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 06:57:49 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-08-08 07:05:35 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-08 07:06:55 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2023-08-08 07:13:58 +0200 | jakky | (sid360637@id-360637.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-08 07:14:13 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 07:16:03 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 07:16:49 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow) |
| 2023-08-08 07:17:32 +0200 | razetime | (~quassel@117.254.37.127) |
| 2023-08-08 07:21:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-08 07:22:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 07:24:58 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-08 07:26:34 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-08 07:37:14 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-08 07:37:43 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-08-08 07:39:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-08 07:45:49 +0200 | TheCatCollective | (NyaaTheKit@user/calculuscat) |
| 2023-08-08 07:49:23 +0200 | shailangsa_ | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-08-08 07:50:25 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) |
| 2023-08-08 07:51:25 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2023-08-08 07:53:03 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-08-08 08:02:02 +0200 | telser | (~quassel@user/telser) (Ping timeout: 245 seconds) |
| 2023-08-08 08:05:16 +0200 | mniip_ | (mniip@libera/staff/mniip) |
| 2023-08-08 08:07:22 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-08-08 08:07:26 +0200 | cods_ | (~fred@82-65-232-44.subs.proxad.net) |
| 2023-08-08 08:08:06 +0200 | meejah_ | (~meejah@rutas.meejah.ca) |
| 2023-08-08 08:08:18 +0200 | hughjfch1 | (~hughjfche@vmi556545.contaboserver.net) |
| 2023-08-08 08:09:04 +0200 | heath3 | (~heath@user/heath) |
| 2023-08-08 08:09:07 +0200 | nefercheprure | (tma@twin.jikos.cz) |
| 2023-08-08 08:09:46 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-08 08:11:05 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-161.46.114.pool.telefonica.de) |
| 2023-08-08 08:12:17 +0200 | johnw | (~johnw@69.62.242.138) |
| 2023-08-08 08:12:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2023-08-08 08:12:55 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 240 seconds) |
| 2023-08-08 08:12:59 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | fbytez | (~uid@user/fbytez) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | vulpine | (xfnw@tilde.team) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | fr33domlover | (~fr33domlo@towards.vision) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | feetwind | (~mike@user/feetwind) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | heath2 | (~heath@user/heath) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | TMA | (tma@twin.jikos.cz) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | mniip | (mniip@libera/staff/mniip) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | meejah | (~meejah@rutas.meejah.ca) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | arkeet | (arkeet@moriya.ca) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | nrr_____ | (sid20938@id-20938.lymington.irccloud.com) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | hovsater | (sid499516@id-499516.lymington.irccloud.com) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | mht-wtf | (~mht@2a03:b0c0:3:e0::1e2:c001) (*.net *.split) |
| 2023-08-08 08:12:59 +0200 | pjlsergeant__ | (sid143467@id-143467.hampstead.irccloud.com) (*.net *.split) |
| 2023-08-08 08:15:36 +0200 | slack1256 | (~slack1256@181.43.226.77) (Ping timeout: 252 seconds) |
| 2023-08-08 08:16:20 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 245 seconds) |
| 2023-08-08 08:16:51 +0200 | fr33domlover | (~fr33domlo@towards.vision) |
| 2023-08-08 08:16:52 +0200 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2023-08-08 08:17:33 +0200 | hovsater | (sid499516@id-499516.lymington.irccloud.com) |
| 2023-08-08 08:17:41 +0200 | nrr_____ | (sid20938@id-20938.lymington.irccloud.com) |
| 2023-08-08 08:18:21 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-161.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2023-08-08 08:18:46 +0200 | arkeet | (arkeet@moriya.ca) |
| 2023-08-08 08:18:52 +0200 | eugenrh | (~eugenrh@2a01:4f9:c011:265::1) |
| 2023-08-08 08:19:28 +0200 | p3n | (~p3n@217.198.124.246) |
| 2023-08-08 08:20:08 +0200 | fbytez | (~uid@user/fbytez) |
| 2023-08-08 08:20:30 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) |
| 2023-08-08 08:20:38 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2023-08-08 08:20:57 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2023-08-08 08:21:11 +0200 | riatre | (~quassel@2001:310:6000:f::5198:1) |
| 2023-08-08 08:22:58 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-08-08 08:24:13 +0200 | mht-wtf | (~mht@mht.wtf) |
| 2023-08-08 08:25:56 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-08 08:26:54 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-08 08:29:49 +0200 | <probie> | Imagine for a moment that `Traversable` was not in base, but rather a separate library. You're writing a library, but only a tiny fraction of the exported API uses traversable. Do you add it as a dependency, or just rewrite your `Traversable t => ...` functions to `(forall f a b. Applicative f => (a -> f b) -> t a -> f (t b)) -> ...` |
| 2023-08-08 08:30:41 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-08-08 08:31:00 +0200 | pjlsergeant__ | (sid143467@id-143467.hampstead.irccloud.com) |
| 2023-08-08 08:31:10 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-08 08:31:19 +0200 | feetwind | (~mike@user/feetwind) |
| 2023-08-08 08:31:50 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2023-08-08 08:32:04 +0200 | vulpine | (xfnw@tilde.team) |
| 2023-08-08 08:32:12 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) |
| 2023-08-08 08:32:12 +0200 | aspen | (sid449115@id-449115.helmsley.irccloud.com) |
| 2023-08-08 08:32:44 +0200 | yandere | (sid467876@id-467876.ilkley.irccloud.com) |
| 2023-08-08 08:32:44 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-08-08 08:33:00 +0200 | <probie> | Should I just split the library in two, so that there's a "core" part with minimal dependencies, and a "batteries included" version? |
| 2023-08-08 08:33:18 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2023-08-08 08:33:19 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-08 08:34:12 +0200 | <dminuoso> | probie: There is no good answer. |
| 2023-08-08 08:34:23 +0200 | <dminuoso> | But foo-core and foo-with-batteries is probably the most common approach. |
| 2023-08-08 08:34:52 +0200 | <dminuoso> | Another might be to put instances into a separate orphan library and just live with the (ever so rare) issues regarding orphan instances |
| 2023-08-08 08:35:50 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:702e:5e17:1e38:6267) |
| 2023-08-08 08:40:01 +0200 | <probie> | dminuoso: There are no good answers, but perhaps there are approaches I have not considered |
| 2023-08-08 08:40:39 +0200 | thegeekinside | (~thegeekin@189.180.67.183) (Ping timeout: 246 seconds) |
| 2023-08-08 08:40:44 +0200 | <dminuoso> | probie: Another might be to use cabal flags to control the inclusion of additional libraries and introduction of instances. |
| 2023-08-08 08:40:53 +0200 | <dminuoso> | The annoying thing about that is the lack of visibility on say hackage |
| 2023-08-08 08:41:07 +0200 | <dminuoso> | say when looking at a package its hard to say the real dependencies since they may be flag dependent |
| 2023-08-08 08:41:28 +0200 | <dminuoso> | or even just haddock output itself |
| 2023-08-08 08:42:56 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-08-08 08:43:06 +0200 | <Axman6> | When did cabal stop responding to ^c >:( |
| 2023-08-08 08:46:45 +0200 | <Hecate> | Axman6: ^C ^C doesn't work? |
| 2023-08-08 08:47:28 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 08:50:53 +0200 | mrmr1 | (~mrmr@user/mrmr) |
| 2023-08-08 08:51:43 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 246 seconds) |
| 2023-08-08 08:51:43 +0200 | mrmr1 | mrmr |
| 2023-08-08 08:52:06 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 08:53:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-08 08:54:22 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-08-08 08:55:53 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-08 08:55:58 +0200 | acidjnk | (~acidjnk@p200300d6e7072f909c6b5522a88f7d55.dip0.t-ipconnect.de) |
| 2023-08-08 08:56:29 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) |
| 2023-08-08 08:57:19 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-08 08:58:36 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2023-08-08 08:59:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 09:00:22 +0200 | raym | (~ray@user/raym) (Quit: leaving) |
| 2023-08-08 09:00:46 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Client Quit) |
| 2023-08-08 09:02:02 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-08-08 09:03:13 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) |
| 2023-08-08 09:09:03 +0200 | <Axman6> | nope, nor doas ^C^C^C^C^C^C^C^C^C^C - it just kept going until it had finished |
| 2023-08-08 09:09:08 +0200 | <Axman6> | does* |
| 2023-08-08 09:09:36 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-08-08 09:11:41 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2023-08-08 09:11:47 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 09:13:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 09:16:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-08 09:18:01 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-08 09:18:25 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
| 2023-08-08 09:18:34 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-08 09:18:55 +0200 | <probie> | Have you tried sending manually sending it via `kill -s 2` just in case your terminal emulator is doing something weird? |
| 2023-08-08 09:19:44 +0200 | <Axman6> | I haven't, it was a small package so finished quickly enough for me not to have time to experiment |
| 2023-08-08 09:21:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-08-08 09:22:51 +0200 | shriekin- | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-08-08 09:25:25 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-08-08 09:26:20 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-08 09:26:40 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-08 09:27:16 +0200 | phma_ | (~phma@host-67-44-208-21.hnremote.net) |
| 2023-08-08 09:28:52 +0200 | chele | (~chele@user/chele) |
| 2023-08-08 09:29:05 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-08 09:29:43 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2023-08-08 09:29:55 +0200 | mmhat | (~mmh@p200300f1c73d194eee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-08-08 09:29:55 +0200 | phma | (~phma@host-67-44-208-168.hnremote.net) (Ping timeout: 240 seconds) |
| 2023-08-08 09:29:58 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-08-08 09:33:46 +0200 | tv | (~tv@user/tv) (Ping timeout: 245 seconds) |
| 2023-08-08 09:34:20 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-08-08 09:35:46 +0200 | tv | (~tv@user/tv) |
| 2023-08-08 09:41:24 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:8400:664b:f0ff:fe37:9ef) |
| 2023-08-08 09:41:38 +0200 | phma | (~phma@host-67-44-208-41.hnremote.net) |
| 2023-08-08 09:43:34 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 09:43:50 +0200 | phma_ | (~phma@host-67-44-208-21.hnremote.net) (Ping timeout: 245 seconds) |
| 2023-08-08 09:44:24 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-08 09:46:51 +0200 | phma_ | (~phma@host-67-44-208-62.hnremote.net) |
| 2023-08-08 09:47:33 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-08-08 09:47:33 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2023-08-08 09:47:33 +0200 | Feuermagier_ | Feuermagier |
| 2023-08-08 09:49:15 +0200 | phma | (~phma@host-67-44-208-41.hnremote.net) (Ping timeout: 245 seconds) |
| 2023-08-08 09:49:31 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Client Quit) |
| 2023-08-08 09:49:40 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 09:54:04 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-08 10:00:07 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-08 10:00:14 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-08-08 10:03:38 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) |
| 2023-08-08 10:03:47 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-08 10:03:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 10:07:06 +0200 | phma | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) |
| 2023-08-08 10:09:15 +0200 | phma | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) (Read error: Connection reset by peer) |
| 2023-08-08 10:09:40 +0200 | phma | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) |
| 2023-08-08 10:10:30 +0200 | phma_ | (~phma@host-67-44-208-62.hnremote.net) (Ping timeout: 245 seconds) |
| 2023-08-08 10:10:42 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-08 10:13:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 10:14:54 +0200 | phma_ | (~phma@host-67-44-208-42.hnremote.net) |
| 2023-08-08 10:18:25 +0200 | phma | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) (Ping timeout: 245 seconds) |
| 2023-08-08 10:20:45 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-08-08 10:21:42 +0200 | danse-nr3 | (~francesco@151.47.209.204) |
| 2023-08-08 10:23:02 +0200 | bilegeek | (~bilegeek@2600:1008:b046:8377:1644:c0fd:b2a:536a) (Quit: Leaving) |
| 2023-08-08 10:23:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 10:25:05 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-08 10:27:35 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-08-08 10:29:25 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 240 seconds) |
| 2023-08-08 10:30:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2240-f0be-0cdb-3ac7-3b1f-5450.rev.sfr.net) |
| 2023-08-08 10:31:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 10:35:00 +0200 | <carbolymer> | can I build local packages from cabal.project imported from my cabal.project package? seems that cabal is unable to find them i.e. it tries to find packages in the current dir instead of the directory of the imported cabal file |
| 2023-08-08 10:35:00 +0200 | Domitar | (~Domitar@78-0-82-160.adsl.net.t-com.hr) |
| 2023-08-08 10:36:34 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2023-08-08 10:36:42 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-08 10:42:42 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 10:42:47 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-08 10:43:30 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-08-08 10:43:52 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-08 10:45:04 +0200 | <danse-nr3> | carbolymer, not sure how your cabal.project is structured. This https://github.com/danse/exmargination/blob/main/cabal.project is a configuration that works for me |
| 2023-08-08 10:47:06 +0200 | Domitar | (~Domitar@78-0-82-160.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2023-08-08 10:47:06 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 10:48:18 +0200 | phma_ | phma |
| 2023-08-08 10:50:51 +0200 | <carbolymer> | danse-nr3: that's not exactly an import - are you able to use cabal.project files from those packages? |
| 2023-08-08 10:53:20 +0200 | <danse-nr3> | some of those packages also have cabal.project files to depend on other local packages, if that is your question |
| 2023-08-08 10:54:00 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) |
| 2023-08-08 10:54:06 +0200 | <danse-nr3> | but you are right, that is not an import, just a way to depend on local packages |
| 2023-08-08 10:55:18 +0200 | <carbolymer> | danse-nr3: so you need to cabal sdist every time you'd like to publish locally, and wipe cache? |
| 2023-08-08 10:55:55 +0200 | <carbolymer> | danse-nr3: but then sdist does not contain cabal.project |
| 2023-08-08 10:56:20 +0200 | <carbolymer> | so cabal.project of a dependency gets ignored |
| 2023-08-08 10:57:11 +0200 | <danse-nr3> | yes. Not sure about wiping cache ... had to delete some noindex files sometimes. Yes, as you wrote, not importing the cabal.project, just providing a local dependency, sorry if that was a wrong answer |
| 2023-08-08 10:57:37 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 244 seconds) |
| 2023-08-08 10:58:01 +0200 | lukelau | (~user@194.125.72.121) |
| 2023-08-08 10:59:24 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 11:00:18 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-090-192.46.114.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2023-08-08 11:00:18 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-08 11:01:45 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-08-08 11:02:01 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2023-08-08 11:09:36 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-08 11:11:31 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-08-08 11:13:42 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-08-08 11:14:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cca:964e:ffad:4e30) (Remote host closed the connection) |
| 2023-08-08 11:14:32 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2023-08-08 11:14:37 +0200 | cheater_ | cheater |
| 2023-08-08 11:15:51 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-08-08 11:16:15 +0200 | <carbolymer> | danse-nr3: no worries, I've learned a new thing about local repositories, so that's a plus |
| 2023-08-08 11:16:37 +0200 | cheater | (~Username@user/cheater) |
| 2023-08-08 11:17:38 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2023-08-08 11:17:45 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-08 11:23:12 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2240-f0be-0cdb-3ac7-3b1f-5450.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-08 11:23:32 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2240-f0be-0cdb-3ac7-3b1f-5450.rev.sfr.net) |
| 2023-08-08 11:24:46 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 11:29:53 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-08 11:31:07 +0200 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-08-08 11:33:25 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:8400:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-08-08 11:45:05 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-08 11:46:45 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-08 11:50:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-08-08 11:50:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-08 11:52:25 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | incertia | (~incertia@209.122.71.127) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | infinity0 | (~infinity0@pwned.gg) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | h2t | (~h2t@user/h2t) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | drdo | (~drdo@bl5-28-156.dsl.telepac.pt) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | quintasan | (~quassel@188.226.239.107) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | tomjaguarpaw | (~tom@172.104.25.182) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | lisq | (~quassel@lis.moe) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | bsima | (~bsima@143.198.118.179) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | noctux1 | (88FTKVRINY@user/noctux) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | dunj3 | (~dunj3@kingdread.de) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | disconnect3d | (~disconnec@user/disconnect3d) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | apache | (apache2@anubis.0x90.dk) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | Minnozz | (~minnozz@salix.minnozz.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | russruss2 | (~russruss@my.russellmcc.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | davl | (~davl@207.154.228.18) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | dragestil | (~znc@user/dragestil) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (*.net *.split) |
| 2023-08-08 11:52:25 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (*.net *.split) |
| 2023-08-08 12:00:54 +0200 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-08 12:04:20 +0200 | Minnozz | (~minnozz@salix.minnozz.com) |
| 2023-08-08 12:04:20 +0200 | exarkun | (~exarkun@user/exarkun) |
| 2023-08-08 12:04:20 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) |
| 2023-08-08 12:04:20 +0200 | incertia | (~incertia@209.122.71.127) |
| 2023-08-08 12:04:20 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-08 12:04:20 +0200 | h2t | (~h2t@user/h2t) |
| 2023-08-08 12:04:20 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2023-08-08 12:04:20 +0200 | drdo | (~drdo@bl5-28-156.dsl.telepac.pt) |
| 2023-08-08 12:04:20 +0200 | urdh | (~urdh@user/urdh) |
| 2023-08-08 12:04:20 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | quintasan | (~quassel@188.226.239.107) |
| 2023-08-08 12:04:20 +0200 | tomjaguarpaw | (~tom@172.104.25.182) |
| 2023-08-08 12:04:20 +0200 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | lisq | (~quassel@lis.moe) |
| 2023-08-08 12:04:20 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2023-08-08 12:04:20 +0200 | bsima | (~bsima@143.198.118.179) |
| 2023-08-08 12:04:20 +0200 | noctux1 | (88FTKVRINY@user/noctux) |
| 2023-08-08 12:04:20 +0200 | dunj3 | (~dunj3@kingdread.de) |
| 2023-08-08 12:04:20 +0200 | disconnect3d | (~disconnec@user/disconnect3d) |
| 2023-08-08 12:04:20 +0200 | apache | (apache2@anubis.0x90.dk) |
| 2023-08-08 12:04:20 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2023-08-08 12:04:20 +0200 | drlkf | (~drlkf@192.184.163.34.bc.googleusercontent.com) |
| 2023-08-08 12:04:20 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2023-08-08 12:04:20 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2023-08-08 12:04:20 +0200 | russruss2 | (~russruss@my.russellmcc.com) |
| 2023-08-08 12:04:20 +0200 | alinab | (sid468903@id-468903.helmsley.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | davl | (~davl@207.154.228.18) |
| 2023-08-08 12:04:20 +0200 | dragestil | (~znc@user/dragestil) |
| 2023-08-08 12:04:20 +0200 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2023-08-08 12:04:20 +0200 | hexagoxel | (~hexagoxel@2a01:4f8:c0c:e::2) |
| 2023-08-08 12:04:20 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2023-08-08 12:04:20 +0200 | ggranberry | (sid267884@id-267884.uxbridge.irccloud.com) |
| 2023-08-08 12:04:20 +0200 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2023-08-08 12:04:20 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2023-08-08 12:04:30 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) (Max SendQ exceeded) |
| 2023-08-08 12:04:41 +0200 | rumraisin | (~phileasfo@user/phileasfogg) |
| 2023-08-08 12:05:53 +0200 | rumraisin | phileasfogg |
| 2023-08-08 12:06:42 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-08 12:10:28 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2023-08-08 12:11:08 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-08 12:14:38 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-08 12:14:55 +0200 | razetime | (~quassel@117.254.37.127) (Ping timeout: 240 seconds) |
| 2023-08-08 12:15:52 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-08-08 12:20:26 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 12:25:19 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-08 12:26:07 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 12:26:21 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Client Quit) |
| 2023-08-08 12:26:40 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-08 12:30:00 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-08-08 12:30:13 +0200 | razetime | (~quassel@117.254.37.57) |
| 2023-08-08 12:30:33 +0200 | alexherbo2 | (~alexherbo@2a02-8440-2240-f0be-0cdb-3ac7-3b1f-5450.rev.sfr.net) (Remote host closed the connection) |
| 2023-08-08 12:34:09 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-08 12:35:00 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 12:36:43 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 12:40:21 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-08 12:41:38 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-08-08 12:42:10 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-08-08 12:43:24 +0200 | danse-nr3_ | (~francesco@151.47.215.185) |
| 2023-08-08 12:44:20 +0200 | danse-nr3 | (~francesco@151.47.209.204) (Read error: Connection reset by peer) |
| 2023-08-08 12:55:04 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-08-08 12:56:37 +0200 | Alex_test | (~al_test@178.34.161.41) (Ping timeout: 260 seconds) |
| 2023-08-08 12:58:18 +0200 | AlexZenon | (~alzenon@178.34.161.41) (Ping timeout: 252 seconds) |
| 2023-08-08 13:00:41 +0200 | Alex_test | (~al_test@178.34.161.41) |
| 2023-08-08 13:01:11 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2023-08-08 13:02:33 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-08 13:06:32 +0200 | bwe | (~bwe@static.72.17.201.195.clients.your-server.de) |
| 2023-08-08 13:06:45 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 13:07:09 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-08-08 13:07:14 +0200 | AlexZenon | (~alzenon@178.34.161.41) |
| 2023-08-08 13:07:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 13:12:20 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-08 13:14:06 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-08 13:14:29 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Client Quit) |
| 2023-08-08 13:14:59 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-08 13:15:32 +0200 | platao | (mirc-rockc@179.152.251.228) |
| 2023-08-08 13:17:39 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-08 13:19:51 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:8400:664b:f0ff:fe37:9ef) |
| 2023-08-08 13:21:28 +0200 | platao | (mirc-rockc@179.152.251.228) (Read error: Connection reset by peer) |
| 2023-08-08 13:22:07 +0200 | mIRC-rockcavera2 | (mirc-rockc@179.152.251.228) |
| 2023-08-08 13:22:24 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-08 13:22:46 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 256 seconds) |
| 2023-08-08 13:25:11 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-08 13:28:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 13:29:09 +0200 | mIRC-rockcavera2 | (mirc-rockc@179.152.251.228) () |
| 2023-08-08 13:29:14 +0200 | titibandit | (~titibandi@user/titibandit) (Quit: leaving) |
| 2023-08-08 13:29:32 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 13:31:18 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-08 13:31:34 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-08 13:32:47 +0200 | michals | (~user@cfeld-pcx40162.desy.de) |
| 2023-08-08 13:39:25 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 13:39:25 +0200 | mIRC-rockcavera2 | (mirc-rockc@179.152.251.228) |
| 2023-08-08 13:42:45 +0200 | mIRC-rockcavera2 | (mirc-rockc@179.152.251.228) (Read error: Connection reset by peer) |
| 2023-08-08 13:44:07 +0200 | mIRC-rockcavera2 | (mirc-rockc@179.152.251.228) |
| 2023-08-08 13:46:22 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 13:46:42 +0200 | mIRC-rockcavera2 | (mirc-rockc@179.152.251.228) () |
| 2023-08-08 13:47:14 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-08 13:47:42 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 256 seconds) |
| 2023-08-08 13:52:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-08 13:55:01 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-08 13:57:03 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-08 13:57:27 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2023-08-08 13:59:32 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) |
| 2023-08-08 14:01:30 +0200 | lukelau | (~user@194.125.72.121) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2023-08-08 14:01:34 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Remote host closed the connection) |
| 2023-08-08 14:01:52 +0200 | danse-nr3_ | (~francesco@151.47.215.185) (Ping timeout: 256 seconds) |
| 2023-08-08 14:03:56 +0200 | Co0kie | (~Jura@2a05:5800:2d9:8400:664b:f0ff:fe37:9ef) |
| 2023-08-08 14:05:06 +0200 | CiaoSen | (~Jura@2a05:5800:2d9:8400:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-08-08 14:07:14 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-08 14:13:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-08 14:19:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
| 2023-08-08 14:24:25 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-08 14:27:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-08 14:29:38 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 2023-08-08 14:30:22 +0200 | danse-nr3 | (~francesco@151.47.215.185) |
| 2023-08-08 14:31:31 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2023-08-08 14:31:49 +0200 | caubert | (~caubert@user/caubert) (Read error: Connection reset by peer) |
| 2023-08-08 14:31:53 +0200 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2023-08-08 14:32:07 +0200 | caubert | (~caubert@user/caubert) |
| 2023-08-08 14:40:45 +0200 | puke | Guest3526 |
| 2023-08-08 14:40:45 +0200 | pyooque | (~puke@user/puke) |
| 2023-08-08 14:40:45 +0200 | Guest3526 | (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-08-08 14:40:45 +0200 | pyooque | puke |
| 2023-08-08 14:42:03 +0200 | puke | (~puke@user/puke) (Max SendQ exceeded) |
| 2023-08-08 14:42:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-08 14:43:11 +0200 | puke | (~puke@user/puke) |
| 2023-08-08 14:45:00 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-08 14:45:22 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-08 14:47:39 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-08-08 14:48:30 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-08-08 14:57:22 +0200 | Alex_test | (~al_test@178.34.161.41) (Quit: ;-) |
| 2023-08-08 14:57:53 +0200 | AlexZenon | (~alzenon@178.34.161.41) (Quit: ;-) |
| 2023-08-08 14:58:39 +0200 | AlexNoo | (~AlexNoo@178.34.161.41) (Quit: Leaving) |
| 2023-08-08 15:03:38 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 15:06:10 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-08-08 15:07:04 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-08-08 15:10:11 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-08-08 15:11:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-08 15:12:05 +0200 | ddellacosta | (~ddellacos@146.70.165.184) (Quit: WeeChat 4.0.2) |
| 2023-08-08 15:12:23 +0200 | <danse-nr3> | there was an history of lisp machine published on haskell weekly some time ago. There i think i have read that applicative languages like haskell had the issue of consuming too much memory. I knew about memory leaks but this seems to be something more fundamental. Is it just due to the thunks and non-strict evaluation, or is there anything else? |
| 2023-08-08 15:14:16 +0200 | razetime | (~quassel@117.254.37.57) (Ping timeout: 246 seconds) |
| 2023-08-08 15:14:21 +0200 | razetime_ | (~quassel@117.254.36.161) |
| 2023-08-08 15:16:44 +0200 | AlexZenon | (~alzenon@178.34.161.41) |
| 2023-08-08 15:16:55 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 15:17:00 +0200 | ddellacosta | (~ddellacos@143.244.47.89) |
| 2023-08-08 15:17:01 +0200 | AlexNoo | (~AlexNoo@178.34.161.41) |
| 2023-08-08 15:17:17 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 15:19:44 +0200 | <geekosaur> | I wonder if it was due to not having good optimization |
| 2023-08-08 15:20:26 +0200 | <geekosaur> | you create a *lot* of garbage in the nursery without some fusion etc. |
| 2023-08-08 15:20:27 +0200 | Alex_test | (~al_test@178.34.161.41) |
| 2023-08-08 15:20:48 +0200 | <geekosaur> | take a look at ghci's gc summary sometime |
| 2023-08-08 15:21:22 +0200 | <probie> | If it's about applicative languages, I'd double check the source to see if it even applies to Haskell. They might be assuming strict evaluation and therefore the cost comes from not having mutation |
| 2023-08-08 15:22:46 +0200 | slack1256 | (~slack1256@181.43.226.77) |
| 2023-08-08 15:23:21 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 15:23:58 +0200 | <danse-nr3> | hm you are right ... looking at it again, it lists "applicative order" of evaluation as strict |
| 2023-08-08 15:24:16 +0200 | <danse-nr3> | https://haflang.github.io/history.html#event-lisp-machine-challenges 1978 "evaluation strategies", cannot deep-link |
| 2023-08-08 15:27:33 +0200 | <probie> | Non-strictness gives a sort of one-time mutation that allows some algorithms using mutation (for example, many dynamic programming problems) to be implemented |
| 2023-08-08 15:28:22 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 15:28:55 +0200 | nick4 | (~nick@2600:8807:9084:7800:e088:85db:e105:cf5e) (Ping timeout: 240 seconds) |
| 2023-08-08 15:29:28 +0200 | <danse-nr3> | this https://en.wikipedia.org/wiki/Applicative_programming_language lists ML as an applicative language so i thought haskell would qualify as well |
| 2023-08-08 15:29:39 +0200 | <probie> | e.g., how many ways can $n be made up using $1, $5 and $10 bills, can be done in Haskell with something like |
| 2023-08-08 15:30:27 +0200 | nick4 | (~nick@98.186.193.4) |
| 2023-08-08 15:32:31 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 15:37:34 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-08 15:38:25 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 15:38:29 +0200 | <int-e> | > let coin n xs = let r = zipWith (+) xs (replicate n 0 ++ r) in r in foldr coin (1 : repeat 0) [1,5,10] |
| 2023-08-08 15:38:31 +0200 | <lambdabot> | [1,1,1,1,1,2,2,2,2,2,4,4,4,4,4,6,6,6,6,6,9,9,9,9,9,12,12,12,12,12,16,16,16,1... |
| 2023-08-08 15:39:14 +0200 | <int-e> | > let coin n xs = let r = zipWith (+) xs (replicate n 0 ++ r) in r in foldr coin (1 : repeat 0) [1,2,5,10,20,50,100,200] |
| 2023-08-08 15:39:15 +0200 | <lambdabot> | [1,1,2,2,3,4,5,6,7,8,11,12,15,16,19,22,25,28,31,34,41,44,51,54,61,68,75,82,8... |
| 2023-08-08 15:39:29 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-08-08 15:39:29 +0200 | <probie> | `f n = let arr = array (1,n) [<some computation using terms arr ! j where i < j> | i <- [1..n]] in arr ! n` |
| 2023-08-08 15:40:00 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-08 15:40:02 +0200 | <probie> | (I hit enter too early and picked a problem that was beyond my ability to write straight into irc at 11:40pm) |
| 2023-08-08 15:41:04 +0200 | <int-e> | It is a bit tricky... you're in danger of counting 1+5 and 5+1 as two different ways of making $6. |
| 2023-08-08 15:43:16 +0200 | <probie> | I think you end up needing assumptions like "once you've picked $5 you can't pick $1 anymore" so each cell is itself going to be some sort of collection |
| 2023-08-08 15:45:54 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-08 15:46:18 +0200 | <int-e> | probie: or you can split the computation into stages, one per coin (which is what I did; I'd also do that in imperative code where the `coin` function can be implemented as a single pass over an array, updating in place) |
| 2023-08-08 15:47:36 +0200 | <int-e> | Or, who knows, maybe you *want* 1+5 and 5+1 to be different. It's not a common choice though in these problems about making change. |
| 2023-08-08 15:50:54 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-08-08 15:53:09 +0200 | ystael | (~ystael@user/ystael) |
| 2023-08-08 15:55:00 +0200 | <yin> | why isn't there WordMap ? |
| 2023-08-08 15:58:00 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2023-08-08 16:00:10 +0200 | <danse-nr3> | yin, you mean? |
| 2023-08-08 16:00:47 +0200 | <probie> | danse-nr3: (I assume) as opposed to `IntMap` |
| 2023-08-08 16:01:00 +0200 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-08-08 16:01:30 +0200 | vulpine | (xfnw@tilde.team) |
| 2023-08-08 16:01:53 +0200 | <probie> | and I think it's just historical. `Int` is far more ubiquitous than `Word`. Word is not in the Prelude for Haskell2010 (although it's in GHC's Prelude these days), and I don't think it's even in the report for Haskell98 |
| 2023-08-08 16:04:26 +0200 | shapr | (~user@2600:1700:c640:3100:5ac7:4ab9:ebed:8423) |
| 2023-08-08 16:04:33 +0200 | <yin> | it's awful that we use Int for everything |
| 2023-08-08 16:06:24 +0200 | nick4 | (~nick@98.186.193.4) (Ping timeout: 252 seconds) |
| 2023-08-08 16:06:24 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-08 16:10:14 +0200 | michals | (~user@cfeld-pcx40162.desy.de) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2023-08-08 16:10:24 +0200 | <probie> | You can avoid using it in code that you write. In the particular case of `IntMap`, I think if you're only going to do one, it's a better choice than `WordMap`. You're a lot more likely to need negative numbers than "big" numbers |
| 2023-08-08 16:10:53 +0200 | <probie> | If the keys are just opaque word-length bitstrings as opposed to numbers, then it doesn't matter if you use `Int` or `Word` |
| 2023-08-08 16:15:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 16:15:38 +0200 | <yin> | it matters because if negative numbers don't make sense in your program, Int opens a door for errors. sort of like making illegal states representable |
| 2023-08-08 16:18:28 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-08 16:18:28 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-08 16:18:28 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-08 16:19:48 +0200 | <int-e> | > (0 - 1 :: Int, 0 - 1 :: Word) |
| 2023-08-08 16:19:49 +0200 | <lambdabot> | (-1,18446744073709551615) |
| 2023-08-08 16:20:03 +0200 | <int-e> | (you're open to errors anyway) |
| 2023-08-08 16:21:12 +0200 | <yin> | that's not an error, it's the expected result |
| 2023-08-08 16:21:42 +0200 | <int-e> | well that can be said for both results |
| 2023-08-08 16:22:24 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-08 16:22:26 +0200 | <yin> | yes |
| 2023-08-08 16:23:00 +0200 | nyc | (~nyc@user/nyc) (Ping timeout: 245 seconds) |
| 2023-08-08 16:23:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-08 16:23:58 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 16:24:17 +0200 | <int-e> | (I just genuinely don't believe that using Word for Ints that are non-negative would save me from many bugs, and I'd need many more conversions for when I inevitably subtract two of those things.) |
| 2023-08-08 16:24:38 +0200 | <int-e> | That doesn't mean that WordMap shouldn't exist. |
| 2023-08-08 16:24:52 +0200 | <yin> | or WordSet |
| 2023-08-08 16:25:35 +0200 | <int-e> | (It would be largely the same as IntMap, but from{Distinct,}AscList and toAscList would be different.) |
| 2023-08-08 16:25:58 +0200 | <int-e> | ("the same" in the sense that we can losslessly convert between Int and Word) |
| 2023-08-08 16:26:56 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.1) |
| 2023-08-08 16:29:02 +0200 | <probie> | Most of the time I use `Int`, my results aren't going to be above 2^32, and yet I don't reach for `Int32` |
| 2023-08-08 16:33:10 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2023-08-08 16:34:12 +0200 | yin | wishes we could specify ints with arbitrary number of bits |
| 2023-08-08 16:37:08 +0200 | Co0kie | (~Jura@2a05:5800:2d9:8400:664b:f0ff:fe37:9ef) (Ping timeout: 256 seconds) |
| 2023-08-08 16:37:43 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-08 16:37:51 +0200 | <probie> | In Ada, one can do something like `subtype DiceRoll is Integer range 1..6;`. In Haskell you can actually emulate this (especially these days, where you can go `newtype RangedPos (m :: Nat) (n :: Nat) = RangedPos Natural`), but despite "make illegal state unrepresentable" being popular, almost no-one does. |
| 2023-08-08 16:39:38 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-08-08 16:39:59 +0200 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2023-08-08 16:41:59 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:702e:5e17:1e38:6267) (Quit: WeeChat 2.8) |
| 2023-08-08 16:43:31 +0200 | danse-nr3_ | (~francesco@151.47.181.99) |
| 2023-08-08 16:45:30 +0200 | barakk | (~barakk@2a0d:6fc2:68c0:8e00:5aad:23e0:2089:e11e) |
| 2023-08-08 16:45:58 +0200 | danse-nr3 | (~francesco@151.47.215.185) (Ping timeout: 246 seconds) |
| 2023-08-08 16:47:45 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-08 16:48:08 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-08-08 16:48:32 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-08 16:52:22 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 250 seconds) |
| 2023-08-08 16:56:00 +0200 | <dminuoso> | int-e | [14:24:17] (I just genuinely don't believe that using Word for Ints that are non-negative would save me from many bugs, [...] |
| 2023-08-08 16:56:36 +0200 | <dminuoso> | Especially in the Haskell world, there is a lot of people spending a lot of time in building techniques to thwart imaginary bugs. |
| 2023-08-08 16:57:42 +0200 | <dminuoso> | Effect system come to mind in particular. |
| 2023-08-08 16:58:12 +0200 | <dminuoso> | In some sense its the result of Haskell being a playground. Once you play long enough with a hammer, you start seeing nails. |
| 2023-08-08 16:58:30 +0200 | <dminuoso> | So curious research turns into obsession. |
| 2023-08-08 17:00:58 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-08 17:01:11 +0200 | <Hecate> | §25 |
| 2023-08-08 17:01:36 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 17:02:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-08 17:04:49 +0200 | <int-e> | dminuoso: This kind of stuff is great for writing academic papers (where you can focus on one issue and go wild with developing a design pattern that solves that issue once and for all, without looking too closely at the cost). And Haskell does have an academic bias. |
| 2023-08-08 17:05:37 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-08-08 17:06:26 +0200 | <int-e> | I don't even mean this as a slight... it's the nature of academia to investigate such ideas... and on occasion we'll come up with something that's useful in practice. |
| 2023-08-08 17:08:03 +0200 | phma_ | (phma@2001:5b0:211c:e0c8:1a23:3fa2:7aa1:c25f) |
| 2023-08-08 17:08:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 17:11:16 +0200 | phma | (~phma@host-67-44-208-42.hnremote.net) (Ping timeout: 245 seconds) |
| 2023-08-08 17:13:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 17:13:50 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-08-08 17:15:40 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 256 seconds) |
| 2023-08-08 17:17:22 +0200 | <EvanR> | Word introduces another potential bug, namely when you go back to an API that needs an Int |
| 2023-08-08 17:17:33 +0200 | <EvanR> | it can technically be too big, then what |
| 2023-08-08 17:18:02 +0200 | <int-e> | it'll wrap |
| 2023-08-08 17:18:26 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-08-08 17:18:37 +0200 | <EvanR> | probably not what thou wanted |
| 2023-08-08 17:18:53 +0200 | <int-e> | well, maybe |
| 2023-08-08 17:19:10 +0200 | <exarkun> | I don't think it's Word that introduces that bug |
| 2023-08-08 17:19:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-08 17:19:22 +0200 | <exarkun> | Either the programmer introduces it or they write a program that does what they wanted |
| 2023-08-08 17:19:36 +0200 | <EvanR> | you stopped negatives but then introduces "too big for Int" ness |
| 2023-08-08 17:19:42 +0200 | <exarkun> | The type is just what the type is |
| 2023-08-08 17:20:01 +0200 | <exarkun> | If the type is the incorrect representation of the semantics, yea, there'll be trouble. |
| 2023-08-08 17:20:07 +0200 | <int-e> | there's a case for types with trapping operations (that fail when they overflow) |
| 2023-08-08 17:20:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cca:964e:ffad:4e30) |
| 2023-08-08 17:20:28 +0200 | <int-e> | the Word/Int debate doesn't address overflows at all. |
| 2023-08-08 17:20:49 +0200 | <dminuoso> | Equating overflow with negative is a bit strange here. |
| 2023-08-08 17:20:49 +0200 | <monochrom> | This is "does the knife kill people or is it the knife holder" all over again. |
| 2023-08-08 17:20:55 +0200 | <int-e> | since both types do arithmetic moduloe 2^64 (usually) |
| 2023-08-08 17:21:07 +0200 | <dminuoso> | Admitting `Int` allows the caller to possibly supply non-sensical values. Word does not. |
| 2023-08-08 17:21:22 +0200 | <int-e> | modulo-e?! Maybe it's time to change my nick. |
| 2023-08-08 17:21:35 +0200 | <dminuoso> | The topic of whether arithmatic can overflow has less to do with Int/Word, but more with Num |
| 2023-08-08 17:21:58 +0200 | <EvanR> | I'm pointing out, alot of times, half of Word is non-sensical by virtue of everything "else" using Int |
| 2023-08-08 17:22:33 +0200 | <EvanR> | if you just ignore that you could have ignored negative Ints |
| 2023-08-08 17:22:58 +0200 | <dminuoso> | How is half of word non-sensical, exactly? |
| 2023-08-08 17:23:15 +0200 | <dminuoso> | Assume something like threadDelay |
| 2023-08-08 17:23:27 +0200 | <int-e> | I worry about Word when I actually deal with numbers in the 2^63...2^64-1 range *and* want to avoid the overhead of using Integer. |
| 2023-08-08 17:23:30 +0200 | <EvanR> | assume you get what I'm saying |
| 2023-08-08 17:23:33 +0200 | <exarkun> | EvanR: Half of Word might be nonsensical _with respect to_ Int-using functions. |
| 2023-08-08 17:23:49 +0200 | <exarkun> | EvanR: What does that make half of Word with respect to Word-using functions? |
| 2023-08-08 17:23:54 +0200 | <monochrom> | That's EvanR's point. |
| 2023-08-08 17:23:58 +0200 | <EvanR> | that's my point |
| 2023-08-08 17:24:12 +0200 | <int-e> | It's an Int-eat-Word world. |
| 2023-08-08 17:24:12 +0200 | <monochrom> | Prelude is full of Int-using functions. |
| 2023-08-08 17:24:14 +0200 | <dminuoso> | That just means any Int-to-Word migration requires widespread adoption to make sense. |
| 2023-08-08 17:24:19 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-08 17:24:20 +0200 | <monochrom> | haha int-e |
| 2023-08-08 17:24:21 +0200 | <dminuoso> | It doesnt invalidate Word in itself. |
| 2023-08-08 17:25:22 +0200 | <dolio> | What is the point of this conversation? |
| 2023-08-08 17:25:28 +0200 | <exarkun> | ByteString can only carry bytes from 0 to 255, whereas Char can go much higher. |
| 2023-08-08 17:25:33 +0200 | <exarkun> | Therefor most of Char is nonsense. |
| 2023-08-08 17:26:10 +0200 | <monochrom> | I think this is just another endian war. |
| 2023-08-08 17:26:30 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-08 17:27:13 +0200 | <EvanR> | B avoids the issue elegantly by not having a distinction between Int and Word |
| 2023-08-08 17:28:00 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-08-08 17:28:58 +0200 | <int-e> | > length $ iterate (\s -> s <> s) (Seq.singleton ()) !! 63 -- before you scream "we should use Word" consider what happens at iteration 64 :-) |
| 2023-08-08 17:29:00 +0200 | <lambdabot> | -9223372036854775808 |
| 2023-08-08 17:29:33 +0200 | <dolio> | Seq is just broken. |
| 2023-08-08 17:29:51 +0200 | <int-e> | it has... limitations |
| 2023-08-08 17:29:55 +0200 | <int-e> | it's also useful |
| 2023-08-08 17:30:23 +0200 | <dolio> | Yeah, that case is not particularly important. |
| 2023-08-08 17:31:05 +0200 | <int-e> | it's really more of a case of Seq being too good at what it does (efficient implementation of finite sequences) |
| 2023-08-08 17:31:13 +0200 | <EvanR> | > length $ iterate (\s -> s <> s) (Seq.singleton ()) !! 64 |
| 2023-08-08 17:31:15 +0200 | <lambdabot> | 0 |
| 2023-08-08 17:32:14 +0200 | <EvanR> | <> is lazy? |
| 2023-08-08 17:32:14 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-08-08 17:33:12 +0200 | <monochrom> | Yeah I think Seq's <> is lazy in the data structure. And it keeps a size field that doesn't require traversing the whole data structure. |
| 2023-08-08 17:33:43 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-08 17:33:50 +0200 | <probie> | It's a 2-3 finger tree right? |
| 2023-08-08 17:34:30 +0200 | <monochrom> | Hey that's a good lazy evaluation question to put on my exam! |
| 2023-08-08 17:34:34 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 17:37:23 +0200 | <EvanR> | "you can imagine Seq is defined data Seq a = Empty | a :<| !(Seq a) which means many operations on sequences are stricter than those on lists" xD |
| 2023-08-08 17:37:32 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-08-08 17:37:50 +0200 | <EvanR> | propaganda |
| 2023-08-08 17:38:50 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
| 2023-08-08 17:40:43 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-08 17:41:04 +0200 | <int-e> | <> doesn't have to be lazy for this to work |
| 2023-08-08 17:41:13 +0200 | <int-e> | there's a lot of subtrees that can be shared. |
| 2023-08-08 17:42:02 +0200 | <int-e> | I mean, (<>) fully evaluated is O(log(n)) time; it can't allocate more than O(log(n)) space in that time. |
| 2023-08-08 17:42:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-08 17:42:52 +0200 | <int-e> | So iterate (\s -> s <> s) (Seq.singleton ()) !! n will take up quadratic space in n. It can only represent 2^n elements with a lot of sharing. |
| 2023-08-08 17:44:50 +0200 | <int-e> | (It could be fun to look at the actual graph, say, for n = 10... I imagine that it could be rather messy) |
| 2023-08-08 17:45:37 +0200 | <int-e> | (soo many digits) |
| 2023-08-08 17:46:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-08-08 17:47:16 +0200 | gatekempt | (~gatekempt@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-08-08 17:47:43 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-08 17:47:49 +0200 | gatekempt | (~gatekempt@static-71-251-226-194.rcmdva.fios.verizon.net) (Changing host) |
| 2023-08-08 17:47:49 +0200 | gatekempt | (~gatekempt@user/gatekempt) |
| 2023-08-08 17:49:47 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-08 17:49:51 +0200 | <dolio> | Yeah, it'll be a lot more complicated in Seq because it's not just gluing them together with a node. |
| 2023-08-08 17:50:30 +0200 | danse-nr3_ | (~francesco@151.47.181.99) (Ping timeout: 245 seconds) |
| 2023-08-08 17:52:58 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
| 2023-08-08 17:53:10 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-08 17:55:02 +0200 | nefercheprure | TMA |
| 2023-08-08 17:57:50 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-08-08 17:58:54 +0200 | ripspin | (~chatzilla@1.145.155.95) |
| 2023-08-08 17:59:30 +0200 | slac51675 | (~slack1256@191.126.172.195) |
| 2023-08-08 18:01:27 +0200 | phma_ | phma |
| 2023-08-08 18:01:41 +0200 | slack1256 | (~slack1256@181.43.226.77) (Ping timeout: 245 seconds) |
| 2023-08-08 18:06:19 +0200 | barakk | (~barakk@2a0d:6fc2:68c0:8e00:5aad:23e0:2089:e11e) (Ping timeout: 260 seconds) |
| 2023-08-08 18:08:35 +0200 | ripspin | (~chatzilla@1.145.155.95) (Remote host closed the connection) |
| 2023-08-08 18:10:04 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2023-08-08 18:10:27 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-08 18:11:51 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-08 18:16:24 +0200 | thegeekinside | (~thegeekin@189.180.79.225) (Ping timeout: 246 seconds) |
| 2023-08-08 18:18:24 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-08 18:18:54 +0200 | shapr | (~user@2600:1700:c640:3100:5ac7:4ab9:ebed:8423) (Remote host closed the connection) |
| 2023-08-08 18:18:56 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-08 18:19:07 +0200 | shapr | (~user@2600:1700:c640:3100:f9ab:ccd3:3c06:971e) |
| 2023-08-08 18:19:54 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-08 18:20:12 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-08 18:20:37 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 18:25:06 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 250 seconds) |
| 2023-08-08 18:25:11 +0200 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-08-08 18:25:18 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-08 18:31:36 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Ping timeout: 256 seconds) |
| 2023-08-08 18:41:16 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-08 18:42:22 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2023-08-08 18:47:28 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 256 seconds) |
| 2023-08-08 18:47:50 +0200 | mauke | (~mauke@user/mauke) |
| 2023-08-08 18:49:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 18:50:00 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 18:52:34 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 256 seconds) |
| 2023-08-08 18:54:47 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-08 18:55:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 18:58:53 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-08 18:59:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-08 19:02:48 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-08-08 19:06:07 +0200 | slac51675 | (~slack1256@191.126.172.195) (Read error: Connection reset by peer) |
| 2023-08-08 19:06:11 +0200 | slack1256 | (~slack1256@186.11.77.77) |
| 2023-08-08 19:07:10 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-08 19:07:40 +0200 | ars23 | (~ars23@89.123.130.211) |
| 2023-08-08 19:09:56 +0200 | johnw_ | (~johnw@69.62.242.138) |
| 2023-08-08 19:10:22 +0200 | thyriaen | (~thyriaen@2a01:aea0:dd4:6a18:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-08-08 19:10:51 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 245 seconds) |
| 2023-08-08 19:12:21 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-08-08 19:12:49 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2023-08-08 19:13:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-08 19:14:06 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-08-08 19:14:55 +0200 | mima | (~mmh@net-93-67-213-210.cust.vodafonedsl.it) |
| 2023-08-08 19:15:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 19:18:04 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
| 2023-08-08 19:18:50 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-08-08 19:19:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-08 19:19:59 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 19:22:20 +0200 | razetime_ | (~quassel@117.254.36.161) (Remote host closed the connection) |
| 2023-08-08 19:22:55 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-08-08 19:23:50 +0200 | ars23 | (~ars23@89.123.130.211) (Changing host) |
| 2023-08-08 19:23:50 +0200 | ars23 | (~ars23@user/ars23) |
| 2023-08-08 19:24:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 19:26:05 +0200 | thegeekinside | (~thegeekin@189.180.79.225) |
| 2023-08-08 19:26:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-08-08 19:29:21 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) |
| 2023-08-08 19:37:19 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-08-08 19:39:28 +0200 | ubert | (~Thunderbi@77.119.201.60.wireless.dyn.drei.com) |
| 2023-08-08 19:46:12 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) (Ping timeout: 246 seconds) |
| 2023-08-08 19:47:41 +0200 | dsrt^ | (~cd@c-66-56-7-24.hsd1.ga.comcast.net) |
| 2023-08-08 19:47:59 +0200 | hpc | (~juzz@ip98-169-35-163.dc.dc.cox.net) |
| 2023-08-08 19:49:05 +0200 | zeenk | (~zeenk@2a02:2f04:a300:2a00::7fe) |
| 2023-08-08 19:51:06 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 19:52:15 +0200 | latax | (~latax@185.78.166.145) |
| 2023-08-08 19:52:51 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) |
| 2023-08-08 19:54:22 +0200 | ubert | (~Thunderbi@77.119.201.60.wireless.dyn.drei.com) (Quit: ubert) |
| 2023-08-08 19:54:27 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-08 19:55:50 +0200 | ft | (~ft@p3e9bcd02.dip0.t-ipconnect.de) |
| 2023-08-08 19:56:02 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 19:57:08 +0200 | latax | (~latax@185.78.166.145) (Client Quit) |
| 2023-08-08 20:01:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cca:964e:ffad:4e30) (Remote host closed the connection) |
| 2023-08-08 20:04:40 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 20:08:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cca:964e:ffad:4e30) |
| 2023-08-08 20:08:52 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5cca:964e:ffad:4e30) (Remote host closed the connection) |
| 2023-08-08 20:09:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 260 seconds) |
| 2023-08-08 20:15:02 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-08 20:17:50 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
| 2023-08-08 20:20:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 20:21:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 20:24:52 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-08-08 20:38:51 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-08 20:43:29 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-08 20:56:38 +0200 | mmhat | (~mmh@p200300f1c73d194eee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.0.2) |
| 2023-08-08 20:58:05 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 21:03:21 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-093-026.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2023-08-08 21:04:35 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-08 21:07:25 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 21:15:40 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 21:15:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2023-08-08 21:20:37 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-08 21:20:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-08 21:24:36 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-08-08 21:25:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-08 21:28:48 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-08-08 21:30:55 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-08-08 21:31:51 +0200 | <hippoid> | i'm trying to use tasty and the awk-like patterns to specify which tests i want run. the docs use '> ./test ...', but where do I get this executable test? also, is it possible to pass the patterns just using 'cabal test ...'? |
| 2023-08-08 21:32:19 +0200 | neminis | (~neminis@2001:4b98:dc0:43:f816:3eff:fe61:c2ac) |
| 2023-08-08 21:33:53 +0200 | neminis | (~neminis@2001:4b98:dc0:43:f816:3eff:fe61:c2ac) () |
| 2023-08-08 21:41:15 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-08 21:43:17 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-08 21:43:44 +0200 | <exarkun> | hippoid: maybe you want something like `cabal run tests -- [tasty args]` |
| 2023-08-08 21:49:56 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-08 21:50:49 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
| 2023-08-08 21:53:39 +0200 | <geekosaur> | cabal test --test-options="..." (I think) |
| 2023-08-08 21:57:19 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 260 seconds) |
| 2023-08-08 21:59:30 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-08-08 22:00:36 +0200 | <exarkun> | I think that also kind of works, but it's kind of annoying to have to double-quote everything |
| 2023-08-08 22:00:53 +0200 | <exarkun> | `cabal run tests` also has downsides, they're just different :) |
| 2023-08-08 22:01:16 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-08 22:03:46 +0200 | slack1256 | (~slack1256@186.11.77.77) (Remote host closed the connection) |
| 2023-08-08 22:04:06 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 256 seconds) |
| 2023-08-08 22:05:28 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-08 22:05:38 +0200 | Vajb | (~Vajb@2001:999:58d:647c:664f:4b4f:efff:9b44) (Remote host closed the connection) |
| 2023-08-08 22:10:05 +0200 | Vajb | (~Vajb@2001:999:58d:647c:664f:4b4f:efff:9b44) |
| 2023-08-08 22:10:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-08-08 22:11:13 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-08-08 22:11:54 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-08-08 22:16:46 +0200 | Wojciech_K | (~Wojciech_@maluch.mikr.us) |
| 2023-08-08 22:18:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 22:19:30 +0200 | <hippoid> | i got it to work like `cabal run test:tests -- -p '$0=="folds.foldr."'`, as my test stanza in cabal is named tests |
| 2023-08-08 22:22:18 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 246 seconds) |
| 2023-08-08 22:23:18 +0200 | vollmerm | (~vollmerm@2a00:23c5:c543:8101:c53a:dbdb:c696:b6aa) |
| 2023-08-08 22:23:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-08 22:23:54 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-08 22:36:19 +0200 | ars23 | (~ars23@user/ars23) (Quit: Leaving) |
| 2023-08-08 22:37:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-08 22:42:10 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-08 22:43:58 +0200 | nick4 | (~nick@50.86.118.19) |
| 2023-08-08 22:52:33 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-08 22:55:07 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 2023-08-08 22:57:27 +0200 | nick4 | (~nick@50.86.118.19) (Ping timeout: 260 seconds) |
| 2023-08-08 22:58:32 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-08 23:03:27 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
| 2023-08-08 23:05:33 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-08-08 23:08:05 +0200 | shapr | (~user@2600:1700:c640:3100:f9ab:ccd3:3c06:971e) (Remote host closed the connection) |
| 2023-08-08 23:08:18 +0200 | shapr | (~user@2600:1700:c640:3100:dd94:f31e:b2c8:b749) |
| 2023-08-08 23:08:49 +0200 | vollmerm | (~vollmerm@2a00:23c5:c543:8101:c53a:dbdb:c696:b6aa) (Remote host closed the connection) |
| 2023-08-08 23:11:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bc85:f68a:ae7d:4d3e) |
| 2023-08-08 23:13:12 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::3) |
| 2023-08-08 23:16:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bc85:f68a:ae7d:4d3e) (Ping timeout: 260 seconds) |
| 2023-08-08 23:22:48 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2023-08-08 23:26:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-08 23:29:15 +0200 | acidjnk | (~acidjnk@p200300d6e7072f909c6b5522a88f7d55.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-08 23:32:16 +0200 | anthezium | (~ted@75.164.14.110) (Ping timeout: 252 seconds) |
| 2023-08-08 23:33:02 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-08-08 23:39:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2023-08-08 23:39:19 +0200 | vollmerm | (~vollmerm@2a00:23c5:c543:8101:c53a:dbdb:c696:b6aa) |
| 2023-08-08 23:39:32 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-08-08 23:41:30 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2023-08-08 23:41:34 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-08-08 23:43:31 +0200 | vollmerm | (~vollmerm@2a00:23c5:c543:8101:c53a:dbdb:c696:b6aa) (Ping timeout: 246 seconds) |
| 2023-08-08 23:44:07 +0200 | vollmerm | (~vollmerm@host86-150-58-211.range86-150.btcentralplus.com) |
| 2023-08-08 23:44:20 +0200 | vollmerm | (~vollmerm@host86-150-58-211.range86-150.btcentralplus.com) (Client Quit) |
| 2023-08-08 23:50:25 +0200 | nick4 | (~nick@2600:8807:9084:7800:c51f:d18e:8d7:c770) |
| 2023-08-08 23:50:59 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-08 23:52:38 +0200 | gatekempt | (~gatekempt@user/gatekempt) (Quit: My MacBook has gone to sleep. ZZZzzz…) |