Logs on 2023-02-07 (liberachat/#haskell)
| 00:01:41 | → | Guest33 joins (~Guest33@69.5.126.166) |
| 00:02:26 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 00:05:00 | × | Tuplanolla quits (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:10:31 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 00:14:10 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 00:14:38 | × | jimki quits (~jmaki@gazorpazorp.fixme.fi) (Ping timeout: 265 seconds) |
| 00:14:41 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:14:41 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:14:41 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:14:52 | → | jimki joins (~jmaki@gazorpazorp.fixme.fi) |
| 00:17:09 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 00:17:14 | → | the_proffesor joins (~theproffe@user/theproffesor) |
| 00:17:22 | → | patrl1 joins (~patrl@user/patrl) |
| 00:17:40 | × | patrl1 quits (~patrl@user/patrl) (Client Quit) |
| 00:25:41 | → | merijn joins (~merijn@86-86-29-250.fixed.kpn.net) |
| 00:27:34 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 00:29:51 | × | merijn quits (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 248 seconds) |
| 00:35:09 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 00:37:29 | → | mei joins (~mei@user/mei) |
| 00:38:38 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 255 seconds) |
| 00:40:29 | → | freeside joins (~mengwong@103.252.202.170) |
| 00:40:38 | × | Guest33 quits (~Guest33@69.5.126.166) (Ping timeout: 260 seconds) |
| 00:40:39 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 00:41:14 | × | [Leary] quits (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 00:41:45 | → | [Leary] joins (~Leary]@user/Leary/x-0910699) |
| 00:43:01 | → | tessier joins (~treed@ip72-197-145-89.sd.sd.cox.net) |
| 00:46:16 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 00:46:56 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 00:49:22 | → | freeside joins (~mengwong@103.252.202.170) |
| 00:55:09 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 00:57:07 | → | Guest75 joins (~Guest75@178.141.147.162) |
| 00:59:43 | × | xeelad quits (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Quit: Leaving) |
| 01:00:00 | → | xeelad joins (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 01:00:48 | × | xeelad quits (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 01:01:56 | → | xeelad joins (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 01:02:13 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 01:02:52 | × | xeelad quits (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 01:04:08 | → | califax joins (~califax@user/califx) |
| 01:06:27 | → | xeelad joins (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) |
| 01:09:31 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 01:10:35 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:48 | → | freeside joins (~mengwong@103.252.202.170) |
| 01:13:16 | → | troydm joins (~troydm@user/troydm) |
| 01:13:59 | × | `2jt quits (~jtomas@84.78.228.192) (Ping timeout: 264 seconds) |
| 01:16:42 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:31 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 01:20:31 | × | thyriaen quits (~thyriaen@2a01:aea0:dd4:5074:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 01:22:47 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 01:23:18 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 01:23:32 | → | freeside joins (~mengwong@103.252.202.170) |
| 01:24:18 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 01:28:09 | → | bilegeek joins (~bilegeek@2600:1008:b00b:b87b:97b2:88c7:2fa2:db99) |
| 01:28:29 | ← | xeelad parts (~xeelad@pool-151-202-46-37.nycmny.fios.verizon.net) (Leaving) |
| 01:35:27 | × | patrl quits (~patrl@user/patrl) (Ping timeout: 248 seconds) |
| 01:40:24 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 01:41:39 | × | xff0x quits (~xff0x@ai081074.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 01:45:59 | → | king_gs joins (~Thunderbi@2806:103e:29:34e5:68d2:dfdc:3d8f:12ba) |
| 01:53:32 | → | johnjaye joins (~pi@173.209.64.74) |
| 01:53:34 | <johnjaye> | hi |
| 01:53:43 | <johnjaye> | i'm trying to see why cabal and ghc are taking up a lot of space |
| 01:53:59 | <johnjaye> | i ran 'cabal clean' but that didn't change anything as far as i can tell |
| 01:54:12 | <sclv> | the space usage is going to be on account of all their bytes |
| 01:54:27 | <johnjaye> | yes. gigabytes in fact |
| 01:54:33 | <sclv> | well then there it is |
| 01:54:59 | <sclv> | more seriously: are there particular directories or files you think are overlarge, or...? |
| 01:55:02 | <johnjaye> | .cabal is a gigabyte, .cache is 1.4GiB, .local is 1.6GiB, and .ghcup is 5.4GiB |
| 01:55:44 | <johnjaye> | also something called nuget. not sure if that's dotnet though |
| 01:55:48 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 01:56:15 | <sclv> | ok so ghcup will have a full ghc inside it, and that's expected. |
| 01:56:22 | <johnjaye> | 01-index.tar at 700MB is the offendign file in .cabal apparently |
| 01:56:34 | <sclv> | ok that's the size its supposed to be and that cannot be removed or changed |
| 01:56:46 | <sclv> | its a tarball of the entirety of the packages on hackage, and cabal uses it when solving for dependencies. |
| 01:57:09 | <johnjaye> | apparently .cache is used by everything. i see large folders from mozilla and chromium there |
| 01:57:31 | <johnjaye> | so 5G is a normal size for .ghcup folder? |
| 01:57:32 | <sclv> | i also suspect ghcup may not be able to be removed or changed, but within it there may be multiple ghc installs, in which case you can remove the one you have decided you will never use again |
| 01:57:54 | <int-e> | .ghcup may contain several ghcs? 5GB is a bit too much for only one version I think |
| 01:58:03 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 01:58:41 | <johnjaye> | it says 8.10.7. the thing is i'm not even sure i used the ghcup version. i installed agda from the repos which is the main project i'm using which is haskell based |
| 01:58:43 | <sclv> | a single ghc in my ghcup is about 1.8G, so it may be two or three |
| 01:58:56 | <johnjaye> | just 1 thing in the ghc/ folder |
| 01:59:15 | <johnjaye> | ghc/8.10.7 is 2.8G, hls is 1.8G, cache is 500MB |
| 01:59:27 | <sclv> | ok, well that's pretty expected then |
| 01:59:40 | <sclv> | if you don't ever intend to use vscode or hls, that can go. but its a pretty nice env if you want it! |
| 01:59:55 | <johnjaye> | it says cabal-3.2 takes up as much space as ghc 8.10.7. both about 500 |
| 02:00:21 | <johnjaye> | vscode? that's not a haskell thing i thought? |
| 02:00:37 | <geekosaur> | it's an IDE which supports Haskell via HLS |
| 02:00:56 | <johnjaye> | oh like lsp. ok |
| 02:01:16 | <geekosaur> | HLS is an LSP provider for Haskell, yes |
| 02:01:27 | <johnjaye> | ok. well these just seemed really big so i was wondering if i maybe did something wrong or if there was a way to slim it down a little. this is a pi so space isn't infinite |
| 02:02:38 | <sclv> | a raspberry pi? yeah lmao i'd forgo hls on that. |
| 02:03:16 | <johnjaye> | honestly i'm not sure what i was doing with ghcup unless it was trying to compile agda. but i think i figured out a hack to fix the problems with debian's version |
| 02:05:45 | <sclv> | well if you don't need ghc to compile anything, and can just use an existing agda binary, arguably you don't need any of this? |
| 02:06:28 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 02:06:55 | → | Guest7536 joins (~Guest75@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 02:07:10 | <johnjaye> | well. possibly yes. but i wanted to ask first before just deleting .ghcup |
| 02:07:41 | <johnjaye> | i'm not opposed to having ghc or .ghcup. but 5G is too much |
| 02:07:53 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:345:11b6:f068:ad9f) |
| 02:08:44 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 02:09:07 | slack1256 | sweats looking at /nix/store . |
| 02:10:08 | <johnjaye> | ah. i didn't even think about that. lol |
| 02:14:05 | × | kjak quits (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 02:14:31 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 02:17:53 | × | king_gs quits (~Thunderbi@2806:103e:29:34e5:68d2:dfdc:3d8f:12ba) (Ping timeout: 265 seconds) |
| 02:22:15 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 02:22:43 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 02:24:00 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 02:25:26 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:34:00 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 02:34:41 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 252 seconds) |
| 02:35:18 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 02:35:31 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb2 - https://znc.in) |
| 02:38:42 | → | haritz joins (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 02:38:43 | × | haritz quits (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 02:38:43 | → | haritz joins (~hrtz@user/haritz) |
| 02:39:20 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 02:39:50 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 02:40:04 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 02:44:03 | → | bhall joins (~brunohall@195.147.207.136) |
| 02:44:04 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 02:44:18 | × | Guest7536 quits (~Guest75@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 260 seconds) |
| 02:45:05 | → | Hammdist joins (~Hammdist@67.169.114.135) |
| 02:51:58 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 02:51:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 02:52:36 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 02:52:57 | → | califax joins (~califax@user/califx) |
| 02:53:05 | × | califax quits (~califax@user/califx) (Read error: Connection reset by peer) |
| 02:53:38 | → | califax joins (~califax@user/califx) |
| 02:55:25 | → | varoo joins (~varoo@117.203.246.41) |
| 02:56:34 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 02:56:46 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 02:57:28 | → | hounded_1969 joins (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) |
| 02:58:11 | × | hounded_woodstoc quits (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 02:58:11 | × | hounded quits (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving) |
| 02:58:16 | × | hounded_1969 quits (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Client Quit) |
| 03:01:16 | × | varoo quits (~varoo@117.203.246.41) (Remote host closed the connection) |
| 03:01:57 | × | jero98772 quits (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) (Remote host closed the connection) |
| 03:05:04 | × | td_ quits (~td@i5387093f.versanet.de) (Ping timeout: 260 seconds) |
| 03:06:48 | → | td_ joins (~td@i53870911.versanet.de) |
| 03:10:50 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 03:12:55 | → | califax joins (~califax@user/califx) |
| 03:14:28 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) |
| 03:15:01 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 03:32:18 | × | nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: quit) |
| 03:32:18 | × | nshepperd2 quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: The Lounge - https://thelounge.chat) |
| 03:35:57 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:35:57 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:35:57 | finn_elija | is now known as FinnElija |
| 03:45:03 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 03:47:13 | → | nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 03:47:17 | → | nshepperd2 joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) |
| 03:48:57 | × | bilegeek quits (~bilegeek@2600:1008:b00b:b87b:97b2:88c7:2fa2:db99) (Quit: Leaving) |
| 03:53:22 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 03:53:43 | × | Guest75 quits (~Guest75@178.141.147.162) (Ping timeout: 260 seconds) |
| 03:58:57 | × | phma quits (~phma@host-67-44-208-213.hnremote.net) (Read error: Connection reset by peer) |
| 03:59:54 | → | phma joins (phma@2001:5b0:212a:e3d8:88c0:402f:ec64:11e8) |
| 04:03:11 | × | td_ quits (~td@i53870911.versanet.de) (Ping timeout: 248 seconds) |
| 04:04:52 | → | td_ joins (~td@i5387092C.versanet.de) |
| 04:06:12 | → | irrgit_ joins (~irrgit@89.47.234.74) |
| 04:07:39 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 04:09:36 | × | irrgit quits (~irrgit@89.47.234.74) (Ping timeout: 248 seconds) |
| 04:11:21 | → | asscrackbandit joins (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 04:11:56 | × | slack1256 quits (~slack1256@186.11.59.217) (Remote host closed the connection) |
| 04:15:34 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 268 seconds) |
| 04:16:20 | → | laalyn joins (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) |
| 04:22:26 | → | freeside joins (~mengwong@103.252.202.170) |
| 04:26:06 | → | merijn joins (~merijn@86.86.29.250) |
| 04:30:33 | × | merijn quits (~merijn@86.86.29.250) (Ping timeout: 252 seconds) |
| 04:55:14 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 04:55:15 | × | Vajb quits (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) (Read error: Connection reset by peer) |
| 04:55:31 | → | califax joins (~califax@user/califx) |
| 04:55:35 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 04:58:51 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 05:01:07 | → | Vajb joins (~Vajb@2001:999:404:9516:d621:6cbe:c71e:5686) |
| 05:02:26 | × | ft quits (~ft@p4fc2a257.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 05:03:44 | → | ft joins (~ft@p508dbcc4.dip0.t-ipconnect.de) |
| 05:04:14 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:17:37 | × | laalyn quits (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) (Quit: Client closed) |
| 05:24:29 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 05:26:00 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 05:28:51 | × | johnw quits (~johnw@2600:1700:cf00:db0:f5ae:ed45:6e33:9a11) (Ping timeout: 252 seconds) |
| 05:28:55 | → | johnw_ joins (~johnw@2600:1700:cf00:db0:dd46:a945:291e:feb9) |
| 05:29:44 | × | johnw_ quits (~johnw@2600:1700:cf00:db0:dd46:a945:291e:feb9) (Client Quit) |
| 05:29:48 | → | nattiestnate joins (~nate@202.138.250.11) |
| 05:34:46 | × | L29Ah[x] quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 05:36:02 | → | kassouni joins (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) |
| 05:37:24 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 05:37:34 | → | tjnhxmzhmqgytuwt joins (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 05:52:26 | → | titibandit1 joins (~titibandi@xdsl-89-0-159-198.nc.de) |
| 06:02:29 | → | johnw joins (~johnw@2600:1700:cf00:db0:6c1f:968f:ea89:5c51) |
| 06:03:41 | → | _leo___ joins (~emmanuelu@user/emmanuelux) |
| 06:06:37 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 06:10:53 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 06:13:46 | → | bgs joins (~bgs@212-85-160-171.dynamic.telemach.net) |
| 06:33:24 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:41:06 | × | asscrackbandit quits (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) (Ping timeout: 268 seconds) |
| 06:42:50 | → | falafel joins (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) |
| 06:44:31 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 06:45:27 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 06:47:31 | → | freeside joins (~mengwong@122.11.248.245) |
| 06:47:39 | → | Guest75 joins (~Guest75@178.141.147.162) |
| 06:52:54 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 06:53:37 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 07:05:39 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:09:05 | → | Guest1 joins (~Guest1@143.231.7.51.dyn.plus.net) |
| 07:09:32 | → | mitchpk joins (~mitchpk@175.45.149.48) |
| 07:09:32 | × | mitchpk quits (~mitchpk@175.45.149.48) (Remote host closed the connection) |
| 07:09:57 | → | mitchpk joins (~mitchpk@175.45.149.48) |
| 07:09:57 | × | mitchpk quits (~mitchpk@175.45.149.48) (Remote host closed the connection) |
| 07:11:01 | × | Guest1 quits (~Guest1@143.231.7.51.dyn.plus.net) (Client Quit) |
| 07:12:31 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 07:15:15 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:16:27 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 07:19:57 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 07:20:44 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 07:26:18 | × | kassouni quits (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 07:26:49 | → | kassouni joins (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) |
| 07:35:29 | → | tengu1 joins (~tengu1@cpe-70-121-244-14.neb.res.rr.com) |
| 07:42:07 | → | kenran joins (~user@user/kenran) |
| 07:45:06 | × | bob quits (~bob22@user/bob) (Ping timeout: 265 seconds) |
| 07:45:22 | → | bob joins (~bob22@76.202.115.164) |
| 07:45:42 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:46:11 | × | Unhammer quits (~Unhammer@user/unhammer) (Ping timeout: 256 seconds) |
| 07:49:29 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:55:23 | × | falafel quits (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) (Ping timeout: 248 seconds) |
| 07:59:21 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 08:21:02 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 08:21:51 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:e5a6:1cca:cd92:c20) (Remote host closed the connection) |
| 08:30:12 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) |
| 08:31:08 | × | Xeroine quits (~Xeroine@user/xeroine) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 08:32:27 | → | Xeroine joins (~Xeroine@user/xeroine) |
| 08:32:32 | → | MajorBiscuit joins (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) |
| 08:36:13 | → | lottaquestions_ joins (~nick@104.221.24.83) |
| 08:38:09 | × | lottaquestions quits (~nick@104.221.24.83) (Ping timeout: 260 seconds) |
| 08:39:46 | → | nschoe joins (~q@141.101.51.197) |
| 08:40:14 | × | lottaquestions_ quits (~nick@104.221.24.83) (Read error: Connection reset by peer) |
| 08:40:39 | → | lottaquestions_ joins (~nick@2607:fa49:503e:7100:97f3:c391:158c:f98a) |
| 08:45:12 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:46:17 | → | avicenzi joins (~avicenzi@2a00:ca8:a1f:b004::c32) |
| 08:50:18 | × | kenran quits (~user@user/kenran) (Remote host closed the connection) |
| 08:53:23 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:54:47 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 09:00:09 | × | dgpratt[m] quits (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: You have been kicked for being idle) |
| 09:00:11 | × | kjlid[m] quits (~kjlidmatr@2001:470:69fc:105::2:c193) (Quit: You have been kicked for being idle) |
| 09:00:29 | → | michalz joins (~michalz@185.246.207.203) |
| 09:00:46 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 09:06:00 | × | ft quits (~ft@p508dbcc4.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:06:23 | → | akegalj joins (~akegalj@78-1-188-222.adsl.net.t-com.hr) |
| 09:07:28 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 09:12:08 | → | alex` joins (~user@97.red-83-36-47.dynamicip.rima-tde.net) |
| 09:12:44 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:13:54 | → | CiaoSen joins (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 09:13:57 | → | shapr joins (~user@net-5-88-238-17.cust.vodafonedsl.it) |
| 09:15:43 | × | sefidel quits (~sefidel@user/sefidel) (Remote host closed the connection) |
| 09:15:48 | → | kuribas joins (~user@ptr-17d51enmk1i23ub9qbg.18120a2.ip6.access.telenet.be) |
| 09:16:48 | × | turlando quits (~turlando@user/turlando) (Ping timeout: 248 seconds) |
| 09:17:53 | → | sefidel joins (~sefidel@user/sefidel) |
| 09:18:08 | → | chele joins (~chele@user/chele) |
| 09:19:01 | → | shriekingnoise_ joins (~shrieking@186.137.175.87) |
| 09:22:03 | × | shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 09:22:20 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 09:24:59 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 09:26:47 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Ping timeout: 260 seconds) |
| 09:27:02 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 09:28:02 | → | freeside joins (~mengwong@122.11.248.245) |
| 09:31:23 | × | CiaoSen quits (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 09:32:23 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 260 seconds) |
| 09:36:35 | × | ubert quits (~Thunderbi@p200300ecdf13014baa7aa80fc49c1df5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 09:36:35 | 068AAD9K6 | is now known as ubert |
| 09:36:37 | → | freeside joins (~mengwong@122.11.248.245) |
| 09:37:27 | → | asscrackbandit joins (~user@eth-west-pareq2-46-193-2-167.wb.wifirst.net) |
| 09:41:02 | × | titibandit1 quits (~titibandi@xdsl-89-0-159-198.nc.de) (Remote host closed the connection) |
| 09:41:31 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 09:43:10 | × | shapr quits (~user@net-5-88-238-17.cust.vodafonedsl.it) (Remote host closed the connection) |
| 09:44:37 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 09:45:01 | × | ubert quits (~Thunderbi@p548c8ef0.dip0.t-ipconnect.de) (Quit: ubert) |
| 09:55:30 | → | califax_ joins (~califax@user/califx) |
| 09:56:17 | × | califax quits (~califax@user/califx) (Ping timeout: 255 seconds) |
| 09:56:32 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:56:48 | califax_ | is now known as califax |
| 10:03:55 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 248 seconds) |
| 10:06:14 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 10:06:23 | × | kassouni quits (~kassouni@2601:646:400:68b0:9881:5f59:b8c1:c489) (Ping timeout: 248 seconds) |
| 10:08:26 | → | ubert joins (~Thunderbi@2a02:8109:abc0:6434:7653:d2a8:7ae2:7e4) |
| 10:11:19 | × | shachaf quits (~shachaf@user/shachaf) (Read error: Connection reset by peer) |
| 10:14:00 | → | patrl joins (~patrl@user/patrl) |
| 10:15:56 | → | shachaf joins (~shachaf@user/shachaf) |
| 10:16:24 | → | troydm joins (~troydm@user/troydm) |
| 10:21:42 | × | xstill_ quits (xstill@fimu/xstill) (Ping timeout: 265 seconds) |
| 10:21:42 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Ping timeout: 265 seconds) |
| 10:23:44 | <fr33domlover> | o/ Survey about conflicts in the Free Software community, exploring if/how/where there's room to improve: https://discuss.coding.social/t/how-do-we-attend-to-conflicts-in-the-free-software-community/249 It's not Haskell specific but I'm a Haskeller so it feels natural to post it here ^_^ hoping it's not too off-topic |
| 10:24:02 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 10:24:11 | × | shriekingnoise_ quits (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 10:24:25 | → | xstill_ joins (xstill@fimu/xstill) |
| 10:28:22 | → | freeside joins (~mengwong@122.11.248.245) |
| 10:29:55 | <mauke> | is that Discourse? |
| 10:32:43 | × | freeside quits (~mengwong@122.11.248.245) (Ping timeout: 248 seconds) |
| 10:32:53 | <jonathanx> | Is there an existing monoid wrapper for Maybe where "Just a <> Nothing = Nothing" and "mempty = Just mempty" |
| 10:33:07 | <jonathanx> | *? |
| 10:34:53 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 10:35:11 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 10:35:23 | × | xstill_ quits (xstill@fimu/xstill) (Ping timeout: 248 seconds) |
| 10:36:03 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Ping timeout: 268 seconds) |
| 10:36:23 | <dminuoso> | That seems not lawful |
| 10:36:51 | <dminuoso> | Just a <> mempty != Just a |
| 10:37:25 | <dminuoso> | Monoid would demand that `a <> mempty === a` and `mempty <> a === a` |
| 10:38:02 | <int-e> | > (mempty <> Ap Nothing, mempty :: Ap Maybe ()) |
| 10:38:04 | <lambdabot> | (Ap {getAp = Nothing},Ap {getAp = Just ()}) |
| 10:38:10 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 10:38:51 | → | xstill_ joins (xstill@fimu/xstill) |
| 10:39:13 | → | beteigeuze joins (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) |
| 10:39:48 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 10:40:40 | <int-e> | dminuoso: note that the wrapped value implements Monoid (otherwise you wouldn't get `Just mempty`) |
| 10:41:02 | <dminuoso> | int-e: I noticed |
| 10:41:08 | <int-e> | `Ap` does `Ap x <> Ap y = Ap $ liftA2 (<>) x y` |
| 10:41:24 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 10:41:45 | <int-e> | So you get the x <> mempty = x law from the inner monoid. |
| 10:42:17 | <int-e> | (It also does `mempty = Ap (pure mempty)`) |
| 10:42:17 | <dminuoso> | Oh wow. |
| 10:42:21 | <dminuoso> | My brain must have played a trick on me |
| 10:42:33 | <dminuoso> | I distinctively read `Just a <> mempty = Nothing` over and over aagain. |
| 10:47:25 | → | codaraxis__ joins (~codaraxis@user/codaraxis) |
| 10:49:10 | × | codaraxis quits (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 10:50:52 | → | __monty__ joins (~toonn@user/toonn) |
| 10:52:01 | → | xff0x joins (~xff0x@ai081074.d.east.v6connect.net) |
| 10:54:02 | → | pavonia joins (~user@user/siracusa) |
| 11:01:38 | → | andrewboltachev joins (~andrey@178.141.147.162) |
| 11:02:47 | × | andrewboltachev quits (~andrey@178.141.147.162) (Client Quit) |
| 11:03:15 | × | akegalj quits (~akegalj@78-1-188-222.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 11:03:33 | → | andrewboltachev joins (~andrey@178.141.147.162) |
| 11:05:35 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 255 seconds) |
| 11:06:31 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 11:06:33 | × | tengu1 quits (~tengu1@cpe-70-121-244-14.neb.res.rr.com) (Quit: Client closed) |
| 11:07:47 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 11:08:08 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 11:08:11 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 11:08:41 | × | Guest75 quits (~Guest75@178.141.147.162) (Quit: Client closed) |
| 11:08:53 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 11:10:25 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 11:11:16 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 11:12:20 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds) |
| 11:14:14 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 11:14:43 | × | koz quits (~koz@121.99.240.58) (Ping timeout: 256 seconds) |
| 11:20:40 | × | nschoe quits (~q@141.101.51.197) (Ping timeout: 265 seconds) |
| 11:23:44 | → | koz joins (~koz@121.99.240.58) |
| 11:27:03 | → | akegalj joins (~akegalj@78-1-188-222.adsl.net.t-com.hr) |
| 11:36:53 | <chreekat> | What is a hie.yaml? |
| 11:37:32 | <chreekat> | <mauke> "is that Discourse?" <- it's *a* discourse |
| 11:39:18 | <dminuoso> | chreekat: See https://github.com/haskell/hie-bios |
| 11:39:24 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 11:39:25 | <chreekat> | oops, thought i was on the Matrix-native channel, i hope that 'reply' didn't come out looking terrible |
| 11:39:38 | <dminuoso> | chreekat: it looks fine. |
| 11:40:02 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 11:40:04 | × | tjnhxmzhmqgytuwt quits (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Reconnecting) |
| 11:40:16 | → | tjnhxmzhmqgytuwt joins (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 11:41:21 | <chreekat> | thanks |
| 11:41:26 | <chreekat> | is "cradle" defined anywhere? |
| 11:41:37 | <dminuoso> | What do you mean by "defined"? |
| 11:41:56 | <chreekat> | I think it's used in a few places (not just hie-bios) but I've never really had to use the term |
| 11:42:25 | <chreekat> | why is the config file entry "cradle". What is the word supposed to invoke in my brain |
| 11:42:45 | <chreekat> | afaik it's a thing for babies |
| 11:44:13 | <dminuoso> | You will have to ask Alan Zimmermann |
| 11:46:01 | <dminuoso> | chreekat: As for a formal definition see https://github.com/haskell/hie-bios/blob/master/src/HIE/Bios/Types.hs#L23-L31 |
| 11:47:24 | <dminuoso> | The data type definition is even more telling |
| 11:47:33 | <chreekat> | indeed |
| 11:48:06 | <chreekat> | On a hunch, I looked it up, and sure enough Gradle is supposed to sound like 'Cradle'. Maybe the sense-meaning is something like "the thing in which your project rests" |
| 11:48:42 | × | ham quits (~ham@user/ham) (Read error: Connection reset by peer) |
| 11:49:20 | <dminuoso> | Haskellers can never be satisfied. Pick a concrete suggestive name like Cradle, people will try to find meaning. Pick a completely vague name like Monad, people will be confused from its vagueness. |
| 11:53:46 | × | tjnhxmzhmqgytuwt quits (~tjnhxmzhm@2001:470:69fc:105::3:70e) (Quit: Reconnecting) |
| 11:53:59 | → | tjnhxmzhmqgytuwt joins (~tjnhxmzhm@2001:470:69fc:105::3:70e) |
| 11:56:12 | <chreekat> | seems like the same problem :) |
| 11:56:35 | <chreekat> | Solved by a one-sentence "I chose this name because ..." |
| 12:00:17 | → | trev joins (~trev@user/trev) |
| 12:03:36 | <dminuoso> | "I chose the name Monad because all things told, this typeclass represents a particular selection of monoids in the monoidal category of endofunctors" |
| 12:07:20 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 12:08:27 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 12:09:13 | <fendor[m]> | I think the name cradle is much older and has been used by ghc-mod before, see for example: https://github.com/alanz/ghc-mod/pull/14#issuecomment-433754319 |
| 12:09:20 | → | Guest75 joins (~Guest75@178.141.147.162) |
| 12:09:25 | × | Guest75 quits (~Guest75@178.141.147.162) (Client Quit) |
| 12:09:28 | <fendor[m]> | > the "Cradle" we call it for hysterical reasons |
| 12:09:31 | <lambdabot> | error: |
| 12:09:31 | <lambdabot> | Variable not in scope: |
| 12:09:31 | <lambdabot> | the |
| 12:10:26 | <dminuoso> | Ah good catch. Kazu Yamamoto came up with it |
| 12:11:17 | <fendor[m]> | I think the comment describing what a cradle is in hie-bios is wrong. It is not a build unit, we don't have two different cradles for tests and libraries, the comment should be updated to rather reflect that cradle described how to load to parts of your project, or something like that. |
| 12:11:27 | <dminuoso> | https://github.com/DanielG/ghc-mod/commit/a393f8a971fba99bc9661df5e7d8b71dfa6d6447 |
| 12:12:54 | <fendor[m]> | I almost can't believe hie-bios is already 4 years old |
| 12:14:15 | × | alex` quits (~user@97.red-83-36-47.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 12:14:32 | → | aljer joins (~jonathon@2601:5c1:4503:8da0:7130:73a8:a627:b376) |
| 12:26:35 | × | biberu quits (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 12:28:58 | × | aljer quits (~jonathon@2601:5c1:4503:8da0:7130:73a8:a627:b376) (Quit: WeeChat 3.8) |
| 12:30:40 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 12:31:22 | → | biberu joins (~biberu@user/biberu) |
| 12:32:01 | → | gaff joins (~gaff@49.207.201.143) |
| 12:32:23 | → | nschoe joins (~q@141.101.51.197) |
| 12:35:58 | × | use-value quits (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Remote host closed the connection) |
| 12:36:17 | → | use-value joins (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 12:37:34 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 12:42:03 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 12:43:05 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 12:47:35 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 260 seconds) |
| 12:48:47 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:49:40 | → | mechap joins (~mechap@user/mechap) |
| 12:54:43 | × | nehsou^ quits (~nehsou@c-24-30-76-89.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 12:55:52 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 12:56:40 | → | cheater joins (~Username@user/cheater) |
| 12:58:40 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 13:02:32 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:02:47 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 13:05:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:07:15 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 13:07:47 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 13:10:08 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 13:12:26 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 13:12:47 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 13:13:35 | <dminuoso> | Mmm. Building static binaries with haskell.nix works out of the box too. |
| 13:13:42 | <dminuoso> | This is getting quite comfortable. |
| 13:14:39 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 13:16:38 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 13:16:59 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 13:17:55 | × | johnjaye quits (~pi@173.209.64.74) (Ping timeout: 260 seconds) |
| 13:18:20 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 13:18:46 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 13:19:40 | → | jero98772 joins (~jero98772@2800:484:1d80:d8ce:9815:cfda:3661:17bb) |
| 13:19:51 | → | johnjaye joins (~pi@173.209.64.74) |
| 13:21:04 | × | Hammdist quits (~Hammdist@67.169.114.135) (Quit: Client closed) |
| 13:30:39 | → | cfricke joins (~cfricke@user/cfricke) |
| 13:35:25 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 13:39:24 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 13:43:39 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Read error: Connection reset by peer) |
| 13:45:56 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 13:46:15 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Client Quit) |
| 13:46:22 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 13:46:43 | × | gaff quits (~gaff@49.207.201.143) () |
| 13:46:44 | × | michalz quits (~michalz@185.246.207.203) (Ping timeout: 260 seconds) |
| 13:46:55 | → | michalz joins (~michalz@185.246.204.125) |
| 13:48:00 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 13:49:07 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 13:50:34 | × | michalz quits (~michalz@185.246.204.125) (Remote host closed the connection) |
| 13:50:56 | → | michalz joins (~michalz@185.246.204.109) |
| 13:50:56 | <pierrot> | Hello. I have the following question: I've installed xmonad (the windows tiling manager) using my package manager in Debian (`sudo apt install xmonad`) and that obviously installed ghc as a dependency. Now I've decided to install ghcup and I've installed the latest compiler with it: `ghcup install ghc 9.4.4`. I want to set this version as default: `ghcup set ghc 9.4.4` but it get: |
| 13:51:20 | <pierrot> | [GHCup-00330] ghc is shadowed by /usr/bin/ghc. The upgrade will not be in effect, unless you remove /usr/bin/ghc or make sure /home/pierrot/.ghcup/bin comes before /usr/bin in PATH. |
| 13:51:28 | × | oldfashionedrat quits (~Rahul_San@user/oldfashionedcow) (Ping timeout: 248 seconds) |
| 13:51:47 | <pierrot> | I don't want to remove my system ghc to not break xmonad or other software |
| 13:53:16 | <merijn> | pierrot: Then you should update your PATH? :) |
| 13:55:11 | → | zeenk joins (~zeenk@2a02:2f04:a214:1e00::7fe) |
| 13:55:25 | <pierrot> | merijn: Yes. What's the best way of doing it? How can I make sure /home/pierrot/.ghcup/bin comes before /usr/bin in PATH? Because when installing ghcup that already added some lines to my .bashrc... |
| 13:56:29 | <merijn> | pierrot: PATH is just a string variable of directions, usually set from either .bashrc, .profile, or .bash_profile, so you just gotta edit the definition of PATH in there to put the .ghcup/bin directory first |
| 13:57:15 | <maerwald> | pierrot: how do you compile xmonad? |
| 13:57:49 | <pierrot> | maerwald: with `xmonad --recompile`. I guess that would use the system ghc by default |
| 13:57:53 | <pierrot> | merijn: I'll see |
| 13:59:44 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 14:00:12 | <maerwald> | pierrot: ghcup run --ghc 9.4.4 -- xmonad --recompile |
| 14:01:05 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:02:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 14:02:55 | <pierrot> | maerwald: Thanks |
| 14:10:40 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) (Quit: WeeChat 2.8) |
| 14:12:05 | × | jmd_ quits (~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds) |
| 14:21:07 | → | kurbus joins (~kurbus@user/kurbus) |
| 14:26:18 | → | Henson joins (~kvirc@207.136.101.195) |
| 14:26:50 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 14:30:08 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 14:31:28 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Ping timeout: 248 seconds) |
| 14:35:07 | → | freeside joins (~mengwong@103.252.202.170) |
| 14:50:12 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 14:50:12 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 14:50:12 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:50:50 | <azure_vermilion> | who invented monads, in the Haskell sense? |
| 14:51:48 | <Hecate> | I believe Moggi has a foundational responsibility? |
| 14:51:58 | <maerwald> | I don't know, maybe https://jgbm.github.io/eecs762f19/papers/wadler-monads.pdf has some references? |
| 14:52:02 | <Hecate> | but perhaps it is too early? |
| 14:52:46 | <maerwald> | yeah, it references Moggi too |
| 14:52:56 | <maerwald> | "Computational lambda-calculus and monads" |
| 15:03:39 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 15:05:15 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 15:09:47 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:345:11b6:f068:ad9f) (Quit: Leaving) |
| 15:10:18 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 15:10:30 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 15:13:39 | × | bhall quits (~brunohall@195.147.207.136) (Ping timeout: 260 seconds) |
| 15:13:55 | × | mechap quits (~mechap@user/mechap) (Quit: WeeChat 3.8) |
| 15:15:10 | → | mechap joins (~mechap@user/mechap) |
| 15:15:34 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 15:15:49 | × | mechap quits (~mechap@user/mechap) (Client Quit) |
| 15:16:12 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 15:16:38 | → | oldfashionedcow joins (~Rahul_San@user/oldfashionedcow) |
| 15:18:50 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Quit: Reconnecting) |
| 15:18:57 | → | merijn joins (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) |
| 15:20:06 | → | dolio joins (~dolio@130.44.134.54) |
| 15:20:40 | × | codolio quits (~dolio@130.44.134.54) (Read error: Connection reset by peer) |
| 15:22:16 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 15:29:44 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 15:31:14 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:34:09 | → | img joins (~img@user/img) |
| 15:34:51 | <lyxia> | Moggi -> Monads in programming language theory ; Wadler -> Monads in practice |
| 15:35:34 | × | akegalj quits (~akegalj@78-1-188-222.adsl.net.t-com.hr) (Quit: leaving) |
| 15:35:59 | <Hecate> | thanks lyxia |
| 15:38:07 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 15:39:30 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 15:41:48 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 15:46:36 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 15:48:19 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:49:12 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 15:50:20 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 15:50:47 | → | kurbus joins (~kurbus@user/kurbus) |
| 15:54:37 | → | kjak joins (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 15:56:27 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 15:58:25 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 16:00:39 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 16:01:56 | → | cheater joins (~Username@user/cheater) |
| 16:07:39 | → | bodisiw joins (~bodiskw@128.163.238.78) |
| 16:08:42 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 16:14:35 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 248 seconds) |
| 16:14:56 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 16:16:00 | → | shriekingnoise joins (~shrieking@186.137.175.87) |
| 16:22:55 | → | freeside joins (~mengwong@103.252.202.170) |
| 16:25:33 | × | merijn quits (~merijn@c-001-001-010.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 16:27:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:34:43 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 16:34:58 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) |
| 16:35:29 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 16:37:40 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:38:00 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 16:38:57 | → | Guest3773 joins (~Guest37@ip1f13ab93.dynamic.kabel-deutschland.de) |
| 16:41:47 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 16:44:18 | → | Karan joins (~Karan@103.7.128.210) |
| 16:45:18 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 16:46:47 | <Karan> | Karan 22:14:59 |
| 16:46:47 | <Karan> | Hello! I'm interested in being a part of this community! Could you guys point me to some resources? |
| 16:47:25 | <Karan> | Resources for contributing |
| 16:47:32 | <geekosaur> | depends on how you want to be part of the community. many open source projects have contributing pages |
| 16:48:43 | <geekosaur> | https://hledger.org/dev.html https://pandoc.org/CONTRIBUTING.html https://hackage.haskell.org/package/xmonad-contrib-0.17.1/docs/XMonad-Doc-Developing.html among others |
| 16:49:31 | <Karan> | I'm looking to contribute to haskell's code and learn more about functional programming languages while I'm at it |
| 16:49:51 | <Karan> | I'm also interested in Type Theory, so learning more about that during this process will also be cool |
| 16:50:25 | <geekosaur> | https://www.haskell.org/community/ more generally |
| 16:50:27 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 16:50:33 | <Karan> | Thank you! |
| 16:51:12 | <geekosaur> | for references about ghc there's https://gitlab.haskell.org/ghc/ghc/-/wikis/contributing#newcomers-to-ghc |
| 16:51:44 | × | bodisiw quits (~bodiskw@128.163.238.78) (Quit: Leaving) |
| 16:53:22 | <lyxia> | Any idea why my CI fails to build linear-base with GHC 9.6 alpha2 even though it builds fine on my machine? https://github.com/Lysxia/generic-data/actions/runs/4115776010/jobs/7104945916 |
| 16:57:07 | → | gnalzo joins (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 17:03:25 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:05:42 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:e9c6:a82c:4606:2df7) (Quit: WeeChat 2.8) |
| 17:05:56 | × | Karan quits (~Karan@103.7.128.210) (Quit: Client closed) |
| 17:07:21 | × | Alex_test quits (~al_test@178.34.160.79) (Quit: ;-) |
| 17:07:49 | × | AlexZenon quits (~alzenon@178.34.160.79) (Quit: ;-) |
| 17:07:55 | × | AlexNoo quits (~AlexNoo@178.34.160.79) (Quit: Leaving) |
| 17:08:21 | × | ubert quits (~Thunderbi@2a02:8109:abc0:6434:7653:d2a8:7ae2:7e4) (Remote host closed the connection) |
| 17:08:22 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 17:08:48 | × | kuribas quits (~user@ptr-17d51enmk1i23ub9qbg.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 17:09:39 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 17:09:55 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 17:10:07 | <lyxia> | nvm my mistake, it does fail |
| 17:10:39 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 17:11:08 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:3fb2:cb97:fb63:eb16) |
| 17:11:29 | → | slack1256 joins (~slack1256@186.11.104.104) |
| 17:12:02 | <slack1256> | I remember there was a hackage.next for backpack signatures and impls. Was that merged on standard hackage? |
| 17:15:11 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 17:16:27 | × | avicenzi quits (~avicenzi@2a00:ca8:a1f:b004::c32) (Ping timeout: 248 seconds) |
| 17:17:40 | × | Guest3773 quits (~Guest37@ip1f13ab93.dynamic.kabel-deutschland.de) (Quit: Client closed) |
| 17:18:01 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:22:38 | → | AlexZenon joins (~alzenon@178.34.160.79) |
| 17:22:41 | → | AlexNoo joins (~AlexNoo@178.34.160.79) |
| 17:23:18 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 17:24:57 | → | Alex_test joins (~al_test@178.34.160.79) |
| 17:25:40 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 17:38:13 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 17:39:09 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 17:43:47 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 17:43:48 | → | titibandit1 joins (~titibandi@xdsl-89-0-159-198.nc.de) |
| 17:44:01 | × | oldfashionedcow quits (~Rahul_San@user/oldfashionedcow) (Ping timeout: 252 seconds) |
| 17:44:55 | → | freeside joins (~mengwong@103.252.202.170) |
| 17:46:53 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:47:40 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 17:47:52 | → | kurbus joins (~kurbus@user/kurbus) |
| 17:53:29 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 17:54:34 | → | freeside joins (~mengwong@103.252.202.170) |
| 18:02:10 | Player205[m] | is now known as aRabbit[m] |
| 18:02:52 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:05:19 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 18:05:42 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 18:06:18 | → | Midjak joins (~Midjak@82.66.147.146) |
| 18:07:22 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 18:09:55 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 18:10:12 | × | nschoe quits (~q@141.101.51.197) (Quit: Switching off) |
| 18:11:18 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:14:01 | → | CiaoSen joins (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 18:19:01 | → | freeside joins (~mengwong@103.252.202.170) |
| 18:19:17 | → | Inst__ joins (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 18:22:35 | × | Inst_ quits (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 252 seconds) |
| 18:22:59 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 18:24:41 | → | cheater_ joins (~Username@user/cheater) |
| 18:25:59 | aRabbit[m] | is now known as aaRabbit[m] |
| 18:27:05 | × | cheater quits (~Username@user/cheater) (Ping timeout: 260 seconds) |
| 18:27:06 | cheater_ | is now known as cheater |
| 18:27:24 | × | kjak quits (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 18:29:36 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 18:31:08 | → | mechap joins (~mechap@user/mechap) |
| 18:31:41 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds) |
| 18:35:43 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 18:36:38 | × | beteigeuze quits (~Thunderbi@a79-169-109-107.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 18:37:01 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:37:34 | → | econo joins (uid147250@user/econo) |
| 18:38:50 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 18:40:32 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 18:40:43 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:3fb2:cb97:fb63:eb16) (Ping timeout: 248 seconds) |
| 18:41:14 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 18:41:59 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 18:42:29 | × | ddellacosta quits (~ddellacos@143.244.47.74) (Ping timeout: 260 seconds) |
| 18:44:53 | → | ft joins (~ft@p508dbcc4.dip0.t-ipconnect.de) |
| 18:54:58 | × | zeenk quits (~zeenk@2a02:2f04:a214:1e00::7fe) (Quit: Konversation terminated!) |
| 18:57:00 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 18:58:06 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 19:01:39 | → | falafel joins (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) |
| 19:01:45 | × | codaraxis__ quits (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 19:03:51 | × | andrewboltachev quits (~andrey@178.141.147.162) (Quit: Leaving.) |
| 19:04:07 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 19:04:08 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 19:04:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:06:14 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 19:07:18 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 19:09:42 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 19:10:32 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 19:12:02 | → | mei joins (~mei@user/mei) |
| 19:16:15 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 19:18:40 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 19:20:16 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 19:20:27 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 19:22:09 | × | _leo___ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 19:22:53 | × | MajorBiscuit quits (~MajorBisc@2001:1c00:2408:a400:67e:5371:52a7:9b9a) (Ping timeout: 246 seconds) |
| 19:23:17 | → | Guest3763 joins (~Guest37@2804:d55:4461:d800:70a0:6394:b2c4:9b3) |
| 19:23:31 | → | freeside joins (~mengwong@103.252.202.170) |
| 19:28:09 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 19:28:44 | × | trev quits (~trev@user/trev) (Remote host closed the connection) |
| 19:32:32 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 19:37:47 | × | Guest3763 quits (~Guest37@2804:d55:4461:d800:70a0:6394:b2c4:9b3) (Quit: Client closed) |
| 19:39:31 | × | ozkutuk53 quits (~ozkutuk@176.240.174.60) (Ping timeout: 252 seconds) |
| 19:40:58 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 19:44:14 | × | inversed quits (~inversed@bcdcac82.skybroadband.com) (Ping timeout: 246 seconds) |
| 19:47:32 | → | inversed joins (~inversed@bcdcac82.skybroadband.com) |
| 19:54:40 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 19:55:45 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 260 seconds) |
| 19:57:04 | → | eggplantade joins (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 20:01:50 | → | freeside joins (~mengwong@103.252.202.170) |
| 20:03:02 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 20:08:14 | → | Tuplanolla joins (~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) |
| 20:08:15 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 20:08:35 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:eb12:3772:bcfb:8fa7) |
| 20:09:15 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 20:10:44 | × | eggplantade quits (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:15:51 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 20:17:48 | × | remedan quits (~remedan@ip-94-112-0-18.bb.vodafone.cz) (Quit: Bye!) |
| 20:19:02 | → | bhall joins (~brunohall@195.147.207.136) |
| 20:21:11 | × | Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!) |
| 20:21:21 | × | irrgit_ quits (~irrgit@89.47.234.74) (Remote host closed the connection) |
| 20:21:57 | → | irrgit_ joins (~irrgit@146.70.27.242) |
| 20:23:41 | → | Hobbyboy joins (Hobbyboy@hobbyboy.co.uk) |
| 20:24:25 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:eb12:3772:bcfb:8fa7) (Ping timeout: 265 seconds) |
| 20:25:16 | → | remedan joins (~remedan@ip-94-112-0-18.bb.vodafone.cz) |
| 20:26:39 | → | coot joins (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 20:27:08 | × | titibandit1 quits (~titibandi@xdsl-89-0-159-198.nc.de) (Quit: Leaving.) |
| 20:27:26 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 20:30:49 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Remote host closed the connection) |
| 20:32:32 | <c_wraith> | I just got curious and decided to take a look at the documented laws for MonadIO. I'm amused because there's still a central assumption they're missing: that the IO actions aren't just thrown out immediately. |
| 20:32:48 | <c_wraith> | Proxy could be an instance of MonadIO that satisfies the current laws |
| 20:33:32 | <c_wraith> | To be fair, I have *no* idea how you'd even express the missing constraint, though |
| 20:37:21 | → | lechner joins (~lechner@debian/lechner) |
| 20:38:22 | <lechner> | Hi, is 'cabal init' in v3.2 supposed to ask some simple questions to create a sample configuration? |
| 20:38:51 | <sclv> | in a few versions the "interactive" flag was off by default and you needed to pass it explicitly |
| 20:38:56 | <sclv> | i forget which was which |
| 20:39:01 | <c_wraith> | 3.2 is also pretty old now |
| 20:39:02 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 20:39:21 | <lechner> | i know. that's the one i get with Guix |
| 20:39:23 | <sclv> | 3.6 turned the interactive flag back on, thankfully, and to popular acclaim! |
| 20:39:43 | <lechner> | anyway, i am happy to be back here! |
| 20:40:47 | → | opticblast joins (~Thunderbi@172.58.85.230) |
| 20:42:43 | → | kurbus joins (~kurbus@user/kurbus) |
| 20:42:44 | <lechner> | wow, they are working on 3.10 ! |
| 20:44:34 | <lechner> | okay, so --interactive is not doing anything. was the option turned off to "no" or disabled entirely? |
| 20:46:26 | → | kurbus41 joins (~kurbus@user/kurbus) |
| 20:47:01 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 20:47:02 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 20:47:12 | kurbus | is now known as Guest192 |
| 20:47:12 | kurbus41 | is now known as kurbus |
| 20:48:43 | × | Guest192 quits (~kurbus@user/kurbus) (Ping timeout: 260 seconds) |
| 20:48:45 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:cde7:86e6:74be:4be3) |
| 20:49:21 | → | mei joins (~mei@user/mei) |
| 20:50:05 | <sclv> | it was just flipped |
| 20:50:30 | <sclv> | `cabal init --help` should show you the options, but also yeah you might just want to upgrade your cabal past what guix offers -- its easy, and gives you a much better experience |
| 20:50:50 | <lechner> | thanks! i just copied one of my old files. it's amazing how much has happened in the year i was gone |
| 20:54:15 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:55:48 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 20:58:31 | × | coot quits (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 21:01:21 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 21:04:51 | × | bgs quits (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 21:05:38 | × | kurbus quits (~kurbus@user/kurbus) (Ping timeout: 260 seconds) |
| 21:11:10 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 21:11:19 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:12:23 | → | notzmv joins (~zmv@user/notzmv) |
| 21:12:56 | → | freeside joins (~mengwong@103.252.202.170) |
| 21:14:14 | → | ddellacosta joins (~ddellacos@143.244.47.74) |
| 21:16:59 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 21:17:07 | <sm> | welcome back lechner |
| 21:17:17 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 21:18:15 | <c_wraith> | I may have been here for too long, if I don't even notice someone's been gone for a year when they come back |
| 21:18:29 | <c_wraith> | a year? two weeks? they're basically the same! |
| 21:18:39 | <sm> | heh |
| 21:19:10 | <sm> | we are like neal stephenson's anathem monks |
| 21:19:24 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:19:54 | <lechner> | this channel was always my favorite---a high level of proficiency combined with a high level of kindness. truly a rare find |
| 21:20:32 | <lechner> | in two other places I was told not to use the words "please" and "thank you" |
| 21:21:17 | <c_wraith> | ah. stackoverflow rules. |
| 21:21:56 | <AndreasK> | What if someone says "please don't say thank you" |
| 21:22:12 | <darkling> | I think an asteroid drops on them. |
| 21:22:33 | <lechner> | actually, the "please" was in #emacs just a few days ago. the "thank you" was based on private messages at a well-known Linux distribution |
| 21:22:35 | <geekosaur> | or just a mass of kids with no social skills |
| 21:22:57 | <lechner> | and these folks were not kids, i don't think |
| 21:23:13 | × | jespada quits (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Remote host closed the connection) |
| 21:23:15 | <lechner> | but anyway, i did not come here to complain |
| 21:23:23 | <lechner> | like i said, great channel! |
| 21:23:25 | <darkling> | If it looks like a duckling and quacks like a duckling... :) |
| 21:23:58 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 21:30:37 | × | CiaoSen quits (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:31:12 | × | slack1256 quits (~slack1256@186.11.104.104) (Ping timeout: 248 seconds) |
| 21:31:18 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) |
| 21:32:22 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 21:35:56 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:f849:6b89:c0b7:d8b5) (Ping timeout: 255 seconds) |
| 21:36:27 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 21:37:31 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 21:39:35 | <lechner> | Hi, are modern versions of Cabal still incompatible with GHC_PACKAGE_PATH? |
| 21:39:57 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 21:43:03 | <c_wraith> | as a concept, it doesn't really make that much sense with the way all the cabal v2 commands (now the defaults) work |
| 21:43:33 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 21:43:55 | <sm> | on another note: |
| 21:43:55 | <sm> | The first Haskell Tiny Game Jam is now open! Your mission: make Haskell games in 10 lines. https://github.com/haskell-game/tiny-games-hs and #haskell-game await your entries. |
| 21:43:58 | <c_wraith> | which is to say "I don't know", but also to point out that it matters less than it used to |
| 21:44:10 | <lechner> | well, it's not me. i switched to Guix and that's what they use. |
| 21:44:14 | <c_wraith> | sm: what's the time limit? |
| 21:44:38 | <geekosaur> | I don't see the error message in `strings` any more, but I'm running a 3.10 prerelease |
| 21:44:42 | <c_wraith> | ah. end of the month. |
| 21:44:46 | <sm> | this first round lasts till end of February. |
| 21:45:31 | <lechner> | Hi, is 'cabal install cabal-install' a reasonable attempt to upgrade Cabal? |
| 21:45:37 | <geekosaur> | still, I agree with c_wraith: it's fundamentally incompatible with cabal managing visibility of libraries |
| 21:45:42 | <geekosaur> | yes |
| 21:46:13 | <geekosaur> | but note that it will install to ~/.cabal/bin whereas the one you're currently running will be elsewhere on $PATH |
| 21:46:40 | <lechner> | yeah, that's fine. it was always like that. |
| 21:46:51 | <geekosaur> | depending on how you're set up, you may need to adjust $PATH or `hash -r` in open shells |
| 21:48:36 | <geekosaur> | unless guix works with cabal's nix support, I would suspect it would require cabal v1 commands if it controls library visibility |
| 21:48:47 | <lechner> | i'd be happy to use Hackage directly but Cabal is not finding what it needs, is my guess. Do i need to point --package-db to the GHC files? Presumably like Nix, they are all in different places |
| 21:48:56 | → | freeside joins (~mengwong@103.252.202.170) |
| 21:49:24 | <lechner> | i'd also be happy to get Guix working with the v2 commands once i figure out how |
| 21:49:27 | <geekosaur> | `cabal update` before anything else. (I don't know why it doesn't do this for you) |
| 21:50:05 | <lechner> | i did and it worked, albeit with that same error about GHC_PACKAGE_PATH |
| 21:52:44 | <geekosaur> | --package-db points to a directory with a package.db directory in it. if databases are all over the guix store then you'd need multiple --package-db options, as I understand it |
| 21:53:47 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 21:53:47 | <geekosaur> | probably better to see if --enable-nix works (but it looks to me like it won't, since it references shell.nix by name; probably need corresponding guix support) |
| 22:02:57 | <lechner> | Guix has something like nix-shell. It's called 'guix shell' |
| 22:03:30 | <geekosaur> | right, but cabal looks for shell.nix by name and I doubt guix calls theirs that |
| 22:03:43 | <geekosaur> | probably something in guile |
| 22:04:24 | <lechner> | yeah sorry, i did not mean to imply that it would work out of the box. it merely seemed it was perhaps just a patch away |
| 22:05:58 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 22:06:13 | → | kurbus joins (~kurbus@user/kurbus) |
| 22:06:38 | <lechner> | Hi, approximately which proportion of folks here uses Nix, please? Are questions about Nix better directed to their channel even if they relate directly to developing in Haskell? |
| 22:08:19 | → | freeside joins (~mengwong@103.252.202.170) |
| 22:08:46 | → | Inst_ joins (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) |
| 22:09:48 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:11:57 | × | Inst__ quits (~Inst@2601:6c4:4081:54f0:d621:5cdd:9051:c240) (Ping timeout: 255 seconds) |
| 22:12:24 | <lechner> | Hi, where may i normally find a package.db, please? I can only find package.cache |
| 22:13:25 | × | the_proffesor quits (~theproffe@user/theproffesor) (Ping timeout: 260 seconds) |
| 22:13:32 | jinsun | is now known as Guest3754 |
| 22:13:32 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 22:13:32 | × | Guest3754 quits (~jinsun@user/jinsun) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 22:13:32 | jinsun__ | is now known as jinsun |
| 22:13:35 | <geekosaur> | package.cache lives inside a package.db |
| 22:13:49 | <geekosaur> | it's a cache of all the *.conf files in the db |
| 22:14:03 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Client Quit) |
| 22:15:06 | × | falafel quits (~falafel@2607:fb91:143f:e47f:40a:c679:74d:6469) (Ping timeout: 255 seconds) |
| 22:15:11 | → | thegeekinside joins (~thegeekin@189.180.83.186) |
| 22:15:23 | <geekosaur> | I have two on my system: the package.db corresponding to cabal's store, and the package.conf.d that comes with ghc |
| 22:15:47 | <geekosaur> | (well, more than two because I have multiple versions of ghc and corresponding cabal stores) |
| 22:17:16 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:17:17 | × | michalz quits (~michalz@185.246.204.109) (Remote host closed the connection) |
| 22:17:27 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 22:23:59 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 22:25:23 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:cde7:86e6:74be:4be3) (Ping timeout: 264 seconds) |
| 22:25:23 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:26:29 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 22:29:10 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:30:05 | × | kurbus quits (~kurbus@user/kurbus) (Quit: Client closed) |
| 22:30:15 | → | tdwdiod^ joins (~tdwdiod@c-24-30-76-89.hsd1.ga.comcast.net) |
| 22:30:43 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:36:11 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 22:36:25 | × | motherfsck quits (~motherfsc@user/motherfsck) (Client Quit) |
| 22:36:45 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 22:36:59 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 22:39:46 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 22:40:38 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 22:40:53 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 22:46:12 | → | edwin1729 joins (~user@2a0c:5bc0:40:2e25:76c6:3bff:fe8a:46ba) |
| 22:47:56 | ← | edwin1729 parts (~user@2a0c:5bc0:40:2e25:76c6:3bff:fe8a:46ba) (ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 22:52:06 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 22:54:35 | × | ddellacosta quits (~ddellacos@143.244.47.74) (Ping timeout: 246 seconds) |
| 22:58:19 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 22:59:36 | <danso> | what's an example of a type with a more efficient `mapM` than `traverse`? |
| 23:00:14 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 23:01:38 | <c_wraith> | danso: I think that can only happen for specific Monad instances - but it *is* possible to write mapM such that it can take advantage of that for Monads where it happens. |
| 23:01:52 | <c_wraith> | (and not write traverse to take advantage of the same) |
| 23:02:03 | × | thegeekinside quits (~thegeekin@189.180.83.186) (Ping timeout: 248 seconds) |
| 23:03:10 | → | thegeekinside joins (~thegeekin@189.180.83.186) |
| 23:03:44 | <monochrom> | Yeah you're basically looking at whether >>= can be more efficient than <*> for a certain type. |
| 23:04:27 | → | seriously_ joins (~seriously@2001:1c06:2715:c200:5f25:ec6a:93bd:f6c6) |
| 23:04:43 | → | slack1256 joins (~slack1256@186.11.100.232) |
| 23:06:47 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 23:07:53 | → | king_gs joins (~Thunderbi@187.201.41.239) |
| 23:07:59 | <seriously_> | Hey everyone; on the last problem of Yorgeys cis 194!! Im stuck though. I'm expecting replicateM to "do" n amount of invades and collect the invidual results. But currently it seems to simply just replicate the same result n times. https://paste.tomsmeding.com/uNi10W1J |
| 23:09:18 | <c_wraith> | seriously_: it's hard to get too far without the definition of battle. It's missing and the most likely culprit |
| 23:10:02 | <c_wraith> | seriously_: though your Monad instance for Rand is also potentially suspect |
| 23:10:35 | <seriously_> | Apologies, of course: https://paste.tomsmeding.com/vdX2VLVD |
| 23:10:51 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 23:11:17 | <c_wraith> | ah, yep. that's the problem |
| 23:11:36 | <seriously_> | really?! |
| 23:11:37 | <c_wraith> | You're returning the same value of g that you got initially |
| 23:12:04 | <c_wraith> | so every call uses the same RNG state |
| 23:12:19 | <seriously_> | right?? my understanding for a generator is its just a formula (function) that you use for calculating that random number |
| 23:12:31 | <c_wraith> | also, aRolls and dRolls are sharing the same generator, so they're going to be correlated |
| 23:12:56 | <c_wraith> | the generator is the whole RNG state, packaged up in an immutable summary |
| 23:13:35 | × | segfaultfizzbuzz quits (~segfaultf@108.211.201.53) (Ping timeout: 248 seconds) |
| 23:13:58 | <seriously_> | Ok thanks for pointing that out; let me go and study the concept of the generator a little more |
| 23:14:24 | × | beteigeuze quits (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 23:14:25 | <c_wraith> | I think you're getting tripped up, though. You should not be calling evalRand in there at all |
| 23:14:35 | <c_wraith> | You should be using the Monad instance for Rand |
| 23:14:51 | <c_wraith> | It should be the only thing responsible for threading generator state around |
| 23:14:53 | → | beteigeuze joins (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 23:16:32 | <c_wraith> | well, ok. `die' needs to ensure it's threading the state properly. But `battle' shouldn't ever need to care about the details. It should leave them up to Rand |
| 23:16:32 | <seriously_> | ok so every call of (>>=) is creating a new generator state |
| 23:17:03 | <seriously_> | ok |
| 23:17:26 | <c_wraith> | Well... No. things like `die' create the new generator state. (>>=) just makes sure it's threaded through correctly without you needing to think about it |
| 23:19:31 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:19:49 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 23:21:46 | → | segfaultfizzbuzz joins (~segfaultf@108.211.201.53) |
| 23:23:23 | × | dtman34 quits (~dtman34@2601:447:d000:93c9:b289:3f01:2da:f4d2) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 23:23:44 | → | dtman34 joins (~dtman34@76.156.89.180) |
| 23:26:11 | <seriously_> | It seems like I approached it incorrectly from the start then... From what you said, it sounds like I should be working of sequences of die and threading those results... so https://paste.tomsmeding.com/5YPVWvnM |
| 23:26:25 | <seriously_> | on* |
| 23:26:59 | <c_wraith> | yeah, though if you use do-notation you can keep almost the same structure as your existing code |
| 23:27:35 | → | mei joins (~mei@user/mei) |
| 23:27:41 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:28:55 | <seriously_> | *thumbsup* |
| 23:29:04 | → | kurbus joins (~kurbus@user/kurbus) |
| 23:30:39 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:32:59 | × | seriously_ quits (~seriously@2001:1c06:2715:c200:5f25:ec6a:93bd:f6c6) (Quit: Client closed) |
| 23:34:03 | × | mechap quits (~mechap@user/mechap) (Ping timeout: 248 seconds) |
| 23:35:52 | → | mechap joins (~mechap@user/mechap) |
| 23:39:41 | → | freeside joins (~mengwong@103.252.202.170) |
| 23:44:11 | × | freeside quits (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 23:47:55 | × | tessier quits (~treed@ip72-197-145-89.sd.sd.cox.net) (Ping timeout: 248 seconds) |
| 23:48:02 | × | king_gs quits (~Thunderbi@187.201.41.239) (Read error: Connection reset by peer) |
| 23:48:20 | → | king_gs joins (~Thunderbi@2806:103e:29:1779:4ae6:8f92:8c1c:44cd) |
| 23:52:45 | × | king_gs quits (~Thunderbi@2806:103e:29:1779:4ae6:8f92:8c1c:44cd) (Ping timeout: 255 seconds) |
| 23:56:53 | <lechner> | Hi, is it true that Cabal depends on GHC in the sense that they somehow have to be upgraded in lockstep? |
| 23:57:50 | <geekosaur> | ghc often has a minimum required cabal version of late, but that has more to do with toolchain changes on Windows |
| 23:58:23 | <geekosaur> | in particular you need a cabal recent enough that it knows about ghc now using the clang toolchain instead of mingw |
| 23:58:45 | <geekosaur> | but a newer cabal can be used with an older ghc with no problems |
| 23:58:58 | × | opticblast quits (~Thunderbi@172.58.85.230) (Ping timeout: 252 seconds) |
| 23:59:03 | → | freeside joins (~mengwong@103.252.202.170) |
| 23:59:04 | <geekosaur> | ("of late" meaning 9.4 and the upcoming 9.6) |
| 23:59:11 | × | gnalzo quits (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
All times are in UTC on 2023-02-07.