Opened 8 years ago

Closed 5 years ago

Last modified 4 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: Difficulty: Easy (less than 1 hour)
Test Case: N/A Blocked By:
Blocking: Related Tickets:

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

comment:1 Changed 8 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 8 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 8 years ago by igloo

  • Milestone set to _|_
  • Test Case set to N/A

comment:4 Changed 6 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 6 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:6 Changed 6 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple

comment:7 Changed 5 years ago by simonmar

  • Resolution set to wontfix
  • Status changed from new to closed

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

comment:8 Changed 4 years ago by simonmar

  • Difficulty changed from Easy (1 hr) to Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.