cabal init will relocate and rename project structure

[cartazio]

Describe the bug
cabal init MOVEs preexisting data

To Reproduce

1. cabal fetch $anything on hackage

2. cabal init

Expected behavior
i expect (as in previous to cabal-install 3.8 or perhaps even much longer ago), that cabal init uses the preexisting project structure as hinting to suggest directory convention and what not. And not touch code if something already exists.

I do not expect that cabal init to MOVE/RENAME preexisting directories.

I expect cabal init to only clobber a preexisting .cabal file, and maybe LICENSE file. I'm not sure honestly. But i was definitely surprised by the moving.

why did i do cabal init on a preexisting code base

I wanted to generate a more modern .cabal file for a project!

[cartazio]

to be clear, I think this new behavior is pretty reasonable, just surprising. (and I did kinda like how interactive cabal init would use the preexisitng project structure as hinting)

[Mikolaj]

Is it easily recoverable? Does a simple command suffice to get it where it was (other than git reset --hard)? Was any data lost? Asking just in case.

[cartazio]

no data was lost, but editor state was very confused because i did have open buffers on all those files that suddenly weren't there. and DVCS tooling could totally salvage the state of affairs. or just a directory mv/rename

[cartazio]

I guess what i'm trying to say is "cabal should not clobber stuff that isn't cabals". like i'm quite happy to use cabal user-config to update my ~/.cabal/config, but for cabal init to change my source code tree (when i have editors open), when i just wanted to "modernize" the package.cabal file, was an unpleasant suprise

[ffaf1]

Hello @cartazio, indeed changing folder structure can be stressing.

I tried (cabal-install 3.8.1.0): to get a package from Hackage, untar it, run cabal init, pres ⏎ numerous times. This is the tail of the output:

[Log] Using cabal specification: 3.0
[Log] Creating fresh file LICENSE...
[Log] Creating fresh file CHANGELOG.md...
[Log] Creating fresh directory ./app...
[Log] Creating fresh file app/Main.hs...
[Log] Creating fresh file venzone-1.1.0.1.cabal...
[Warning] No synopsis given. You should edit the .cabal file and add one.
[Info] You may want to edit the .cabal file and add a Description field.

I don't see — e.g. — my src/ folder moved to the newly created app/. Is there a repo I can clone to reproduce?

[andreasabel]

@cartazio wrote:

i expect (as in previous to cabal-install 3.8 or perhaps even much longer ago), that cabal init uses the preexisting project structure as hinting to suggest directory convention and what not. And not touch code if something already exists.

This would also be my expectation: I write some Haskell code, and then cabalize it. So cabal init helps me with the initial .cabal file, e.g. finds the build-depends for some standard modules I import.

The new cabal init (#7344, @emilypi, @ptkato maybe #5705) follows a different philosophy: We start a new project from scratch and set it up using cabal init. Maybe the rationale there is that you cannot reasonably write any Haskell without having a .cabal file already (which has become more true with GHC 9 environment files and v2-cabal nix-style builds).

So the new cabal init initializes a new Haskell project more than initializing a .cabal file for some Haskell project.

Since old and new cabal init, while sharing some functionality, have different purposes, I think it would have been better to locate the new one under a new name, like cabal init-project. (Also because there was quite some API change from old to new.)

This path was not taken, so we just have one init now, that has to serve both philosophies. And I think it should make a best effort at doing so. I think it is possible, by discerning whether it is run in an existing project or on a clean slate.

[cartazio]

@ffaf1 i always use cabal interactive init. And I have that reflected in my ~/.cabal/config. I also set it to be recent cabal version flavored.

[cartazio]

@andreasabel thanks for adding some context!

It occurs to me that at least for how I always use cabal init (interactive mode), it should be possible to use the oracular power of interaction to ask the user if cabal-install should guess the default config choices based on the existing prject structure.

[ulysses4ever]

Just as @ffaf1, reading the bug report I fail to discern what exactly went wrong. @cartazio can you explain in a bit more detail what you had in the directory, what you did and what you ended up having in the directory. That would increase chances of at least estimating how much effort it would take to make you a happier user of cabal init with cabal 3.8+.

[cartazio]

I’ll do a better job of giving a reproducible example later this morning. Very reasonable and I can see it might be tricky without a teeny bit extra info

…

On Tue, Feb 21, 2023 at 11:23 AM Artem Pelenitsyn ***@***.***> wrote: Just as @ffaf1 <https://github.com/ffaf1>, reading the bug report I fail to discern what exactly went wrong. @cartazio <https://github.com/cartazio> can you explain in a bit more detail what you had in the directory, what you did and what you ended up having in the directory. That would increase chances of at least estimating how much effort it would take to make you a happier user of cabal init with cabal 3.8+. — Reply to this email directly, view it on GitHub <#8787 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAABBQXP3GC7MSTCBJZQFCDWYTTXLANCNFSM6AAAAAAVBKQYJY> . You are receiving this because you were mentioned.Message ID: ***@***.***>

[cartazio]

ok, so it looks like theres actually a prompt that says "would you like to overwrite files" in the interactive ux that I didnt notice because its new:

edit: i have interactive: True in my .cabal/config

heres a transcript of how to repro stuff that should show that

> cabal get data-treify
Unpacking to data-treify-0.3.4/
carterschonwald@CarterHydra ~/D/scratch> cd data-treify-0.3.4/
carterschonwald@CarterHydra ~/D/s/data-treify-0.3.4> git init
Initialized empty Git repository in /Users/carter/Desktop/scratch/data-treify-0.3.4/.git/
carterschonwald@CarterHydra ~/D/s/data-treify-0.3.4 (main)> git add .
carterschonwald@CarterHydra ~/D/s/data-treify-0.3.4 (main)> cabal init --interactive
What does the package build:
   1) Library
 * 2) Executable
   3) Library and Executable
   4) Test suite
