search

idris-hackers / atom-language-idris

A Idris Mode for Atom.io
MIT License
100 stars 24 forks source link

highlight function parameters #93

Open justjoheinz opened 8 years ago

justjoheinz commented 8 years ago

Whilst the atom mode can highlight function signatures with named parameters such as

foo: (n: Nat) -> Vect n Int

it fails when multiple named parameters are given:

foo: (a,b,c : Int) -> Int
archaeron commented 8 years ago

Thanks for the report. I'm trying to fix this, but it's harder than I thought.

The interesting thing is that the highlighter GitHub uses can't handle the named parameters as well.

justjoheinz commented 8 years ago

@archaeron Do you have good resources about the grammar file syntax, BTW? I could not find anything at all on the atom site, and tried to blindly stab at it but to no avail. You could probably put it in the README.md for other developers who'd like to contribute as well.

archaeron commented 8 years ago

As far as I understood all we have is this: http://manual.macromates.com/en/language_grammars#language_grammars. Most of the things seem to work the same way. Except the format is different, Atom uses cson.