Skip to content

Fix indentation unicode symbols. #714

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

Merged
merged 1 commit into from
Jun 11, 2015

Conversation

eigengrau
Copy link
Contributor

The GHC lexer actually uses the symbols ⤙ and ⤚ for arrow notation, and
these are the glyphs which the listed code-points and Unicode names in
the file refer to. However, the table from the GHC documentation, from
which the symbols in haskell-indentation.el seem to have been copied,
currently lists the wrong glyphs for these codepoints.

Cf. lexer source. I’ve already filed a bug against the GHC docs.

The GHC lexer actually uses the symbols ⤙ and ⤚ for arrow notation, and
these are the glyphs which the listed code-points and Unicode names in
the file refer to. However, the table from the GHC documentation, from
which the symbols in haskell-indentation.el seem to have been copied,
currently lists the wrong glyphs for these codepoints.
@gracjan
Copy link
Contributor

gracjan commented Jun 11, 2015

Very good catch! Thanks!

gracjan added a commit that referenced this pull request Jun 11, 2015
@gracjan gracjan merged commit 027c869 into haskell:master Jun 11, 2015
@eigengrau eigengrau deleted the fix-unicode-indentation-symbols branch June 11, 2015 09:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants