Skip to content
This repository has been archived by the owner on Jan 2, 2021. It is now read-only.

Add back a .ghci file #607

Merged
merged 1 commit into from
Jun 10, 2020
Merged

Add back a .ghci file #607

merged 1 commit into from
Jun 10, 2020

Conversation

ndmitchell
Copy link
Collaborator

Allegedly it's possible to develop Ghcide without using Ghcid. I am yet to be convinced, and certainly I can't do it.

@pepeiborra
Copy link
Collaborator

Allegedly it's possible to develop Ghcide without using Ghcid. I am yet to be convinced, and certainly I can't do it.

What do you need Ghcid for?

@ndmitchell
Copy link
Collaborator Author

What do you need Ghcid for?

When Ghcide isn't working. Either because it fails to setup (which seems to be the case at the moment - failing to configure process through Cabal sandbox) or because I broke it while developing.

@mpickering
Copy link
Contributor

I don't think this file is generally useful, it was broken when I tried to run it before so I removed it.

@ndmitchell
Copy link
Collaborator Author

It works for me, and without it, developing Ghcide is nearly impossible. Does its existence harm anyone else? If so, we could rename it slightly, and then it would be even more innocuous.

I note that the hie.yaml file is also broken and doesn't work (for me), although I'm happy for it to stay for now #610 🤣

Copy link
Collaborator

@cocreature cocreature left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Given that it doesn’t seem to do any harm, I’m fine with adding it.

@cocreature cocreature merged commit 7ac6b92 into haskell:master Jun 10, 2020
pepeiborra pushed a commit to pepeiborra/ide that referenced this pull request Dec 29, 2020
pepeiborra pushed a commit to pepeiborra/ide that referenced this pull request Dec 29, 2020
pepeiborra pushed a commit to pepeiborra/ide that referenced this pull request Dec 29, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants