Opened 3 years ago

Last modified 7 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 changed from ghci should safe history more often to ghci should save history more often

comment:2 Changed 3 years 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 3 years ago by nomeata (previous) (diff)

comment:3 Changed 2 years 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 22 months ago by thomie

  • Cc core-libraries-committee@… added
  • Status changed from new to upstream

comment:5 Changed 12 months ago by thomie

  • Owner ekmett deleted

comment:6 Changed 7 months ago by thomie

  • Component changed from Core Libraries to GHCi
  • 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.