Logs: liberachat/#haskell
| 2021-06-07 00:38:35 | <yushyin> | Flux: if you selected a ghc version as your default in ghcup and set up your PATH correctly, yes. |
| 2021-06-07 00:38:36 | <glguy> | sclv, I stopped trying to figure out the command line (not that it was particularly complicated) and always use `ghcup tui` now |
| 2021-06-07 00:38:44 | × | softwarm quits (~softwarm@2600:8801:db01:8f0:60c3:f8d4:403b:5c34) (Quit: Client closed) |
| 2021-06-07 00:38:50 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-07 00:39:00 | <geekosaur> | hm, I stand corrected, I see no env in there on my system. I just added ~/.ghcup/bin to $PATH locally but my $PATH management is somewhat complex |
| 2021-06-07 00:39:05 | → | ddellacosta joins (~ddellacos@86.106.121.235) |
| 2021-06-07 00:40:17 | <Flux> | yushyin: how do i set a ghc version as default in ghcup |
| 2021-06-07 00:40:17 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-06-07 00:40:27 | <Flux> | is it just ghcup set |
| 2021-06-07 00:40:39 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-07 00:40:44 | <geekosaur> | or the equivalent using ghcup tui, yes |
| 2021-06-07 00:40:45 | <yushyin> | try `ghcup tui' |
| 2021-06-07 00:40:54 | <Flux> | oh nice |
| 2021-06-07 00:40:57 | <Flux> | looks nice |
| 2021-06-07 00:43:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-07 00:43:51 | <Flux> | hmm so if i want to use stack and ghcup how would that work |
| 2021-06-07 00:44:04 | <Flux> | + what are the things to be cautious about |
| 2021-06-07 00:44:53 | <sclv> | they're orthogonal |
| 2021-06-07 00:45:00 | <sclv> | stack manages ghcs in its own special way and ghcup in another |
| 2021-06-07 00:45:03 | <sclv> | the two never intersect |
| 2021-06-07 00:45:05 | <hololeap> | is there any big reason why type families cannot be partially applied, or is it just something that is in the process of being implemented? |
| 2021-06-07 00:45:31 | <boxscape> | hololeap there are reasons but it is in the process of being proposed https://github.com/ghc-proposals/ghc-proposals/pull/242 |
| 2021-06-07 00:45:34 | <sclv> | so they don't work together, but they don't hurt one another (except you get even more ghc installs littering your system) |
| 2021-06-07 00:46:01 | <hololeap> | boxscape: cool thanks |
| 2021-06-07 00:46:31 | <boxscape> | hololeap the main reason is that when you know `f x ~ g y` you can usually deduce that `x ~ y` and `f ~ g`, but that's not true if f and g are type families, which makes things more complicated |
| 2021-06-07 00:46:44 | <sclv> | here's a direct link to the proposal: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0242-unsaturated-type-families.rst |
| 2021-06-07 00:47:22 | <boxscape> | hololeap oh whoops it was actually already accepted so I guess it is in the process of being implemented |
| 2021-06-07 00:48:39 | × | haskellGuestGuy quits (~haskellGu@81.96.113.213) (Quit: Client closed) |
| 2021-06-07 00:51:44 | <Flux> | are there nice resources to understand how stack works |
| 2021-06-07 00:51:57 | <Flux> | i feel like there are plenty of half-detailed tutorials |
| 2021-06-07 00:52:07 | <Axman6> | what about the stack documentation? |
| 2021-06-07 00:52:23 | → | yd502 joins (~yd502@180.168.212.6) |
| 2021-06-07 00:52:32 | <Flux> | i am generally too lazy to read through documentation in full whoops |
| 2021-06-07 00:52:53 | <Axman6> | so the answer is yes, you just don't want to read it ;) |
| 2021-06-07 00:52:57 | <yushyin> | wow ... |
| 2021-06-07 00:53:13 | <Flux> | lmao |
| 2021-06-07 00:53:20 | <Flux> | you right |
| 2021-06-07 00:53:36 | <Flux> | sometimes i just want to absorb information effortlessly |
| 2021-06-07 00:53:36 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-07 00:53:36 | <Flux> | :) |
| 2021-06-07 00:53:43 | × | vicfred quits (~vicfred@user/vicfred) (Ping timeout: 264 seconds) |
| 2021-06-07 00:53:48 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-07 00:56:09 | × | dcompoze quits (~dcompoze@5E98D6D9.static.tld.pl) (Quit: WeeChat 3.1) |
| 2021-06-07 00:56:43 | × | yd502 quits (~yd502@180.168.212.6) (Ping timeout: 264 seconds) |
| 2021-06-07 01:02:07 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 264 seconds) |
| 2021-06-07 01:02:52 | × | ddellacosta quits (~ddellacos@86.106.121.235) (Remote host closed the connection) |
| 2021-06-07 01:09:20 | → | ddellacosta joins (~ddellacos@86.106.143.144) |
| 2021-06-07 01:09:45 | <Flux> | is there a way to make ghci not show all the packages being loaded |
| 2021-06-07 01:09:57 | <geekosaur> | -v0, I think |
| 2021-06-07 01:10:45 | <Flux> | stack ghci -v0? |
| 2021-06-07 01:10:47 | <Flux> | didn't seem to work |
| 2021-06-07 01:11:00 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2021-06-07 01:11:28 | <geekosaur> | with stack you'd need: stack ghci --ghci-options=-v0 or something like that |
| 2021-06-07 01:12:10 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-07 01:12:12 | <Flux> | o |
| 2021-06-07 01:15:09 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-07 01:16:03 | × | xff0x quits (~xff0x@2001:1a81:53fc:900:d0f6:e7c5:21c7:3f71) (Ping timeout: 272 seconds) |
| 2021-06-07 01:17:19 | → | xff0x joins (~xff0x@2001:1a81:5240:1700:ccf7:e726:9438:c4ca) |
| 2021-06-07 01:17:50 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-07 01:18:27 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-07 01:18:42 | → | yd502_ joins (~yd502@180.168.212.6) |
| 2021-06-07 01:19:39 | × | Flux quits (~Flux@41337027.cst.lightpath.net) (Quit: Client closed) |
| 2021-06-07 01:23:02 | → | teaSlurp_ joins (~chris@81.96.113.213) |
| 2021-06-07 01:23:07 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-06-07 01:30:17 | × | madnight quits (~madnight@static.59.103.201.195.clients.your-server.de) (Excess Flood) |
| 2021-06-07 01:30:27 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2021-06-07 01:30:39 | × | hololeap quits (hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2021-06-07 01:32:03 | × | yd502_ quits (~yd502@180.168.212.6) (Ping timeout: 252 seconds) |
| 2021-06-07 01:32:12 | × | gmc quits (sid58314@charlton.irccloud.com) (Ping timeout: 244 seconds) |
| 2021-06-07 01:32:21 | → | gmc joins (sid58314@id-58314.charlton.irccloud.com) |
| 2021-06-07 01:32:43 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2021-06-07 01:33:03 | → | Katarushisu joins (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-06-07 01:33:09 | × | Square quits (~a@178.62.91.8) (Ping timeout: 272 seconds) |
| 2021-06-07 01:33:47 | × | jlamothe quits (~jlamothe@198.251.57.81) (Ping timeout: 272 seconds) |
| 2021-06-07 01:33:59 | → | DontKnowWhatImDo joins (~whateverm@pool-108-54-183-148.nycmny.fios.verizon.net) |
| 2021-06-07 01:34:01 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 2021-06-07 01:34:31 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-06-07 01:34:56 | → | Square joins (~a@178.62.91.8) |
| 2021-06-07 01:35:46 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2021-06-07 01:35:58 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2021-06-07 01:36:01 | × | ddellacosta quits (~ddellacos@86.106.143.144) (Remote host closed the connection) |
| 2021-06-07 01:36:20 | × | SeemedLikeAGoodI quits (~whateverm@pool-108-54-183-148.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-06-07 01:39:03 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-07 01:39:26 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2021-06-07 01:39:35 | <cdsmith> | I want some kind of constraint that lets me access a type-level Symbol at runtime as a String. Does that sound like something that exists? |
| 2021-06-07 01:39:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-07 01:39:55 | <Axman6> | KnownSymbol? |
| 2021-06-07 01:39:56 | <geekosaur> | KnownSymbol? |
| 2021-06-07 01:40:03 | <Axman6> | @quote stereo |
| 2021-06-07 01:40:03 | <lambdabot> | monochrom says: Welcome to #haskell, where @remember's are in majestic stereo! |
| 2021-06-07 01:40:07 | <cdsmith> | Ah, sounds promising. Yes |
| 2021-06-07 01:42:45 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-06-07 01:43:57 | × | li quits (~li@libera/staff/li) (Read error: Connection reset by peer) |
| 2021-06-07 01:44:42 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-07 01:44:48 | → | li joins (~li@libera/staff/li) |
| 2021-06-07 01:45:38 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-07 01:45:49 | × | noddy quits (~user@user/noddy) (Ping timeout: 272 seconds) |
| 2021-06-07 01:46:00 | <int-e> | @quote fugue |
| 2021-06-07 01:46:00 | <lambdabot> | monochrom says: Welcome to #haskell, where your questions are answered in contrapuntal fugues. |
| 2021-06-07 01:46:20 | → | noddy joins (~user@user/noddy) |
All times are in UTC.