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

feat: syntax for verbatim string, and special char #81

Open

luochen1990 wants to merge 2 commits into idris-hackers:master from luochen1990:master

Contributor

luochen1990 commented Jan 12, 2018 •

edited

Loading

add syntax support for verbatim string, which is a new syntax feature from idris 1.2.0
add syntax support for special chars. I checked the source code of idris for the syntax definition about string literal, and it point to here, and there is some document like that: The literal character is parsed according to the grammar rules defined in the Haskell report., so I just used the impl of Haskell and keep the name hsSpecialChar.

luochen1990 added 2 commits

January 13, 2018 00:45


          feat: syntax for verbatim string, and special char

4f00fdb


          feat: syn sync

7a8af61

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

Labels

None yet