Logs: liberachat/#haskell
| 2021-08-27 21:33:16 | <doors> | Can I make this a valid type alias? type Foo a = Applicative f => a -> f a |
| 2021-08-27 21:33:28 | <doors> | Right now the compiler says "f not in scope". |
| 2021-08-27 21:33:40 | → | azeem joins (~azeem@5.168.199.98) |
| 2021-08-27 21:34:00 | <minimario> | i tried to install something with "runhaskell Setup.hs install" (ik i should use cabal, just trying this out), and getting the error "/usr/local/share/doc/x86_64-linux-ghc-8.10.4: createDirectory: permission denied", is there a way to manually install packages like this? |
| 2021-08-27 21:35:12 | <geekosaur> | I think you want to pass --user, the default was --global |
| 2021-08-27 21:35:13 | <dsal> | doors: You're mixing up types and constraints. |
| 2021-08-27 21:35:24 | <hpc> | it depends on what you want |
| 2021-08-27 21:35:39 | <hpc> | if you want a higher-ranked type, with extensions you can do type Foo a = forall f. Applicative f => a -> f a |
| 2021-08-27 21:36:00 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:16d:5419:a8cf:3833) (Remote host closed the connection) |
| 2021-08-27 21:36:01 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-27 21:36:07 | <minimario> | runhaskell Setup.hs install --user also didn't work |
| 2021-08-27 21:36:21 | <hpc> | if you want f to be whatever has the name f wherever you use Foo, you can use... i forget the extension but then you name it ?f and do a bunch of weird stuff |
| 2021-08-27 21:36:34 | <doors> | hpc: I had RankNTypes but the forall was missing. Thank you. |
| 2021-08-27 21:36:36 | <hpc> | (but you definitely don't want that one, even if you think you do) |
| 2021-08-27 21:36:44 | <hpc> | ah, cool |
| 2021-08-27 21:37:53 | <monochrom> | Refining "didn't work" to the exact verbatim error message would be more helpful. |
| 2021-08-27 21:38:04 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-08-27 21:38:09 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds) |
| 2021-08-27 21:38:22 | <minimario> | oh same as before, "/usr/local/share/doc/x86_64-linux-ghc-8.10.4: createDirectory: permission denied" |
| 2021-08-27 21:38:25 | <geekosaur> | minimario, I think you also havw to configure with --user, but what monochrom said |
| 2021-08-27 21:38:34 | <minimario> | oh i see |
| 2021-08-27 21:38:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-27 21:38:47 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-27 21:38:48 | <monochrom> | Ah yeah, "... configure --user" |
| 2021-08-27 21:38:56 | → | mikoto-chan joins (~mikoto-ch@83.137.2.251) |
| 2021-08-27 21:38:59 | <minimario> | can you explain why that fixed it |
| 2021-08-27 21:39:02 | <minimario> | (it works) |
| 2021-08-27 21:39:53 | <monochrom> | Setup's way is that most configurations and choices are set in stone at "Setup configure <options>" time. The remaining commands don't change anything. |
| 2021-08-27 21:40:15 | <minimario> | er like, why --user instead of global |
| 2021-08-27 21:40:38 | <geekosaur> | most users don't have permission to install into /usr/local |
| 2021-08-27 21:40:38 | <monochrom> | --global means /usr/local, --user means $HOME |
| 2021-08-27 21:40:56 | <monochrom> | Why --global is the default? Because Setup.hs is for linux distro people. |
| 2021-08-27 21:41:32 | <monochrom> | Note how Setup.hs does not audo-download-build dependencies. Because linux distro people already do that manually. |
| 2021-08-27 21:42:44 | <monochrom> | (and linux distro people will have to add --prefix=/usr) |
| 2021-08-27 21:43:32 | <hpc> | or because they want to pull down build dependencies some other way (like if they're making .debs) |
| 2021-08-27 21:44:20 | <minimario> | gotcha |
| 2021-08-27 21:44:21 | <minimario> | makes sense |
| 2021-08-27 21:44:35 | <minimario> | didn't know --global meant /usr/local and --user meant $HOME |
| 2021-08-27 21:44:44 | <minimario> | but that helps |
| 2021-08-27 21:44:45 | ← | kuribas parts (~user@ptr-25vy0i9k5kxqroisf0f.18120a2.ip6.access.telenet.be) (ERC (IRC client for Emacs 26.3)) |
| 2021-08-27 21:45:08 | × | AWizzArd quits (~code@gehrels.uberspace.de) (Changing host) |
| 2021-08-27 21:45:08 | → | AWizzArd joins (~code@user/awizzard) |
| 2021-08-27 21:46:52 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 21:51:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-27 21:51:40 | × | azeem quits (~azeem@5.168.199.98) (Ping timeout: 240 seconds) |
| 2021-08-27 21:52:18 | → | azeem joins (~azeem@5.168.199.98) |
| 2021-08-27 21:52:22 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2021-08-27 21:55:55 | × | micro quits (~micro@user/micro) (Ping timeout: 268 seconds) |
| 2021-08-27 21:56:41 | → | micro joins (~micro@user/micro) |
| 2021-08-27 21:59:57 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-27 22:00:43 | × | sszark quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2021-08-27 22:04:28 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-08-27 22:05:03 | × | azeem quits (~azeem@5.168.199.98) (Ping timeout: 250 seconds) |
| 2021-08-27 22:05:37 | → | azeem joins (~azeem@5.168.199.98) |
| 2021-08-27 22:12:10 | × | azeem quits (~azeem@5.168.199.98) (Ping timeout: 240 seconds) |
| 2021-08-27 22:13:41 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-27 22:14:21 | → | azeem joins (~azeem@5.168.199.98) |
| 2021-08-27 22:14:55 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-27 22:17:49 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b5b4:3a1f:2123:21ea) (Remote host closed the connection) |
| 2021-08-27 22:19:12 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b5b4:3a1f:2123:21ea) |
| 2021-08-27 22:19:41 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-27 22:21:34 | × | doors quits (~a@p200300ef970830a645b8de8f8152bf35.dip0.t-ipconnect.de) (Quit: WeeChat 3.0.1) |
| 2021-08-27 22:22:10 | → | son0p joins (~ff@181.136.122.143) |
| 2021-08-27 22:22:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-08-27 22:23:18 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-08-27 22:24:01 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 2021-08-27 22:25:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-27 22:29:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-27 22:33:05 | × | Gurkenglas quits (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2021-08-27 22:33:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2021-08-27 22:35:14 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-08-27 22:41:46 | CnnibisIndica | is now known as CannabisIndica |
| 2021-08-27 22:43:07 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-27 22:43:40 | × | azeem quits (~azeem@5.168.199.98) (Ping timeout: 240 seconds) |
| 2021-08-27 22:45:47 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2021-08-27 22:47:50 | → | azeem joins (~azeem@5.168.199.98) |
| 2021-08-27 22:48:32 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-08-27 22:49:49 | <jle`> | hm .. what's the version of %%= for lens that only modifies/doesn't return a result? |
| 2021-08-27 22:50:25 | <glguy> | %= ? |
| 2021-08-27 22:50:26 | <jle`> | #mylens %%= \x -> ((), f x) |
| 2021-08-27 22:50:44 | <jle`> | ah, thanks :) |
| 2021-08-27 22:51:10 | <jle`> | ooh, it was in Control.Lens.Setter |
| 2021-08-27 22:55:34 | × | minimario quits (~minimario@2603:900a:1600:ba00:a4f2:2ae3:8f32:437f) (Ping timeout: 246 seconds) |
| 2021-08-27 22:57:27 | × | mikoto-chan quits (~mikoto-ch@83.137.2.251) (Ping timeout: 240 seconds) |
| 2021-08-27 22:58:17 | <hololeap> | what was the function that takes a list and repeats infinitely? |
| 2021-08-27 22:59:03 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b5b4:3a1f:2123:21ea) (Remote host closed the connection) |
| 2021-08-27 23:00:14 | <nitrix> | repeat ._. |
| 2021-08-27 23:00:26 | <nitrix> | Oh, cycle? |
| 2021-08-27 23:00:40 | <nitrix> | > cycle [1,2,3] |
| 2021-08-27 23:00:41 | <lambdabot> | [1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2,3,1,2... |
| 2021-08-27 23:09:22 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-08-27 23:09:38 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b5b4:3a1f:2123:21ea) |
| 2021-08-27 23:11:21 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 250 seconds) |
| 2021-08-27 23:13:57 | → | eggplant_ joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-27 23:15:34 | × | argento quits (~argent0@191.81.228.237) (Ping timeout: 250 seconds) |
| 2021-08-27 23:15:47 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b5b4:3a1f:2123:21ea) (Read error: Connection reset by peer) |
| 2021-08-27 23:17:32 | → | argento joins (~argent0@168-227-96-26.ptr.westnet.com.ar) |
| 2021-08-27 23:25:19 | × | azeem quits (~azeem@5.168.199.98) (Ping timeout: 252 seconds) |
| 2021-08-27 23:27:37 | → | azeem joins (~azeem@5.168.199.98) |
| 2021-08-27 23:28:55 | → | dajoer joins (~david@user/gvx) |
All times are in UTC.