RE: Cabal install

2019-05-31 Thread Simon Peyton Jones
Thanks Oleg my first guess is that: when working on the unsaturated type families paper, you did `cabal install --lib report`; or something similar. `report` is probably some internal library to that paper / project. I am confident I did nothing like that. But there is a file called report.caba

RE: Installation failed

2019-05-31 Thread Simon Peyton Jones
Few points, If you run Windows 10 (Pro?), you can setup to make symlinks without needing administrator privileges Actually I've now switched to using the Windows Subsytem for Linux (WSL), which works pretty well and means that I don't need to be the beta-tester for windows :-). I should have s

Re: Cabal install

2019-05-31 Thread Oleg Grenrus
Hi Simon, I see, you triggered another feature/bug of cabal install, namely when you are in a project directory, project settings affect solving process. And when there's a .cabal file, it's a project. So cabal tried to find an install plan containing local packages (that makes sense, if you t

Re: Installation failed

2019-05-31 Thread Oleg Grenrus
Sorry, I wrote non-sense, the command is cabal user-config update -- cabal-install-3.0.0.0 is the latest (and in fact non-released) version you can have. Your last (failed) attempt actually wanted to install cabal-install-2.4.1.0! Reinstalling cabal-install (from Hackage) via cabal-install

RE: Cabal install

2019-05-31 Thread Simon Peyton Jones
Solution is to change directory (cd) somewhere else and try again. (There's also cabal install -z flag feature request, -z to ignore local project; but it's not yet merged). Yes, that's what I worked out in the end. But it doesn't feel like a solution; it feels like a workaround. My point is t

RE: Cabal install

2019-05-31 Thread Simon Peyton Jones
PS: would a -z flag have helped me? Alas no: I would never have found it. I had no idea that cabal was looking at a local project. I can see this is a difficult UI problem From: Simon Peyton Jones Sent: 31 May 2019 10:10 To: Oleg Grenrus ; cabal-devel@haskell.org Cc: Simon Peyton-Jones (simo...

RE: Installation failed

2019-05-31 Thread Simon Peyton Jones
Reinstalling cabal-install (from Hackage) via cabal-install is currently not well exercised codepath. People usually install cabal from either Herbert's PPA, via ghcup or chocolatey package managers. So even I don't see reason installing cabal-install via cabal-install shouldn't work, I don't re