Logs: liberachat/#haskell
| 2021-06-19 18:48:13 | <arjun> | https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/cabal.project |
| 2021-06-19 18:48:32 | <dminuoso> | That shouldnt matter |
| 2021-06-19 18:49:25 | <arjun> | dminuoso: when i go here -> https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/app/ghcup/Main.hs |
| 2021-06-19 18:49:27 | <tomsmeding> | dminuoso: with multiple components, `cabal repl` errors out and asks you to specify a component |
| 2021-06-19 18:49:42 | <arjun> | and try to load the file with C-c C-l |
| 2021-06-19 18:49:55 | <tomsmeding> | Rembane: is that Palka paper the state of the art, or is there a less ad-hoc approach known? :P |
| 2021-06-19 18:49:59 | <dminuoso> | tomsmeding: Are you sure? Judging from the code it should work |
| 2021-06-19 18:50:09 | <arjun> | it builds some stuff and then pops up those hidden module errors : / |
| 2021-06-19 18:50:20 | <tomsmeding> | dminuoso: haven't looked at cabal's source, just user experience :p |
| 2021-06-19 18:50:25 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-19 18:50:26 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-19 18:50:29 | <dminuoso> | tomsmeding: you probably experienced multiple packages |
| 2021-06-19 18:50:42 | <dminuoso> | arjun: judging fom the source code `cabal repl`, if no target is specified, will default to: |
| 2021-06-19 18:50:47 | → | jneira_ joins (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) |
| 2021-06-19 18:50:52 | <dminuoso> | 1. the library, if there's exactly one buildable library |
| 2021-06-19 18:51:10 | <dminuoso> | 2. the executable, if there's exactly one buildable executable |
| 2021-06-19 18:51:15 | <tomsmeding> | Hmm I might have, sorry for the noise then |
| 2021-06-19 18:51:37 | <tomsmeding> | Though in my case the cabal file has 2 executables |
| 2021-06-19 18:51:42 | <dminuoso> | arjun: so your `cabal repl` likely defaults to the (unnamed) library |
| 2021-06-19 18:51:58 | <dminuoso> | tomsmeding: Like I said above. |
| 2021-06-19 18:52:02 | <arjun> | dminuoso: that's probably it |
| 2021-06-19 18:52:10 | <arjun> | dminuoso: what do i do here? |
| 2021-06-19 18:52:34 | <dminuoso> | arjun: you can specify by running `cabal repl ghcup:exe:ghcup` |
| 2021-06-19 18:52:58 | <arjun> | dminuoso: from the terminal or emacs? |
| 2021-06-19 18:53:04 | <dminuoso> | Yes. |
| 2021-06-19 18:53:05 | <arjun> | pardon the noobness |
| 2021-06-19 18:53:23 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) |
| 2021-06-19 18:53:34 | <dminuoso> | arjun: It doesnt matter. If you invoke `cabal repl` from the terminal, you should observe the same behavior. Can you verify? |
| 2021-06-19 18:53:36 | → | chrysanthematic joins (~chrysanth@user/chrysanthematic) |
| 2021-06-19 18:53:38 | → | is7s joins (~is7s@2a01:4b00:895f:3d00:ddd:ae00:86d4:d79c) |
| 2021-06-19 18:55:57 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-19 18:55:57 | <arjun> | dminuoso: right. so it seemed it worked from terminal |
| 2021-06-19 18:56:06 | × | phma quits (phma@2001:5b0:210b:98b8:ef83:24f5:5460:8a3e) (Read error: Connection reset by peer) |
| 2021-06-19 18:56:11 | <dminuoso> | Mmm |
| 2021-06-19 18:56:26 | <dminuoso> | arjun: so `cabal repl` from terminal lets you import Options.Applicative? |
| 2021-06-19 18:56:31 | × | jneira_ quits (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-06-19 18:56:34 | <dminuoso> | Or did you run `cabal repl ghcup:exe:ghcup`? |
| 2021-06-19 18:56:41 | <arjun> | the second one |
| 2021-06-19 18:56:44 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2021-06-19 18:57:01 | <arjun> | caba repl whatyousaid |
| 2021-06-19 18:57:21 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-19 18:57:24 | <dminuoso> | arjun: for emacs, I believe it could be sufficient to: M-: (set haskell-process-args-cabal-repl "ghcup:exe:ghcup") |
| 2021-06-19 18:57:37 | <dminuoso> | this is very inconvenient obviously, but right now there's no other way |
| 2021-06-19 18:57:47 | <dminuoso> | err *setq |
| 2021-06-19 18:57:56 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:1543:9aaf:78fa:158) (Ping timeout: 265 seconds) |
| 2021-06-19 18:59:19 | <dminuoso> | Ideally there should be a setting that if set, would read-string for the cabal target each time cabal commands are invoked. |
| 2021-06-19 19:00:32 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 252 seconds) |
| 2021-06-19 19:00:38 | <arjun> | dminuoso: i restarted the process after setq'ing it |
| 2021-06-19 19:00:55 | <arjun> | i guess i messed up somewhere because eveyting is dying now : P |
| 2021-06-19 19:01:22 | → | ubert joins (~Thunderbi@p200300ecdf259d37886351c709683887.dip0.t-ipconnect.de) |
| 2021-06-19 19:01:55 | → | phma joins (phma@2001:5b0:210d:afc8:5ec1:374f:fafc:21e6) |
| 2021-06-19 19:03:17 | <arjun> | dminuoso: hang on. let me kill emacs and try again. maybe i found something |
| 2021-06-19 19:03:35 | <arjun> | i'd have to log back in here since i am on here with ERC : P |
| 2021-06-19 19:03:36 | <arjun> | brb |
| 2021-06-19 19:03:41 | × | arjun quits (~user@user/arjun) (Remote host closed the connection) |
| 2021-06-19 19:04:06 | <Cajun> | so i updated my GHC last night to 8.10.5 and im trying to install `friday` from cabal, but its complaining about `accelerate` among other things. i successfully installed `accelerate` yesterday so i have no idea why its complaining about it. output: https://paste.tomsmeding.com/w9xudI7Z |
| 2021-06-19 19:05:02 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-19 19:05:13 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-06-19 19:05:36 | <dminuoso> | Cajun: So ideally just stop using `cabal install --lib` |
| 2021-06-19 19:06:08 | → | arjun joins (~user@user/arjun) |
| 2021-06-19 19:06:20 | <arjun> | dminuoso: back |
| 2021-06-19 19:06:25 | <arjun> | ITS A WIN |
| 2021-06-19 19:06:29 | <Cajun> | in what other way should i go about installing the library? |
| 2021-06-19 19:06:31 | <dminuoso> | The problem has to do with the fact that each project you install produces fixed constraints. This quickly leads to unbuildable projects if you install one lib at a time. |
| 2021-06-19 19:06:57 | <dminuoso> | Cajun: Presumably you're writing some software project, right? |
| 2021-06-19 19:07:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-19 19:07:23 | <arjun> | dminuoso: so what you have to do is. first let it start in whatever target it starts. then you CHANGE the target with `haskell-session-change-target` |
| 2021-06-19 19:07:45 | → | warnz joins (~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) |
| 2021-06-19 19:07:51 | <dminuoso> | arjun: Ah, that sounds better indeed. |
| 2021-06-19 19:08:01 | <dminuoso> | Im not familiar with haskell interactive mode, so Im just skimming the source |
| 2021-06-19 19:08:12 | <arjun> | dminuoso: you were a real help |
| 2021-06-19 19:08:13 | <dminuoso> | arjun: since you appear to be using haskell-mode yourself |
| 2021-06-19 19:08:17 | <dminuoso> | can you give me 5 minutes of your time? |
| 2021-06-19 19:08:27 | <arjun> | dminuoso: you have em. |
| 2021-06-19 19:08:31 | <Cajun> | dminuoso: working through the parallel/concurrent textbook and `repa-devil` for one of the examples is deprecated in favor of `friday`. i have no idea how to use cabal (i know more about stack, but stack just hates building this project) so adding it to the dependencies seems daunting |
| 2021-06-19 19:08:50 | <dminuoso> | arjun: Can you try and reproduce this one quickly? https://github.com/haskell/haskell-mode/issues/1751 |
| 2021-06-19 19:08:56 | <dminuoso> | (please try both terminal and gui mode) |
| 2021-06-19 19:09:36 | <dminuoso> | Cajun: So the usual method is to set up a project directly, use `cabal init`, and then add all dependencies to the build-depends section |
| 2021-06-19 19:09:56 | <dminuoso> | Then, assuming you have a relatively recent version of cabal, you just `cabal build`, and it will automatically grab dependencies for you |
| 2021-06-19 19:10:24 | <dminuoso> | arjun: if you're on nix, dont use my nix expression. |
| 2021-06-19 19:10:33 | → | amirouche joins (~amirouche@user/amirouche) |
| 2021-06-19 19:10:35 | <amirouche> | hello |
| 2021-06-19 19:10:56 | <arjun> | dminuoso: i am just reading through the issue now. |
| 2021-06-19 19:10:57 | → | jneira_ joins (~jneira_@131.red-79-155-1.dynamicip.rima-tde.net) |
| 2021-06-19 19:11:06 | <arjun> | i was having similar scroll problems |
| 2021-06-19 19:11:16 | <arjun> | solved them by disabling lsp-ui-mode |
| 2021-06-19 19:11:33 | <amirouche> | what is the name of the relation between to predicates p1 and p2, for all x, p1(x) != p2(x) |
| 2021-06-19 19:11:34 | <amirouche> | ? |
| 2021-06-19 19:11:39 | <amirouche> | s/to/two/ |
| 2021-06-19 19:11:42 | <dminuoso> | arjun: are you on graphical emacs or terminal? |
| 2021-06-19 19:11:53 | × | warnz quits (~warnz@2600:1700:77c0:5610:d5d8:e36a:2948:a4e3) (Ping timeout: 252 seconds) |
| 2021-06-19 19:12:02 | × | ubert quits (~Thunderbi@p200300ecdf259d37886351c709683887.dip0.t-ipconnect.de) (Quit: ubert) |
| 2021-06-19 19:12:08 | <arjun> | dminuoso: graphical. pgtk nativecomp at that : P |
| 2021-06-19 19:12:44 | <dminuoso> | arjun: then it likely wouldnt reproduce. but give it a run in both gui and terminal |
| 2021-06-19 19:12:48 | <dminuoso> | so far I can only reproduce in terminal |
| 2021-06-19 19:13:04 | <arjun> | i see. |
| 2021-06-19 19:13:09 | <dminuoso> | I havent quite figured out what makes terminal so special, because the underlying issue should be apparent in both |
| 2021-06-19 19:13:57 | <Cajun> | dminuoso: thanks a bunch, im new to cabal and adding it to the project dependencies went entirely over my head |
| 2021-06-19 19:14:43 | <dminuoso> | Cajun: It should be really straight forward. Feel free to present any issue you have |
| 2021-06-19 19:16:41 | tomsmeding | thought the thing of adding dependencies to the project instead of installing them globally worked that way with stack too |
All times are in UTC.