Your choice? [default: Executable] 3
Do you wish to overwrite existing files (backups will be created) (y/n)? [default: n] n
Package name? [default: data-treify-0.3.4]
Package version? [default: 0.1.0.0]
Please choose a license:
   1) BSD-2-Clause
   2) BSD-3-Clause
   3) Apache-2.0
   4) MIT
   5) MPL-2.0
   6) ISC
   7) GPL-2.0-only
   8) GPL-3.0-only
   9) LGPL-2.1-only
  10) LGPL-3.0-only
  11) AGPL-3.0-only
  12) GPL-2.0-or-later
  13) GPL-3.0-or-later
  14) LGPL-2.1-or-later
  15) LGPL-3.0-or-later
  16) AGPL-3.0-or-later
  17) Other (specify)
Your choice? 4
Author name? [default: Carter Tazio Schonwald]
Maintainer email? [default: carter.schonwald 
homepage URL? [optional]
Project synopsis? [optional]
Project category:
   1) Codec
   2) Concurrency
   3) Control
   4) Data
   5) Database
   6) Development
   7) Distribution
   8) Game
   9) Graphics
  10) Language
  11) Math
  12) Network
  13) Sound
  14) System
  15) Testing
  16) Text
  17) Web
  18) Other (specify)
Your choice? [default: (none)] 4
Library source directory:
 * 1) src
   2) lib
   3) src-lib
   4) Other (specify)
Your choice? [default: src]
Choose a language for your library:
 * 1) Haskell2010
   2) Haskell98
   3) GHC2021 (requires at least GHC 9.2)
   4) Other (specify)
Your choice? [default: Haskell2010]
What is the main module of the executable:
 * 1) Main.hs
   2) Main.lhs
   3) Other (specify)
Your choice? [default: Main.hs]
Application directory:
 * 1) app
   2) exe
   3) src-exe
   4) Other (specify)
Your choice? [default: app]
Choose a language for your executable:
 * 1) Haskell2010
   2) Haskell98
   3) GHC2021 (requires at least GHC 9.2)
   4) Other (specify)
Your choice? [default: Haskell2010]
Should I generate a test suite for the library? [default: y] y
What is the main module of the test suite?:
 * 1) Main.hs
   2) Main.lhs
   3) Other (specify)
Your choice? [default: Main.hs]
Test directory? [default: test]
Choose a language for your test suite:
 * 1) Haskell2010
   2) Haskell98
   3) GHC2021 (requires at least GHC 9.2)
   4) Other (specify)
Your choice? [default: Haskell2010]
Add informative comments to each field in the cabal file. (y/n)? [default: y] y
[Log] Using cabal specification: 3.6
[Log] Using existing file LICENSE...
[Log] Creating fresh file CHANGELOG.md...
[Log] Using existing directory ./src...
[Log] Creating fresh file src/MyLib.hs...
[Log] Creating fresh directory ./app...
[Log] Creating fresh file app/Main.hs...
[Log] Creating fresh directory ./test...
[Log] Creating fresh file test/Main.hs...
[Log] Creating fresh file data-treify-0.3.4.cabal...
[Warning] No synopsis given. You should edit the .cabal file and add one.
[Info] You may want to edit the .cabal file and add a Description field.

carterschonwald@CarterHydra ~/D/s/data-treify-0.3.4 (main)> git status
On branch main

No commits yet

Changes to be committed:
  (use "git rm --cached <file>..." to unstage)
	new file:   LICENSE
	new file:   Setup.lhs
	new file:   data-treify.cabal
	new file:   src/CustomTy.hs
	new file:   src/Data/Reify/TGraph.hs
	new file:   src/Data/TReify.hs
	new file:   src/Exp.hs

Untracked files:
  (use "git add <file>..." to include in what will be committed)
	CHANGELOG.md
	app/
	data-treify-0.3.4.cabal
	src/MyLib.hs
	test/

[cartazio]

the important bit that snuck up on me was
Do you wish to overwrite existing files (backups will be created) (y/n)? [default: n] y
because I think that was a new ux detail, previously there was no way cabal would ever clobber a preexisting source tree! (edit: and in the historical ux, saying y is usually just the "would you like explanatory comments included in the generated file")

