Update idris.tmLanguage with 0.99 syntax

[be5invis]

No description provided.

[zjhmale]

What exactly the use case of this mandatory green match?

[be5invis]

otherwise it will match 'abcde in text 'abcdef'.

[zjhmale]

Sorry, I don't get the point, I think currently 'abcdef' just works like a charm

[zjhmale]

Can you give me some examples of this syntax change? I just can not get my sense to embrace this change actually 😅.

[be5invis]

Idris have introduced tagged effects using this syntax:

whatever : Eff ['a ::: STATE, 'b ::: STATE] ()
whatever = do
    x <- ('a :- get)
    'b :- (put x)

So we have to support 'identifier syntax.

[zjhmale]

Cool, just not catch up with the community for months, thanks @be5invis.

[zjhmale]

Hi @be5invis, sorry for the delay, I was busy these days and did not check out GitHub notifications recently 😅

And for the syntax file, I planned to sync this from atom-package, need to find a way to translate from CSON file to JSON file safely. Because that plugin will be catch up the changes of Idris itself and maintaining another tmLanguage file by our own seems redundant here.

I will merge this first, and then we can discuss the proposal above later 😄

[be5invis]

@zjhmale Hmm maybe I should add support for rewrite <term> in <term> either.

[be5invis]

@zjhmale and tmLanguage is a PLIST file, so that you can convert CSON to JSON first, and then turn it into PLIST.

[zjhmale]

Thanks for the tip! Actually, VSCode can also work with JSON-defined syntax as expected, so maybe just convert from CSON to JSON is kindly enough 😄 , what do you think?

@zjhmale and tmLanguage is a PLIST file, so that you can convert CSON to JSON first, and then turn it into PLIST.