Prune duplicates in ghci history
When we enter the same expressions in ghci, all of them go in to history. It'd be useful to have an option to eliminate duplicate expressions before storing them in ghci history.
We can also consider doing this for storing ghci history as a file.
Trac metadata
Trac field | Value |
---|---|
Version | 6.8.3 |
Type | FeatureRequest |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | GHCi |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | Unknown |
Architecture | Unknown |