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.

Reply via email to