Ticket #907 (new feature request)

Opened 2 years ago

Last modified 2 months ago

Case sensitive ghci commands

Reported by: br1@internet.com.uy Assigned to:
Priority: lowest Milestone: _|_
Component: GHCi Version: 6.4.1
Severity: trivial Keywords: case command colon
Cc: Difficulty: Easy (1 hr)
Test Case: N/A Operating System: Unknown/Multiple
Architecture: Unknown/Multiple

Description

In spanish keyboards you have to use the shift key to get a colon (:). This bites me when I do ":r" in ghci. Half the time I get ":R". I would like to request that case made no difference in this case.

Change History

09/28/06 02:40:54 changed by simonmar

We aren't sure whether to do this: everything else is case sensitive (unless you're on a Windows system in which case filenames are case-insensitive), so from a consistency point of view it makes sense to keep commands case-sensitive.

What do other people think?

09/28/06 02:49:14 changed by neil

Hugs/WinHugs on both Windows and Linux are case-insensitive for entering commands.

If you allow either case, those who want to type in upper-case are happy, and those who want to type in lower-case are happy.

If you allow just upper-case, you'll upset the (very small) number of people who try upper-case.

10/21/06 09:47:09 changed by igloo

  • testcase set to N/A.
  • milestone set to _|_.

04/02/08 19:45:06 changed by SamB

FWIW, I don't think most of us care one way or the other; probably the only people who care are those who want it case-insensitive?

09/30/08 08:37:46 changed by simonmar

  • architecture changed from Unknown to Unknown/Multiple.

09/30/08 08:52:11 changed by simonmar

  • os changed from Unknown to Unknown/Multiple.