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.

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

Support for unicode "variables"? #815

Closed
manonthemat opened this Issue Jan 20, 2017 · 3 comments

Comments

Projects
None yet
4 participants
@manonthemat

manonthemat commented Jan 20, 2017

In certain situations, I've found for me, that choosing a constant/variable name using characters like the kanji "角" instead of the english word "angle" is useful.

I've found that I can not do this using elm 0.18.0.

Is this something that could be of use to the elm community? As I've just started exploring elm, I'm wondering what my next steps would be to be able to actively contribute to this improvement.

@process-bot

This comment has been minimized.

Show comment
Hide comment
@process-bot

process-bot Jan 20, 2017

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

process-bot commented Jan 20, 2017

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.

@mgold

This comment has been minimized.

Show comment
Hide comment
@mgold

mgold Jan 20, 2017

Contributor

Greek letters such as theta, pi, and tau would also be useful.

Contributor

mgold commented Jan 20, 2017

Greek letters such as theta, pi, and tau would also be useful.

@lukewestby

This comment has been minimized.

Show comment
Hide comment
@lukewestby

lukewestby Jan 20, 2017

Member

@manonthemat this is something that should be discussed on the mailing list. github issues are meant primarily for reporting bugs. please refer to the contribution checklist

thanks!

Member

lukewestby commented Jan 20, 2017

@manonthemat this is something that should be discussed on the mailing list. github issues are meant primarily for reporting bugs. please refer to the contribution checklist

thanks!

@lukewestby lukewestby closed this Jan 20, 2017

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