Opened 18 months ago

Last modified 9 months ago

#8772 upstream feature request

ghci should save history more often

Reported by: nomeata Owned by: ekmett
Priority: normal Milestone:
Component: Core Libraries Version: 7.6.3
Keywords: 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 Revisions:

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

comment:1 Changed 18 months ago by nomeata

  • Summary changed from ghci should safe history more often to ghci should save history more often

comment:2 Changed 18 months ago by nomeata

  • Component changed from GHCi to libraries (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 18 months ago by nomeata (previous) (diff)

comment:3 Changed 10 months ago by thoughtpolice

  • Component changed from libraries (other) to Core Libraries
  • Owner set to ekmett

Moving over to new owning component 'Core Libraries'.

comment:4 Changed 9 months ago by thomie

  • Cc core-libraries-committee@… added
  • Status changed from new to upstream
Note: See TracTickets for help on using tickets.