Skip to content

Override default interrupt handlers #24

@TurtlePU

Description

@TurtlePU

As of now, Ctrl+D works correctly, but Ctrl+C stops the entire REPL. Considering the use case -- stopping the divergent computation -- it would be more comfortable to do the same thing as ghci: stop only the current computation without stopping the REPL.

Metadata

Metadata

Assignees

Labels

bugSomething isn't working

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions