atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

highlight function parameters

Open justjoheinz opened this issue 9 years ago • 3 comments

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

justjoheinz avatar Feb 22 '16 08:02 justjoheinz

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.

archaeron avatar Feb 23 '16 17:02 archaeron

@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.

justjoheinz avatar Feb 23 '16 18:02 justjoheinz

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.

archaeron avatar Feb 23 '16 19:02 archaeron