the workflow failure itself would look like

> cabal init --interactive
What does the package build:
   1) Library
 * 2) Executable
   3) Library and Executable
   4) Test suite
Your choice? [default: Executable] 3
Do you wish to overwrite existing files (backups will be created) (y/n)? [default: n] y
Package name? [default: data-treify-0.3.4]
Package version? [default: 0.1.0.0]
Please choose a license:
   1) BSD-2-Clause
   2) BSD-3-Clause
   3) Apache-2.0
   4) MIT
   5) MPL-2.0
   6) ISC
   7) GPL-2.0-only
   8) GPL-3.0-only
   9) LGPL-2.1-only
  10) LGPL-3.0-only
  11) AGPL-3.0-only
  12) GPL-2.0-or-later
  13) GPL-3.0-or-later
  14) LGPL-2.1-or-later
  15) LGPL-3.0-or-later
  16) AGPL-3.0-or-later
  17) Other (specify)
Your choice? 4
Author name? [default: Carter Tazio Schonwald]
Maintainer email? [default: carter.schonwald]
Project homepage URL? [optional]
Project synopsis? [optional]
Project category:
   1) Codec
   2) Concurrency
   3) Control
   4) Data
   5) Database
   6) Development
   7) Distribution
   8) Game
   9) Graphics
  10) Language
  11) Math
  12) Network
  13) Sound
  14) System
  15) Testing
  16) Text
  17) Web
  18) Other (specify)
Your choice? [default: (none)] 4
Library source directory:
 * 1) src
   2) lib
   3) src-lib
   4) Other (specify)
Your choice? [default: src]
Choose a language for your library:
 * 1) Haskell2010
   2) Haskell98
   3) GHC2021 (requires at least GHC 9.2)
   4) Other (specify)
Your choice? [default: Haskell2010]
What is the main module of the executable:
 * 1) Main.hs
   2) Main.lhs
   3) Other (specify)
Your choice? [default: Main.hs]
Application directory:
 * 1) app
   2) exe
   3) src-exe
   4) Other (specify)
Your choice? [default: app]
Choose a language for your executable:
 * 1) Haskell2010
   2) Haskell98
   3) GHC2021 (requires at least GHC 9.2)
   4) Other (specify)
Your choice? [default: Haskell2010]
Should I generate a test suite for the library? [default: y]
What is the main module of the test suite?:
 * 1) Main.hs
   2) Main.lhs
   3) Other (specify)
Your choice? [default: Main.hs]
Test directory? [default: test]
Choose a language for your test suite:
 * 1) Haskell2010
   2) Haskell98
   3) GHC2021 (requires at least GHC 9.2)
   4) Other (specify)
Your choice? [default: Haskell2010]
Add informative comments to each field in the cabal file. (y/n)? [default: y]
[Log] Using cabal specification: 3.6
[Log] LICENSE already exists. Backing up old version in LICENSE.save0
[Log] Overwriting file LICENSE...
[Log] CHANGELOG.md already exists. Backing up old version in CHANGELOG.md.save0
[Log] Overwriting file CHANGELOG.md...
[Log] src already exists. Backing up old version in src.save0
[Log] Overwriting directory ./src...
[Log] Creating fresh file src/MyLib.hs...
[Log] app already exists. Backing up old version in app.save0
[Log] Overwriting directory ./app...
[Log] Creating fresh file app/Main.hs...
[Log] test already exists. Backing up old version in test.save0
[Log] Overwriting directory ./test...
[Log] Creating fresh file test/Main.hs...
[Log] data-treify-0.3.4.cabal already exists. Backing up old version in data-treify-0.3.4.cabal.save0
[Log] Overwriting file data-treify-0.3.4.cabal...
[Warning] No synopsis given. You should edit the .cabal file and add one.
[Info] You may want to edit the .cabal file and add a Description field.

carterschonwald@CarterHydra ~/D/s/data-treify-0.3.4 (main)> git status
On branch main

No commits yet

Changes to be committed:
  (use "git rm --cached <file>..." to unstage)
	new file:   LICENSE
	new file:   Setup.lhs
	new file:   data-treify.cabal
	new file:   src/CustomTy.hs
	new file:   src/Data/Reify/TGraph.hs
	new file:   src/Data/TReify.hs
	new file:   src/Exp.hs

Changes not staged for commit:
  (use "git add/rm <file>..." to update what will be committed)
  (use "git restore <file>..." to discard changes in working directory)
	modified:   LICENSE
	deleted:    src/CustomTy.hs
	deleted:    src/Data/Reify/TGraph.hs
	deleted:    src/Data/TReify.hs
	deleted:    src/Exp.hs

Untracked files:
  (use "git add <file>..." to include in what will be committed)
	CHANGELOG.md
	CHANGELOG.md.save0
	LICENSE.save0
	app.save0/
	app/
	data-treify-0.3.4.cabal
	data-treify-0.3.4.cabal.save0
	src.save0/
	src/MyLib.hs
	test.save0/
	test/