GHCi commands case insensitive

[Oblosys]

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.

[igloo]

Seems reasonable to me.

[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.