Logs: liberachat/#haskell
| 2021-06-08 14:56:49 | → | psydroid joins (~psydroidm@user/psydroid) |
| 2021-06-08 14:56:52 | <guest61> | aha |
| 2021-06-08 14:57:14 | <guest61> | it's binary or source code? |
| 2021-06-08 14:57:18 | <maerwald> | bindist |
| 2021-06-08 14:57:26 | <maerwald> | ghcup also works on ARM |
| 2021-06-08 14:57:33 | <guest61> | what does that mean? |
| 2021-06-08 14:57:46 | <maerwald> | it's a tarball with binaries yes |
| 2021-06-08 14:58:52 | <c_wraith> | literally an abbreviation of "binary distribution" |
| 2021-06-08 14:58:57 | <guest61> | and there a cable arm ? |
| 2021-06-08 14:59:24 | <maerwald> | yes |
| 2021-06-08 14:59:42 | <guest61> | in this tarball? or other link? |
| 2021-06-08 14:59:55 | <maerwald> | what arm distro are you on? |
| 2021-06-08 15:00:26 | <guest61> | debian 10 rootfs version |
| 2021-06-08 15:00:28 | <maerwald> | https://www.haskell.org/ghcup/ |
| 2021-06-08 15:03:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-08 15:03:47 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-06-08 15:03:57 | allbery_b | is now known as geekosaur |
| 2021-06-08 15:04:38 | <guest61> | wait a sec, https://www.haskell.org/ghc/blog/20200515-ghc-on-arm.html |
| 2021-06-08 15:05:34 | <guest61> | does this meed to run ‘configure ...’? |
| 2021-06-08 15:05:58 | <geekosaur> | so you can specify where to install it, and it can adapt to the system, yes |
| 2021-06-08 15:06:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-08 15:06:56 | <guest61> | First, we need to install LLVM 9 (which GHC uses for code generation on ARM): |
| 2021-06-08 15:07:08 | <guest61> | so it needs llvm? |
| 2021-06-08 15:07:27 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 244 seconds) |
| 2021-06-08 15:07:40 | <yushyin> | that's what is says |
| 2021-06-08 15:07:43 | <yushyin> | it |
| 2021-06-08 15:08:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-08 15:09:12 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-08 15:09:23 | <guest61> | ok |
| 2021-06-08 15:10:49 | <yushyin> | but why not just try ghcup and see if it works for you? |
| 2021-06-08 15:11:20 | <guest61> | what is ghcup? |
| 2021-06-08 15:11:30 | <guest61> | I only know stack and cable |
| 2021-06-08 15:11:38 | <maerwald> | guest61: see the link above |
| 2021-06-08 15:11:47 | <guest61> | that lsp stuff I don't know |
| 2021-06-08 15:11:52 | <maerwald> | lsp? |
| 2021-06-08 15:12:39 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Read error: Connection reset by peer) |
| 2021-06-08 15:12:47 | <guest61> | wait a sec, when this ghcup came? |
| 2021-06-08 15:12:55 | <maerwald> | I don't know |
| 2021-06-08 15:13:05 | <guest61> | language server protocol |
| 2021-06-08 15:13:26 | <maerwald> | did you read what's in the web page? |
| 2021-06-08 15:13:27 | <guest61> | for code autocomplete indent blabla |
| 2021-06-08 15:13:33 | <guest61> | yes |
| 2021-06-08 15:13:45 | <maerwald> | ok, so there's nothing about autocomplete, lsp or indent |
| 2021-06-08 15:13:49 | <guest61> | check if it's available |
| 2021-06-08 15:14:30 | <guest61> | But i remember there's a lsp stuff call this name very likely But i forget |
| 2021-06-08 15:15:06 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Remote host closed the connection) |
| 2021-06-08 15:17:15 | <guest61> | haskell-hie ghcide |
| 2021-06-08 15:17:43 | → | Torro joins (Torro@gateway/vpn/protonvpn/torro) |
| 2021-06-08 15:17:58 | <maerwald> | those are different names |
| 2021-06-08 15:18:00 | <geekosaur> | those are both out of date, hls is the current one |
| 2021-06-08 15:19:41 | <guest61> | that hoogle guy, mitch? he is doing one? |
| 2021-06-08 15:21:15 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) |
| 2021-06-08 15:22:12 | <guest61> | ghcid |
| 2021-06-08 15:22:18 | → | Guest68 joins (~textual@2603-8000-d201-7e1d-c40c-15fa-fd7b-ff64.res6.spectrum.com) |
| 2021-06-08 15:23:19 | <guest61> | https://github.com/ndmitchell/ghcid |
| 2021-06-08 15:25:29 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:90fb:e693:9986:91e0) (Ping timeout: 245 seconds) |
| 2021-06-08 15:25:30 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-08 15:26:07 | → | safinaskar joins (~user@109.252.90.89) |
| 2021-06-08 15:26:16 | <safinaskar> | good thread https://mail.haskell.org/pipermail/haskell-cafe/2021-June/134073.html |
| 2021-06-08 15:26:25 | <safinaskar> | on reallyUnsafePtrEquality# |
| 2021-06-08 15:26:44 | → | yoctocell joins (~yoctocell@h87-96-130-155.cust.a3fiber.se) |
| 2021-06-08 15:27:07 | <yushyin> | we certainly do know most of the tools you mentioned so far, but I do miss the point of all this. didn't you want to install ghc/cabal-install on ARM? |
| 2021-06-08 15:27:36 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-06-08 15:28:21 | → | azeem joins (~azeem@176.201.35.122) |
| 2021-06-08 15:30:45 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2021-06-08 15:31:10 | × | cheater quits (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2021-06-08 15:31:11 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2021-06-08 15:31:46 | × | azeem quits (~azeem@176.201.35.122) (Read error: Connection reset by peer) |
| 2021-06-08 15:31:52 | → | cheater joins (~Username@user/cheater) |
| 2021-06-08 15:32:07 | <maerwald> | sorting vocabulary first, I guess |
| 2021-06-08 15:32:25 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-08 15:33:21 | × | amk quits (~amk@176.61.106.150) (Remote host closed the connection) |
| 2021-06-08 15:33:45 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-08 15:34:10 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2021-06-08 15:34:37 | → | anandprabhu joins (~anandprab@45.134.22.18) |
| 2021-06-08 15:34:39 | <guest61> | yes, I ran the ghcup command , and it's installing |
| 2021-06-08 15:35:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-08 15:36:11 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2021-06-08 15:37:34 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 250 seconds) |
| 2021-06-08 15:38:01 | → | amk joins (~amk@176.61.106.150) |
| 2021-06-08 15:38:19 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-08 15:40:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-08 15:44:38 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-08 15:44:38 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-08 15:44:38 | → | Deide joins (~Deide@user/deide) |
| 2021-06-08 15:44:43 | ← | Guest68 parts (~textual@2603-8000-d201-7e1d-c40c-15fa-fd7b-ff64.res6.spectrum.com) (Textual IRC Client: www.textualapp.com) |
| 2021-06-08 15:46:50 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:ea21:4b5e:38c6:5b35) (Ping timeout: 272 seconds) |
| 2021-06-08 15:48:07 | → | lbseale joins (~lbseale@ip72-194-54-201.sb.sd.cox.net) |
| 2021-06-08 15:48:43 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-08 15:49:31 | × | jippiedoe quits (~david@77-171-152-62.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2021-06-08 15:53:10 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 250 seconds) |
| 2021-06-08 15:53:36 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 250 seconds) |
| 2021-06-08 15:55:02 | ← | safinaskar parts (~user@109.252.90.89) () |
| 2021-06-08 15:58:21 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-08 15:58:57 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-08 15:59:07 | <tomsmeding> | maerwald: ghcup wins again :) |
| 2021-06-08 15:59:51 | <guest61> | what about stack? |
| 2021-06-08 16:00:47 | → | jippiedoe joins (~david@77-171-152-62.fixed.kpn.net) |
| 2021-06-08 16:01:19 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-08 16:03:49 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 245 seconds) |
All times are in UTC.