GHCi commands case insensitive
|Reported by:||Oblosys||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Revisions:|
Because GHCi commands start with a colon, it frequently happens to me that my shift key is still down and I accidentally type :R instead of :r, which gives an error. I'm not sure how common this is, but I've seen at least one more person do it.
As it seems unlikely that people define commands that differ only by case, it might be an option to disregard the case altogether when parsing the commands.
Change History (4)
comment:1 Changed 2 years ago by igloo
- Component changed from Compiler to GHCi
- difficulty set to Unknown
- Milestone set to 7.8.1