Thanks for the effort! These days I have been thinking about building some sort of on-line coding system of ATS. The manaco editor looks pretty decent. When your syntax definition is ready, I will give it a try.
On Monday, June 27, 2016 at 11:58:42 AM UTC-4, Artyom Shalkhakov wrote: > > Thanks Hongwei! I will take a look to see if this is what my syntax > definition captures tomorrow. > > Here's the code, in a gist: > > https://gist.github.com/ashalkhakov/a86dfb4770cff12d0cdf298405a58d74 > > It can be tested by visiting: > > https://microsoft.github.io/monaco-editor/monarch.html > > and pasting the syntax definition into the textbox. I've also provided an > example input (some rubbish to help figure out if hilighting is > well-behaved). > > This needs more testing and tuning, but seems like a worthwhile effort! > > On Monday, June 27, 2016 at 9:20:16 PM UTC+6, gmhwxi wrote: >> >> >> Let >> >> INT0 = [0-9]* >> INT1 = (0 | [1-9](INT0)) >> DOT = [.] >> EXP = [eE](INT1) >> >> Then FLOAT is >> >> (INT1)(EXP) | (INT1)(DOT)(INT0)(EXP)? | (DOT)(INT1)(EXP)? >> >> There are also hexadecimal floating point numbers: >> >> HEX0 = [0-9a-z]* >> HEX1 = (0 | [1-9a-z](HEX0)) >> DOT = [.] >> EXP = [pP](INT1) >> >> HEXFLOAT = (HEX1)(EXP) | (HEX1)(DOT)(HEX0)(EXP?) | (DOT)(HEX1)(EXP?) >> >> In C, EXP? should be EXP for hexadecimal floating point numbers. >> >> On Monday, June 27, 2016 at 4:06:42 AM UTC-4, Artyom Shalkhakov wrote: >>> >>> I'm doing a syntax highlighter for ATS based on the Monarch editor (used >>> in Visual Studio Code) and I'm interested to know what's the lexical >>> grammar for floating-point constants? >>> >>> I've tried looking through the lexer source code, but I find it quite >>> complicated. I'd like some help on this one. >>> >> -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/a0e5d535-9b9e-48aa-9fbb-d6bf121ab621%40googlegroups.com.