Logs: freenode/#haskell
| 2021-03-12 04:23:21 | <glguy> | if you want to do a function with a dynamic name you end up with: [d| $(varP (mkName "x")) = \x y z -> 2 |] ; |
| 2021-03-12 04:23:42 | <edwardk> | mkName or newName? |
| 2021-03-12 04:23:54 | <glguy> | For a top-level thing I don't think you can tell the difference |
| 2021-03-12 04:23:56 | <edwardk> | oh, not _that_ dynamic =) |
| 2021-03-12 04:24:03 | <fresheyeball> | I see |
| 2021-03-12 04:24:35 | <glguy> | right, not dynamic binding, just a name that isn't quoted syntax |
| 2021-03-12 04:25:06 | → | ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-12 04:25:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-12 04:27:09 | <glguy> | like > (do x1 <- newName "x"; x2 <- newName "x"; [d| $(varP x1) = 1; $(varP x2) = 2 |]); |
| 2021-03-12 04:27:11 | <glguy> | <interactive>:20:1: error: Multiple declarations of ‘x’ |
| 2021-03-12 04:27:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-12 04:28:14 | <glguy> | to my point about newName not doing anything for top-level decls |
| 2021-03-12 04:28:32 | → | plutoniix joins (~q@184.82.214.51) |
| 2021-03-12 04:28:34 | <edwardk> | ah yes, that was a fix at one point, wasn't it |
| 2021-03-12 04:28:51 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 04:28:54 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-12 04:28:54 | <glguy> | I don't know, but I wish we had them |
| 2021-03-12 04:29:06 | <glguy> | I don't remember if we used to have them |
| 2021-03-12 04:29:10 | <edwardk> | i've definitely exported horribleness by using newname in the distant past |
| 2021-03-12 04:29:27 | <glguy> | You used to be able to name things reserved keywords, with spaces, etc |
| 2021-03-12 04:29:31 | <edwardk> | yeah |
| 2021-03-12 04:29:35 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-12 04:29:36 | <glguy> | then definitely "fixed" that |
| 2021-03-12 04:29:38 | Axman6 | looks at singletons |
| 2021-03-12 04:29:38 | <edwardk> | that was around the same time |
| 2021-03-12 04:29:53 | <edwardk> | i'm sad about losing keywords |
| 2021-03-12 04:29:56 | <edwardk> | those were useful |
| 2021-03-12 04:30:10 | <edwardk> | Foo.type was nice =) |
| 2021-03-12 04:30:28 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-12 04:33:33 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-12 04:33:48 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-12 04:34:28 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-12 04:37:05 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:8580:920a:628b:ceb2) (Remote host closed the connection) |
| 2021-03-12 04:37:26 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:8580:920a:628b:ceb2) |
| 2021-03-12 04:37:30 | × | MVQq quits (~anja@198.254.199.42) (Quit: q) |
| 2021-03-12 04:38:02 | → | toorevitimirp joins (~tooreviti@117.182.180.50) |
| 2021-03-12 04:38:04 | → | MarcelineVQ joins (~anja@198.254.199.42) |
| 2021-03-12 04:38:23 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-12 04:38:51 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 04:39:15 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-12 04:40:46 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-12 04:41:41 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-12 04:43:05 | → | okeuday_bak joins (~okeuday@24-113-18-65.wavecable.com) |
| 2021-03-12 04:43:14 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-03-12 04:43:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-12 04:43:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-12 04:43:50 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-12 04:45:15 | <okeuday_bak> | Hi, I was wondering why https://hackage.haskell.org/package/cabal-install-3.4.0.0/cabal-install-3.4.0.0.tar.gz doesn't have ./bootstrap.sh as the README.md file describes. How should cabal-install be built otherwise? |
| 2021-03-12 04:49:42 | <glguy> | okeuday_bak, generally you don't build cabal-install, you install it via ghcup as a binary |
| 2021-03-12 04:51:45 | <okeuday_bak> | glguy: I would prefer to compile it, to ensure I have the source code that created it. |
| 2021-03-12 04:52:07 | <glguy> | the bootstrap.sh is in the git repository |
| 2021-03-12 04:52:36 | <glguy> | you can download a normal binary and then recompile your own using it; that'd be the simplest |
| 2021-03-12 04:52:43 | <glguy> | you'll be using a GHC you didn't compile along the way |
| 2021-03-12 04:53:10 | × | plutoniix quits (~q@184.82.214.51) (Ping timeout: 260 seconds) |
| 2021-03-12 04:53:56 | <okeuday_bak> | glguy: I already have different GHC versions I have compiled, I have normally compiled cabal-install in the past, though I know one release had version problems in the bootstrap.sh file |
| 2021-03-12 04:54:42 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 04:55:55 | <okeuday_bak> | glguy: it looks like bootstrap.sh needs to be generated based on https://github.com/haskell/cabal/tree/master/bootstrap , right? |
| 2021-03-12 04:58:36 | <okeuday_bak> | glguy: will the next cabal-install package have a way to build it? |
| 2021-03-12 04:59:11 | → | redmp joins (~redmp@172.58.30.171) |
| 2021-03-12 04:59:26 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 264 seconds) |
| 2021-03-12 05:00:00 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-03-12 05:01:50 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-12 05:02:16 | × | dfeuer quits (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-12 05:04:22 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-12 05:05:21 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-12 05:13:23 | <okeuday_bak> | yeah, it is weird because https://github.com/haskell/cabal/ branch 3.4 has ./travis-bootstrap.sh break because ./bootstrap.sh is missing there too |
| 2021-03-12 05:15:59 | <okeuday_bak> | specifically, I was attempting to get cabal-install 3.4 working with ghc 9.0.1 |
| 2021-03-12 05:16:26 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 256 seconds) |
| 2021-03-12 05:21:45 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:8580:920a:628b:ceb2) (Remote host closed the connection) |
| 2021-03-12 05:22:46 | × | drbean quits (~drbean@TC210-63-209-174.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-12 05:24:53 | <sclv> | okeuday_bak: they swapped release managers and didn’t do everything right |
| 2021-03-12 05:24:57 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:697d:9bfb:3507:4a9d) |
| 2021-03-12 05:25:03 | <sclv> | its a process |
| 2021-03-12 05:25:54 | <okeuday_bak> | sclv: I tried the bootstrap/bootstrap.py (3.4 branch) with 8.10.1 since that config file was there and that didn't work, I can always wait for the next cabal-install release, that seems best |
| 2021-03-12 05:27:23 | <okeuday_bak> | (thought it might generate with 8.10.1, to possibly be used with 9.0.1, but that was wishful thinking) |
| 2021-03-12 05:30:02 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-12 05:30:07 | <okeuday_bak> | anyway, thanks for the info, will try the next release |
| 2021-03-12 05:30:27 | ← | okeuday_bak parts (~okeuday@24-113-18-65.wavecable.com) () |
| 2021-03-12 05:31:02 | → | plutoniix joins (~q@184.82.214.51) |
| 2021-03-12 05:34:14 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-03-12 05:34:33 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-03-12 05:35:19 | <fresheyeball> | how does overloaded strings and TH interact |
| 2021-03-12 05:35:21 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-12 05:35:21 | Axman6 | was about to recommend okeuday_bak look into participating in BDSM, it sounds less painful |
| 2021-03-12 05:35:47 | <fresheyeball> | I thought I could use LitE . StringL to make Text if overloaded strings is on |
| 2021-03-12 05:35:50 | <fresheyeball> | but ghci says no |
| 2021-03-12 05:37:21 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:697d:9bfb:3507:4a9d) (Remote host closed the connection) |
| 2021-03-12 05:39:08 | <Axman6> | can you make an expression for fromString applied to the string literal? |
| 2021-03-12 05:39:20 | <fresheyeball> | yes |
| 2021-03-12 05:39:20 | <Axman6> | (preferably fromStringN) |
| 2021-03-12 05:39:28 | <fresheyeball> | what is fromStringN? |
| 2021-03-12 05:40:34 | <Axman6> | oh, I thought there was an equivalent of IsList's fromListN :: Int -> [Item l] -> l |
| 2021-03-12 05:41:01 | <Axman6> | useful for more efficient instances of Vector etc. |
| 2021-03-12 05:43:21 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-12 05:43:31 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-03-12 05:44:28 | × | JokerAscensionEx quits (~egp_@2.95.74.168) (Quit: EXIT) |
| 2021-03-12 05:47:23 | × | ezrakilty quits (~ezrakilty@75-172-115-167.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-12 05:55:46 | → | shellin joins (bab726a6@186.183.38.166) |
| 2021-03-12 05:56:43 | <fresheyeball> | Axman6:++ |
| 2021-03-12 06:02:20 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 256 seconds) |
All times are in UTC.