Opened 11 years ago

Closed 9 years ago

Last modified 8 years ago

#907 closed feature request (wontfix)

Case sensitive ghci commands

Reported by: br1@… Owned by:
Priority: lowest Milestone:
Component: GHCi Version: 6.4.1
Keywords: case command colon Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: N/A
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


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 (8)

comment:1 Changed 11 years ago 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?

comment:2 Changed 11 years ago 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.

comment:3 Changed 11 years ago by igloo

Milestone: _|_
Test Case: N/A

comment:4 Changed 9 years ago 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?

comment:5 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:6 Changed 9 years ago by simonmar

Operating System: UnknownUnknown/Multiple

comment:7 Changed 9 years ago by simonmar

Resolution: wontfix
Status: newclosed

Making an executive decision here. If you want this, then use :def R, for example.

comment:8 Changed 8 years ago by simonmar

difficulty: Easy (1 hr)Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.