New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Type constructor names should be case insensitive #128

Open

ndmitchell opened this issue Jul 20, 2015 · 0 comments

Owner

ndmitchell commented Jul 20, 2015

From https://code.google.com/p/ndmitchell/issues/detail?id=415

Searching for DateTime -> Double should be the same as searching for Datetime -> Double, i.e. type constructor names should be insensitive.

As a side effect, searching for DOUBLE should just search for Double, not suggest that you might have meant Double (as it does now).

Additional examples abound, so this would be quite nice to fix.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment