Logs: liberachat/#haskell
| 2021-08-18 21:21:10 | × | ubert quits (~Thunderbi@178.115.48.151.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-08-18 21:21:21 | <tomsmeding> | chisui: you just missed one message https://ircbrowse.tomsmeding.com/browse/lchaskell?id=145828#trid145828 |
| 2021-08-18 21:22:05 | <chisui> | Ah, that makes sense |
| 2021-08-18 21:22:18 | <monochrom> | Oh, that. I missed that too haha. |
| 2021-08-18 21:30:49 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-18 21:33:07 | → | pgib joins (~textual@173.38.117.86) |
| 2021-08-18 21:34:40 | × | qbt quits (~edun@user/edun) (Ping timeout: 240 seconds) |
| 2021-08-18 21:38:11 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-18 21:44:23 | <dsal> | chisui: do you still need that IORef? |
| 2021-08-18 21:45:08 | <chisui> | dsal: I use it to fill a single chunk. |
| 2021-08-18 21:45:09 | <dsal> | I guess I don't quite understand that part. |
| 2021-08-18 21:50:08 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-08-18 21:53:55 | → | polyphem joins (~polyphem@2a02:810d:640:776c:f4c0:a27a:540e:c15e) |
| 2021-08-18 21:56:37 | → | zebrag joins (~chris@user/zebrag) |
| 2021-08-18 21:58:47 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-18 22:00:55 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-18 22:04:21 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 2021-08-18 22:04:35 | × | gambpang quits (~ishipman@207.181.230.156) (Remote host closed the connection) |
| 2021-08-18 22:07:21 | <aegon> | does ghc automatically use the newtype strategy for deriving newtypes or should I be explicit about that to make sure |
| 2021-08-18 22:07:46 | × | d0ku quits (~d0ku@178.43.198.70.ipv4.supernova.orange.pl) (Ping timeout: 268 seconds) |
| 2021-08-18 22:10:15 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-18 22:11:05 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-18 22:11:44 | ell | is now known as ellie |
| 2021-08-18 22:12:57 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2021-08-18 22:15:31 | → | p0lyph3m joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-18 22:16:01 | × | p0lyph3m quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Client Quit) |
| 2021-08-18 22:16:13 | × | chisui quits (~chisui@200116b8681e48004d4a4305e410a0e6.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-08-18 22:16:24 | → | p0lyph3m joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-18 22:16:42 | × | polyphem quits (~polyphem@2a02:810d:640:776c:f4c0:a27a:540e:c15e) (Ping timeout: 245 seconds) |
| 2021-08-18 22:17:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-18 22:18:03 | <aegon> | bah, a page down in this post it talks about that and the accompanying compile warn line |
| 2021-08-18 22:18:10 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2021-08-18 22:20:45 | p0lyph3m | is now known as polyphem |
| 2021-08-18 22:21:00 | × | michalz quits (~michalz@185.246.204.62) (Remote host closed the connection) |
| 2021-08-18 22:21:26 | × | polyphem quits (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) (Quit: CoreIRC for Android - www.coreirc.com) |
| 2021-08-18 22:21:37 | → | polyphem joins (~polyphem@2a02:810d:640:776c:bd0c:a594:ef4e:c3f3) |
| 2021-08-18 22:22:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-18 22:26:25 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Remote host closed the connection) |
| 2021-08-18 22:26:52 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-18 22:29:37 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-08-18 22:32:17 | → | Guest56 joins (~textual@209.51.86.47) |
| 2021-08-18 22:34:05 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-18 22:36:03 | × | acidjnk_new quits (~acidjnk@p200300d0c72b952850c7a959aba8feb6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-18 22:36:55 | → | andjjj23_ joins (~irc@107.170.228.47) |
| 2021-08-18 22:38:27 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds) |
| 2021-08-18 22:38:30 | × | Guest56 quits (~textual@209.51.86.47) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-18 22:38:46 | → | venue joins (~venue@209.51.86.47) |
| 2021-08-18 22:39:40 | <kilolympus> | I've got a gigantic ~/.stack directory (39 gigs on a 128 gb SSD), and I want to trim it down -- is there a way to use Stack to list projects that use a certain installed GHC version? (so I can safely delete stuff) |
| 2021-08-18 22:40:18 | <kilolympus> | Or at least some form of safe purge method (I'm fine with recompiling everything again, since there may be older projects I no longer actively work on, which I can save on) |
| 2021-08-18 22:40:45 | <kilolympus> | I heard I shouldn't just downright remove ~/.stack, since it can error out if project/.stack-work still exists |
| 2021-08-18 22:41:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-08-18 22:41:18 | <dsal> | You can rm -rf most of the big stuff in there. |
| 2021-08-18 22:41:42 | <sm> | kilolympus: stack-clean-old is a good safe way |
| 2021-08-18 22:42:18 | <sm> | also removing project/.stack-work would be another option |
| 2021-08-18 22:42:45 | <kilolympus> | Ah, ok dsal, thanks! |
| 2021-08-18 22:42:53 | <dsal> | sm's being more surgical. :) |
| 2021-08-18 22:42:57 | <kilolympus> | sm: Didn't know about this, looks like stack-clean-old looks great! |
| 2021-08-18 22:43:14 | <kilolympus> | Removing project/.stack-work would be fine, but the projects themselves are on a plenty big external HDD |
| 2021-08-18 22:43:15 | <dsal> | I use nix-integration and don't worry about it anymore. Now it's all in /nix instead |
| 2021-08-18 22:43:23 | <sm> | yup. Be aware it shows/removes different stuff depending whether you run it inside a project or not |
| 2021-08-18 22:43:35 | <kilolympus> | Alright |
| 2021-08-18 22:43:39 | <kilolympus> | Thanks! |
| 2021-08-18 22:43:43 | × | venue quits (~venue@209.51.86.47) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-08-18 22:44:02 | → | venue joins (~venue@209.51.86.47) |
| 2021-08-18 22:45:21 | × | chomwitt quits (~chomwitt@ppp-94-67-193-240.home.otenet.gr) (Remote host closed the connection) |
| 2021-08-18 22:48:16 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-08-18 22:49:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-18 22:51:06 | → | mousey joins (~skymouse@gateway/tor-sasl/mousey) |
| 2021-08-18 22:51:20 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-18 22:51:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-18 22:54:55 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-18 22:55:10 | ← | venue parts (~venue@209.51.86.47) (adios) |
| 2021-08-18 22:57:32 | → | venue joins (~venue@209.51.86.47) |
| 2021-08-18 22:57:32 | venue | is now known as venuex |
| 2021-08-18 22:58:34 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-18 23:00:15 | × | aegon quits (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-08-18 23:03:12 | × | venuex quits (~venue@209.51.86.47) (Changing host) |
| 2021-08-18 23:03:12 | → | venuex joins (~venue@user/venue) |
| 2021-08-18 23:05:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-18 23:08:12 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-08-18 23:09:57 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-18 23:15:51 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-08-18 23:18:03 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2021-08-18 23:25:29 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-08-18 23:28:33 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (Ping timeout: 268 seconds) |
| 2021-08-18 23:33:07 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-18 23:36:19 | → | frosky joins (~froskyarr@50.7.59.207) |
| 2021-08-18 23:36:50 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 2021-08-18 23:36:57 | × | dmwit quits (~dmwit@pool-108-28-26-143.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-08-18 23:38:08 | → | dajoer joins (~david@user/gvx) |
| 2021-08-18 23:42:34 | → | oldsk00l joins (~znc@ec2-18-170-87-228.eu-west-2.compute.amazonaws.com) |
| 2021-08-18 23:42:44 | × | oldsk00l_ quits (~znc@ec2-18-170-87-228.eu-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-08-18 23:46:31 | sajith_ | is now known as sajith |
| 2021-08-18 23:50:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-18 23:50:42 | × | Axma70428 quits (~Axman6@user/axman6) (Remote host closed the connection) |
| 2021-08-18 23:50:56 | → | Axman6 joins (~Axman6@user/axman6) |
| 2021-08-18 23:52:19 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-18 23:54:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-18 23:56:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-18 23:59:23 | → | PinealGlandOptic joins (~PinealGla@37.115.210.35) |
All times are in UTC.