You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Write a cabal.project file in the benchmark example (#640)
* Write a cabal.project file
As suggested in #617. Taken fron #624
* Write a cabal.project.local
Otherwise Cabal still errors out
* Override default hie dir
Otherwise .hi and .hie files end up in different locations, which causes the getDefinition experiment to fail the second time it's run.
This is because we assume in ghcide that .hi and .hie files have the same lifetimes, which is not true when the ..hie files are wiped but the .hi files aren't.
0 commit comments