ghci should save history more often
|Reported by:||nomeata||Owned by:||ekmett|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Revisions:|
It is very annoying if ghci crashes (due to using a foreign library wrongly, for example), and then the history is lost. It should be simple to save each line to history before it is being executed.
Maybe a good task for new contributors?
Change History (4)
comment:1 Changed 16 months ago by nomeata
- Summary changed from ghci should safe history more often to ghci should save history more often
comment:2 Changed 16 months ago by nomeata
- Component changed from GHCi to libraries (other)
comment:3 Changed 8 months ago by thoughtpolice
- Component changed from libraries (other) to Core Libraries
- Owner set to ekmett