Opened 3 years ago

Last modified 13 months ago

#8772 upstream feature request

ghci should save history more often

Reported by: nomeata Owned by:
Priority: normal Milestone:
Component: GHCi Version: 7.6.3
Keywords: newcomer Cc: hvr, core-libraries-committee@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

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 (6)

comment:1 Changed 3 years ago by nomeata

Summary: ghci should safe history more oftenghci should save history more often

comment:2 Changed 3 years ago by nomeata

Component: GHCilibraries (other)

Looking at the code, it seems that this needs to be implemented in haskeline; filed at https://github.com/judah/haskeline/issues/5

Last edited 3 years ago by nomeata (previous) (diff)

comment:3 Changed 2 years ago by thoughtpolice

Component: libraries (other)Core Libraries
Owner: set to ekmett

Moving over to new owning component 'Core Libraries'.

comment:4 Changed 2 years ago by thomie

Cc: core-libraries-committee@… added
Status: newupstream

comment:5 Changed 18 months ago by thomie

Owner: ekmett deleted

comment:6 Changed 13 months ago by thomie

Component: Core LibrariesGHCi
Keywords: newcomer added

For a newcomer: first do https://github.com/judah/haskeline/issues/5, then come back here to modify GHCi.

Note: See TracTickets for help on using tickets.