Re: Lexical format for floating-point constants

Great. Looking forward to using it. On Tuesday, August 16, 2016 at 1:15:51 AM UTC-4, gmhwxi wrote: > > This is great news! > > I really want to try it for my upcoming class. > > Could you show me how to use the Monaco editor to > replace the textareas in the following page: > > http://myflask-tuto

Re: Lexical format for floating-point constants

Great job! On Tuesday, August 16, 2016 at 3:58:28 AM UTC-4, Artyom Shalkhakov wrote: > > On Tuesday, August 16, 2016 at 11:15:51 AM UTC+6, gmhwxi wrote: >> >> This is great news! >> >> I really want to try it for my upcoming class. >> >> Could you show me how to use the Monaco editor to >> replac

Re: Lexical format for floating-point constants

On Tuesday, August 16, 2016 at 11:15:51 AM UTC+6, gmhwxi wrote: > > This is great news! > > I really want to try it for my upcoming class. > > Could you show me how to use the Monaco editor to > replace the textareas in the following page: > > http://myflask-tutoriats.rhcloud.com/assign01 > view-so

Re: Lexical format for floating-point constants

This is great news! I really want to try it for my upcoming class. Could you show me how to use the Monaco editor to replace the textareas in the following page: http://myflask-tutoriats.rhcloud.com/assign01 view-source:http://myflask-tutoriats.rhcloud.com/assign01 Thanks! On Tuesday, August 1

Re: Lexical format for floating-point constants

This is great news. I really try it for my class in Fall 2016. Could you show me how to use Monaco editor to replace the textareas in the following page: http://myflask-tutoriats.rhcloud.com/assign01 view-source:http://myflask-tutoriats.rhcloud.com/assign01 Thanks! On Tuesday, August 16, 2016

Re: Lexical format for floating-point constants

The PR adding ATS/Postiats colorization support to Monaco editor has been merged. On Thursday, June 30, 2016 at 9:17:56 AM UTC+6, Artyom Shalkhakov wrote: > > On Wednesday, June 29, 2016 at 9:54:39 AM UTC+6, gmhwxi wrote: >> >> >> Thanks for the effort! >> >> These days I have been thinking about

Re: Lexical format for floating-point constants

On Wednesday, June 29, 2016 at 9:54:39 AM UTC+6, gmhwxi wrote: > > > 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. > I'm

Re: Lexical format for floating-point constants

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

Re: Lexical format for floating-point constants

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 t

Re: Lexical format for floating-point constants

EXP should be [eE](-|+)?(INT1) On Monday, June 27, 2016 at 11:20:16 AM UTC-4, 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 floatin

Re: Lexical format for floating-point constants

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) | (H