Opened 3 years ago

Last modified 8 months ago

#7158 new feature request

GHCi commands case insensitive

Reported by: Oblosys Owned by:
Priority: normal Milestone: 7.12.1
Component: GHCi Version: 7.6.1-rc1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

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 3 years ago by igloo

  • Component changed from Compiler to GHCi
  • difficulty set to Unknown
  • Milestone set to 7.8.1

Seems reasonable to me.

comment:2 Changed 3 years ago by simonmar

I vote against, mainly because I have a Unix upbringing and I am allergic to case insensitivity. But if everyone else wants this I don't feel that strongly.

comment:3 Changed 16 months ago by thoughtpolice

  • Milestone changed from 7.8.3 to 7.10.1

Moving to 7.10.1

comment:4 Changed 8 months ago by thoughtpolice

  • Milestone changed from 7.10.1 to 7.12.1

Moving to 7.12.1 milestone; if you feel this is an error and should be addressed sooner, please move it back to the 7.10.1 milestone.

Note: See TracTickets for help on using tickets.