Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 581 582 583 584 585 586 587 588 589 590 591 .. 5022
— 502,152 events total
2020-10-12 00:15:24 <MarcelineVQ> ski: ye
2020-10-12 00:15:40 <MarcelineVQ> foo a b x>y =...
2020-10-12 00:16:10 <ski> perhaps some notation for "the unique value in scope having this type" could be useful .. not sure
2020-10-12 00:16:33 <MarcelineVQ> _ ?
2020-10-12 00:16:56 <ski> it doesn't mean the same, in patterns
2020-10-12 00:17:30 × hwabyong quits (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in)
2020-10-12 00:17:48 <dolio> I've been using identifiers like `[a]` in Agda lately. It was pretty convenient that they aren't lists.
2020-10-12 00:17:53 <MarcelineVQ> not in pattern no but why would you you need that in patterns?
2020-10-12 00:18:03 <dolio> Because I don't even need lists for what I was doing.
2020-10-12 00:19:23 <ski> MarcelineVQ : to remind myself of the type of the particular pattern
2020-10-12 00:20:24 <ski> (taking into context the refinements made by matching on data constructors)
2020-10-12 00:23:26 <proofofme> tried that script ... still have the old cabal. should i use `rm -r /usr/local/bin/cabal`?
2020-10-12 00:25:34 → hwabyong joins (~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com)
2020-10-12 00:25:44 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-12 00:26:19 → ddere joins (uid110888@gateway/web/irccloud.com/x-vgusxnbjafubujyq)
2020-10-12 00:28:52 → jedws joins (~jedws@121.209.161.98)
2020-10-12 00:30:46 <koz_> proofofme: Did you adjust your PATH as ghcup suggested?
2020-10-12 00:31:30 <proofofme> no, I didn't ...
2020-10-12 00:31:48 <koz_> proofofme: Then it's highly likely you're not seeing the newly-installed (higher-versioned) cabal.
2020-10-12 00:32:34 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 00:32:34 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 00:32:34 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-12 00:32:44 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 244 seconds)
2020-10-12 00:36:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 00:36:16 → ystael joins (~ystael@209.6.50.55)
2020-10-12 00:36:32 <proofofme> yes! success! putStrLn "Thanks, koz_"
2020-10-12 00:36:58 <koz_> proofofme: No worries. You can use 'ghcup list' to see what cabal it gave you, and which are available.
2020-10-12 00:37:06 <koz_> You should now no longer see issues of the form you ran into.
2020-10-12 00:38:51 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 00:39:38 → conal joins (~conal@64.71.133.70)
2020-10-12 00:39:42 <proofofme> could not resolve dependencies. so Kafkaesque lol
2020-10-12 00:40:03 <koz_> Exact error message (in a pastebin)?
2020-10-12 00:41:50 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-12 00:42:30 <proofofme> https://pastebin.pl/view/d5fa52c0
2020-10-12 00:43:24 <zoom8484> thanks guys!
2020-10-12 00:43:28 × zoom8484 quits (44beb1c9@068-190-177-201.res.spectrum.com) (Remote host closed the connection)
2020-10-12 00:43:40 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 00:43:59 <koz_> proofofme: Try re-running with --minimize-conflict-set?
2020-10-12 00:44:53 <proofofme> https://pastebin.pl/view/9d998ecb
2020-10-12 00:45:46 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 00:45:53 <koz_> Hmm, you can do one of two things: use GHC 8.6.5 or try with --allow-newer.
2020-10-12 00:46:57 hackage web-plugins 0.4.0 - dynamic plugin system for web applications https://hackage.haskell.org/package/web-plugins-0.4.0 (JeremyShaw)
2020-10-12 00:47:55 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 00:48:24 <proofofme> LICENSE: openBinaryFile: does not exist (No such file or directory). <---from --allow-newer
2020-10-12 00:48:39 <proofofme> wouldn't it be bad to go back to 8.6.5?
2020-10-12 00:48:41 × danvet_ quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-12 00:48:41 × jchia quits (~jchia@58.32.32.136) (Quit: Leaving.)
2020-10-12 00:48:42 → sand_dull joins (~theuser@104.140.53.43)
2020-10-12 00:49:28 → jchia joins (~jchia@58.32.32.136)
2020-10-12 00:49:33 → conal joins (~conal@64.71.133.70)
2020-10-12 00:52:31 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-12 00:53:24 <koz_> proofofme: Why? I mean, is there a particular 8.8 feature you want?
2020-10-12 00:53:36 <koz_> ghcup can give you multiple GHC versions quite trivially.
2020-10-12 00:53:52 <koz_> And you can use 'cabal configure -w the.ghc.version.I.want' to set it up.
2020-10-12 00:54:23 <koz_> That error is a bit weird though - could you give the exact error message?
2020-10-12 00:54:44 <proofofme> that was the extent of it; it was only one line
2020-10-12 00:54:57 <koz_> OK, could you pastebin your cabal file?
2020-10-12 00:54:59 → Guest92188 joins (~flo@178.162.204.214)
2020-10-12 00:56:11 <proofofme> one sec
2020-10-12 00:56:27 × Alleria_ quits (~AllahuAkb@2604:2000:1484:26:d9b5:40ce:4a6a:3e0a) (Ping timeout: 240 seconds)
2020-10-12 00:57:39 <proofofme> `cat ~/.cabal/config`?
2020-10-12 00:57:46 <koz_> No, the cabal file of your project.
2020-10-12 00:58:05 <koz_> You shoudl have a whatever-you-named-your-project.cabal in your project folder.
2020-10-12 00:58:16 <koz_> That is typically referred to as 'a cabal file'.
2020-10-12 00:58:29 <proofofme> that was in the mysql haskell folder that I did this. I was trying to install the db driver
2020-10-12 00:58:46 <koz_> proofofme: mysql-haskell is a library.
2020-10-12 00:58:52 <koz_> You don't _install_ it, you depend on it.
2020-10-12 00:59:03 <proofofme> ah
2020-10-12 00:59:48 <koz_> You only install executables.
2020-10-12 00:59:49 → st8less joins (~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-12 01:01:28 × jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 272 seconds)
2020-10-12 01:02:39 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 01:03:06 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 01:05:57 → gokkun joins (~dblbch@89.232.38.52)
2020-10-12 01:07:00 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:b5b9:ec51:2bb2:42cb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 01:07:12 <proofofme> what's the proper way to add a library, like Text.HTML.Scalpel, for example?
2020-10-12 01:09:27 × xff0x quits (~fox@2001:1a81:5276:8500:a0c7:cc77:f7d4:2372) (Ping timeout: 240 seconds)
2020-10-12 01:10:39 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 01:11:09 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 01:11:23 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42)
2020-10-12 01:11:37 → xff0x joins (~fox@2001:1a81:52ad:5800:a0c7:cc77:f7d4:2372)
2020-10-12 01:11:47 <lemmih> proofofme: First you find the name of the library that has that module.
2020-10-12 01:12:02 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:c13:bf83:d3a4:854a)
2020-10-12 01:12:21 <proofofme> https://hackage.haskell.org/package/scalpel
2020-10-12 01:12:45 <lemmih> proofofme: Good. Add 'scalpel' to the list of 'build-depends' in your cabal file.
2020-10-12 01:13:19 <proofofme> I don't have a cabal file in the project yet ... It's just an hs file for now
2020-10-12 01:13:24 <proofofme> I can create one
2020-10-12 01:13:44 <proofofme> `cabal init`
2020-10-12 01:13:51 × Wuzzy quits (~Wuzzy@p5790e6f5.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-12 01:14:30 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-10-12 01:15:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 01:15:37 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 244 seconds)
2020-10-12 01:17:28 <proofofme> cabal init didn't create the file hmmm
2020-10-12 01:19:17 → CMCDragonkai1 joins (~Thunderbi@124.19.3.250)
2020-10-12 01:20:01 <monochrom> "cabal init" creates a lot of files silently. You'll have to do an "ls" and explore around.
2020-10-12 01:20:43 × jedii quits (~g@209.6.150.53) (Remote host closed the connection)
2020-10-12 01:21:09 <lemmih> proofofme: You can also just do 'cabal v1-install scalpel'. That will make the library globally available.
2020-10-12 01:21:23 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 01:21:54 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-12 01:24:41 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
←Prev  Next→
Page 1 .. 581 582 583 584 585 586 587 588 589 590 591 .. 5022

All times are in UTC.