Logs: liberachat/#haskell
| 2021-08-25 10:48:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-08-25 10:48:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-25 10:48:52 | × | alinab quits (sid468903@id-468903.brockwell.irccloud.com) () |
| 2021-08-25 10:49:05 | → | alinab joins (sid468903@id-468903.helmsley.irccloud.com) |
| 2021-08-25 10:49:46 | × | Guest6130 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-25 10:50:28 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-25 10:50:31 | chris | is now known as Guest7445 |
| 2021-08-25 10:53:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-25 10:54:10 | × | lortabac quits (~lortabac@151.53.202.164) (Quit: WeeChat 2.8) |
| 2021-08-25 10:54:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-25 10:54:46 | × | Guest7445 quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-08-25 10:55:56 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds) |
| 2021-08-25 10:57:18 | → | azeem joins (~azeem@176.201.15.223) |
| 2021-08-25 10:57:36 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-25 11:01:03 | → | alx741 joins (~alx741@186.178.109.43) |
| 2021-08-25 11:04:07 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-25 11:05:10 | × | truckasaurus quits (sid457088@id-457088.helmsley.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-25 11:06:53 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 250 seconds) |
| 2021-08-25 11:07:19 | → | truckasaurus joins (sid457088@id-457088.helmsley.irccloud.com) |
| 2021-08-25 11:09:04 | × | buggymcbugfix quits (~buggymcbu@p4fcaa0a6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-08-25 11:11:32 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-25 11:17:20 | × | kaizen quits (sid501599@brockwell.irccloud.com) () |
| 2021-08-25 11:17:52 | → | kaizen joins (sid501599@id-501599.helmsley.irccloud.com) |
| 2021-08-25 11:19:53 | × | kaizen quits (sid501599@id-501599.helmsley.irccloud.com) (Max SendQ exceeded) |
| 2021-08-25 11:19:59 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-25 11:20:11 | <Kabouik> | That's surprising maerwald, Solus is known for being very stable (especially for a rolling distro) |
| 2021-08-25 11:21:18 | <maerwald> | Kabouik: they told me docker is not supported |
| 2021-08-25 11:21:24 | <maerwald> | so it's known to be broken |
| 2021-08-25 11:21:44 | <Kabouik> | Yeah, I saw on the description it's unofficial, but seeing it was last updated 3 days ago was encouraging |
| 2021-08-25 11:21:52 | → | kaizen joins (sid501599@helmsley.irccloud.com) |
| 2021-08-25 11:22:10 | → | Kaiepi joins (~Kaiepi@156.34.44.192) |
| 2021-08-25 11:22:41 | × | gawen quits (~gawen@user/gawen) (Quit: cya) |
| 2021-08-25 11:24:28 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-25 11:26:25 | → | gawen joins (~gawen@user/gawen) |
| 2021-08-25 11:26:50 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-25 11:28:18 | <Kabouik> | Well it seems my ghcup installation issue is due to full storage |
| 2021-08-25 11:28:40 | → | sa joins (sid1055@id-1055.tinside.irccloud.com) |
| 2021-08-25 11:33:19 | → | dude joins (~da1dude@112.201.99.74) |
| 2021-08-25 11:34:24 | <Kabouik> | Uh, I have a 7.5GB ~/.stack, wonder if I can delete that and reinstall stack or if there are programs that depends on it (or binaries in it, evenm) |
| 2021-08-25 11:36:21 | × | davincee quits (~da1dude@112.201.99.74) (Ping timeout: 250 seconds) |
| 2021-08-25 11:37:18 | → | dadude joins (~da1dude@112.201.99.74) |
| 2021-08-25 11:39:14 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-25 11:39:50 | <maerwald> | stack doesn't care much about your disk space :p |
| 2021-08-25 11:40:08 | <maerwald> | it just keeps dumping stuff without giving you any means to uninstall anything other than rm -rf |
| 2021-08-25 11:40:15 | × | dude quits (~da1dude@112.201.99.74) (Ping timeout: 250 seconds) |
| 2021-08-25 11:40:22 | <Kabouik> | I can see that! But I'm confused between cabal, stack, ghc, system or not system, as to what I can delete or not without breaking things |
| 2021-08-25 11:40:33 | <maerwald> | welcome to haskell tooling |
| 2021-08-25 11:40:43 | <Rembane_> | Kabouik: You can delete it all, the next command you run will take some more time |
| 2021-08-25 11:40:48 | → | biberu\ joins (~biberu@user/biberu) |
| 2021-08-25 11:40:56 | <Rembane_> | Kabouik: ...but that's about how horrible it will become |
| 2021-08-25 11:41:35 | <Kabouik> | Well you haven't seen the size of my .npm, .ccache, etc.: https://0x0.st/-tun.png |
| 2021-08-25 11:42:13 | <Kabouik> | I wish they would all just end up in a directory that says "it-is-safe-to-delete-me" when true. |
| 2021-08-25 11:42:51 | × | Arsen quits (~arsen@managarm/dev/Arsen) (Quit: Quit.) |
| 2021-08-25 11:43:10 | → | Arsen joins (~arsen@managarm/dev/Arsen) |
| 2021-08-25 11:43:52 | <Kabouik> | And of course my biggest folder in /usr is /usr/lib64/ghc-8.6.5, which makes me wonder if it can be deleted too :p |
| 2021-08-25 11:44:28 | × | biberu quits (~biberu@user/biberu) (Ping timeout: 250 seconds) |
| 2021-08-25 11:44:29 | biberu\ | is now known as biberu |
| 2021-08-25 11:51:09 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-25 11:52:05 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:d4c9:355c:bd9d:df19) |
| 2021-08-25 11:52:14 | <mastarija> | If I want to pass a type as an argument to a function using type application, without passing a value of that type or using a Proxy, I have to enable AllowAmbiguousTypes, right? |
| 2021-08-25 11:52:44 | <maerwald> | Kabouik: https://gitlab.haskell.org/haskell/ghcup-hs/-/merge_requests/153 |
| 2021-08-25 11:52:51 | <maerwald> | seems to work with the bindist I pointed you at |
| 2021-08-25 11:53:13 | <Kabouik> | Thank you, will try |
| 2021-08-25 11:53:21 | <Kabouik> | Still trying to free some space on my / at the moment :< |
| 2021-08-25 11:54:32 | <Kabouik> | Oh it's 1-hour old, I suppose you did it. Thanks! |
| 2021-08-25 11:56:31 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-25 11:56:36 | <maerwald> | Kabouik: and you need those packages https://paste.tomsmeding.com/Rpz4EHW8 |
| 2021-08-25 11:56:36 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d4c9:355c:bd9d:df19) (Ping timeout: 250 seconds) |
| 2021-08-25 11:56:55 | × | Neuromancer quits (~Neuromanc@user/neuromancer) (Ping timeout: 252 seconds) |
| 2021-08-25 11:59:31 | <Kabouik> | Is it safe to remove distro repository ghc if I later use ghcup? |
| 2021-08-25 12:00:09 | <maerwald> | Kabouik: yeah |
| 2021-08-25 12:00:26 | <Kabouik> | It's going to remove all my haskell packages too, of course, which apparently is a lot: https://p.teknik.io/Raw/mCBvp |
| 2021-08-25 12:00:51 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-25 12:01:22 | <Kabouik> | pandoc is in that list :/ |
| 2021-08-25 12:01:30 | → | burnsidesLlama joins (~burnsides@dhcp168-022.wadham.ox.ac.uk) |
| 2021-08-25 12:02:00 | × | _ak_ quits (~akspecs@136.24.181.20) (Changing host) |
| 2021-08-25 12:02:00 | → | _ak_ joins (~akspecs@user/akspecs) |
| 2021-08-25 12:02:00 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 2021-08-25 12:02:09 | → | mikoto-c1 joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-25 12:03:05 | → | azeem joins (~azeem@dynamic-adsl-78-13-242-140.clienti.tiscali.it) |
| 2021-08-25 12:03:38 | <Kabouik> | That's the list of non haskell-* packages that apparently depend on system ghc: pandoc-citeproc, python-nbconvert, ghc-devel, shellcheck, pandoc, cpphs, data-default-instances-old-locale, data-default-instances-containers, data-default-instances-dlist, ghc |
| 2021-08-25 12:04:36 | <maerwald> | yeah, pandoc should be a static binary |
| 2021-08-25 12:04:37 | <jumper149> | mastarija: I think you should only need -XTypeApplications. I'm not an expert on that topic though. |
| 2021-08-25 12:04:41 | <maerwald> | not depend on haskell packages |
| 2021-08-25 12:05:43 | → | Skyfire joins (~pyon@user/pyon) |
| 2021-08-25 12:05:44 | <mastarija> | jumper149, I have tried that first, but it's resulting in an error because my type is not visible on the right side of => |
| 2021-08-25 12:07:02 | <jumper149> | I don't think that should matter. Are you using -XScopedTypeVariables? |
| 2021-08-25 12:07:27 | <jumper149> | Without an example it's hard to say though. |
| 2021-08-25 12:08:51 | <mastarija> | applicativeHomomorphism |
| 2021-08-25 12:08:51 | <mastarija> | :: forall f v b. ( Applicative f , Eq ( f b ) ) |
| 2021-08-25 12:08:51 | <mastarija> | => Gen ( v -> b ) |
| 2021-08-25 12:08:51 | <mastarija> | -> Gen v |
| 2021-08-25 12:08:51 | <mastarija> | -> Gen Bool |
| 2021-08-25 12:09:06 | <mastarija> | jumper149, yes I'm using ScopedTypeVariables |
| 2021-08-25 12:09:28 | → | lortabac joins (~lortabac@151.53.202.164) |
| 2021-08-25 12:09:31 | <mastarija> | however this thing above doesn't type check unless I use AmbiguousTypes |
| 2021-08-25 12:10:07 | <jumper149> | mastarija: Next time use a paste bin like ix.io |
| 2021-08-25 12:10:41 | <mastarija> | jumper149, I intended it to be one line, but newlines were preserved. |
| 2021-08-25 12:11:08 | <jumper149> | Yeah, I don't care too much but some people on IRC are religious about it ;) |
| 2021-08-25 12:11:14 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
All times are in UTC.