Ticket #4487 (closed bug: fixed)
.ghci file is kept open while ghci is running
|Reported by:||NeilMitchell||Owned by:||igloo|
|Type of failure:||None/Unknown||Difficulty:|
|Test Case:||Blocked By:|
Given a .ghci file in the current directory, when I start ghci it loads that file. However, ghci keeps that file open and locked while running. As a result, any attempts to edit the file give an error from my text editor of "Encountered a sharing violation while accessing .ghci".
The solution would be for ghci to strictly read the .ghci file before it starts, rather than leaving the handle to the file open.
Reported against 7, but it's been this way for a while. Could well be Windows specific.