Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 496 497 498 499 500 501 502 503 504 505 506 .. 5022
— 502,152 events total
2020-10-07 21:29:55 <monochrom> or say "new-build" all the time
2020-10-07 21:29:58 <Christo> but is the haskell-language-server (vs code haskell plugin) using the old "cabal build" command or something?
2020-10-07 21:30:02 <maerwald> Christo: are you using stack or cabal?
2020-10-07 21:30:06 <Christo> cabal
2020-10-07 21:30:08 <koz_> monochrom: Or rather, configure your IDE to somehow do it.
2020-10-07 21:30:11 <koz_> Assuming you can.
2020-10-07 21:30:22 <maerwald> Christo: what platform?
2020-10-07 21:30:26 <koz_> Christo: 'cabal build' became new-build by default recently.
2020-10-07 21:30:38 <monochrom> Rather, hls assumes you use cabal >= 3 so it's just "build".
2020-10-07 21:30:44 → otulp joins (~otulp@ti0187q162-3025.bb.online.no)
2020-10-07 21:30:53 <Christo> so maybe that's the issue?
2020-10-07 21:30:57 <koz_> OK, am I totally off-base here, or is it the case that Cont () a and a are somehow similar?
2020-10-07 21:30:57 hackage heidi 0.0.0 - Tidy data in Haskell https://hackage.haskell.org/package/heidi-0.0.0 (ocramz)
2020-10-07 21:31:04 <koz_> Christo: Likely.
2020-10-07 21:31:09 → alp joins (~alp@2a01:e0a:58b:4920:8975:d95d:2784:c8c1)
2020-10-07 21:31:20 <monochrom> Cont () a = (a -> ()) -> () = a really boring type
2020-10-07 21:31:39 <Christo> thx guys, i'll try all what u said
2020-10-07 21:31:44 <Christo> just to clarify
2020-10-07 21:31:53 <Christo> i can build and run my project using new- prefix cmds
2020-10-07 21:32:03 <Christo> but haskell plugin vs code gives me this error msg
2020-10-07 21:32:06 <Christo> Failed to parse result of calling cabalcabal: Unknown target '/Users/chris/Documents/cabal-example-2/exe/Main.hs'.The package cabal-example2 has no file target 'exe/Main.hs'.
2020-10-07 21:32:14 <koz_> monochrom: How do you demonstrate that last equality? I guess it's an isomorphism.
2020-10-07 21:32:22 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-07 21:32:33 <koz_> Christo: Yeah, upgrade to a newer cabal, try again. If you still get this error, we know there's another issue.
2020-10-07 21:32:41 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-07 21:32:41 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-07 21:32:41 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-07 21:32:42 <Christo> how do i upgrade cabal?
2020-10-07 21:32:45 <Christo> lol
2020-10-07 21:32:52 <koz_> Christo: How did you install it in the first place?
2020-10-07 21:32:55 <maerwald> what platform
2020-10-07 21:32:58 <monochrom> If I give you a function f :: X -> (), what good does it do for you? Many different ways of getting ()?
2020-10-07 21:33:09 × mav1 quits (~mav@i5E86B7C0.versanet.de) (Ping timeout: 260 seconds)
2020-10-07 21:33:11 <koz_> monochrom: Only one - const essentially?
2020-10-07 21:33:16 <monochrom> Yeah
2020-10-07 21:33:17 <Christo> i think i may have downloaded it directly like a month ago
2020-10-07 21:33:23 <ghoulguy> monochrom: There's a whole library for making functions like that
2020-10-07 21:33:31 <Christo> i don't have ghcup to my knowledge
2020-10-07 21:33:31 <koz_> Christo: Specify the exact meaning of 'downloaded it directly'.
2020-10-07 21:33:34 <Christo> or never did use it
2020-10-07 21:33:36 <koz_> Also, what platform?
2020-10-07 21:33:40 <maerwald> lol
2020-10-07 21:33:52 <maerwald> we never gonna know
2020-10-07 21:33:57 <Christo> platform? does that mean ghc version?
2020-10-07 21:34:02 <koz_> Christo: No, OS.
2020-10-07 21:34:08 <Christo> oh macos
2020-10-07 21:34:09 → conal joins (~conal@209.58.130.230)
2020-10-07 21:34:09 <Christo> newest
2020-10-07 21:34:14 <Christo> mac OS
2020-10-07 21:34:15 <koz_> Christo: Use ghcup.
2020-10-07 21:34:19 × jneira_ quits (~jneira@80.30.101.206) (Ping timeout: 265 seconds)
2020-10-07 21:34:20 <koz_> For all Haskell things.
2020-10-07 21:34:24 <koz_> No seriously just do it.
2020-10-07 21:34:31 <koz_> It means you never have issues of this form ever again.
2020-10-07 21:34:33 <Christo> sure
2020-10-07 21:35:02 <frdg> I have been running ghcid like so for a while with `ghcid -c 'stack exec -- ghci -isrc -iapp ~/path`. I am not finding documentation that explains what the `isrc` and `iapp` settings do. Does anyone know?
2020-10-07 21:35:28 <koz_> monochrom: But how does that fact show me that (a -> ()) -> () ~ a?
2020-10-07 21:35:35 <yushyin> I hope for you that you know how to modify PATH and how to open a file, though :P
2020-10-07 21:35:42 <koz_> Like, how do I go from one to the other?
2020-10-07 21:36:02 <monochrom> No, it is false.
2020-10-07 21:36:07 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-10-07 21:36:24 <monochrom> Only "(forall r. (a -> r) -> r) ~ a" is true.
2020-10-07 21:36:31 <hpc> koz_: you're misreading "a really boring type" ;)
2020-10-07 21:36:38 <koz_> .... Yes, I was.
2020-10-07 21:36:56 <koz_> Thank you, I think I am less confused now.
2020-10-07 21:37:58 <Christo> @koz
2020-10-07 21:37:59 <lambdabot> Maybe you meant: yow do
2020-10-07 21:38:41 <koz_> hpc: Something something syntax something something variable capture something something Koz needs more coffee.
2020-10-07 21:39:04 <Christo> koz_ installing ghcup: will it mess with my current installation's of GHC and cabal (that already installed)?
2020-10-07 21:39:11 <koz_> Christo: No.
2020-10-07 21:39:29 <koz_> (or rather, ghcup itself won't)
2020-10-07 21:39:45 <no-n> is ghcup something new?
2020-10-07 21:39:51 <koz_> You need to modify PATH to aim at your ghcup-installed tooling, but that will not go in the same place your current tooling.
2020-10-07 21:39:56 <koz_> no-n: Not that new.
2020-10-07 21:40:18 <koz_> Also maerwald: I tested the -T argument to xz in make bindist and it worked.
2020-10-07 21:40:37 <frdg> Christo: when I switched to ghcup I just deleted all my other ghc stuff.
2020-10-07 21:40:49 <Christo> ok koz_ thx
2020-10-07 21:41:05 <koz_> Christo: No worries - as someone here said, this stuff is fiddly.
2020-10-07 21:41:07 <Christo> i'll install ghcup and get cabal version which is 3 or higher?
2020-10-07 21:41:18 <koz_> Christo: Current recommended is 3.2 IIRC.
2020-10-07 21:41:24 <Christo> ok cool
2020-10-07 21:41:35 <koz_> 'ghcup list' will tell you.
2020-10-07 21:41:36 <Christo> i need to play among us right now, but will do those steps in 2hrs
2020-10-07 21:41:53 <Christo> will u be around later koz_ ?
2020-10-07 21:41:58 <monochrom> "ghcup tui" is very nice.
2020-10-07 21:42:13 <koz_> Christo: Should be. If not, someone else here can also assist.
2020-10-07 21:42:24 <koz_> monochrom: I didn't know about 'ghcup tui'.
2020-10-07 21:42:37 <Christo> u a regular here? is there a discord chat oir something? how do people stay in touch
2020-10-07 21:42:47 × worc3131 quits (~quassel@94.4.49.118) (Ping timeout: 240 seconds)
2020-10-07 21:42:51 <Christo> i'm using irc from a web page
2020-10-07 21:43:36 → worc3131 joins (~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786)
2020-10-07 21:44:27 hackage blanks 0.4.2 - Fill-in-the-blanks - A library factoring out substitution from ASTs https://hackage.haskell.org/package/blanks-0.4.2 (ejconlon)
2020-10-07 21:44:42 <koz_> Christo: I am a regular here. I have a bouncer which means I'm around here all the time.
2020-10-07 21:44:50 <koz_> This is how folks stay in touch.
2020-10-07 21:45:01 <koz_> ('this' meaning 'this IRC channel right here')
2020-10-07 21:45:35 <Christo> ok cool, well i'll give those steps a try in an hr or 2 thx
2020-10-07 21:47:00 <koz_> Good luck!
2020-10-07 21:47:24 → ashbreeze joins (~mark@72-161-255-197.dyn.centurytel.net)
2020-10-07 21:49:35 × _ashbreeze_ quits (~mark@72-161-254-200.dyn.centurytel.net) (Ping timeout: 258 seconds)
2020-10-07 21:52:34 × knupfer quits (~Thunderbi@mue-88-130-61-066.dsl.tropolys.de) (Ping timeout: 246 seconds)
←Prev  Next→
Page 1 .. 496 497 498 499 500 501 502 503 504 505 506 .. 5022

All times are in UTC.