Fix highlighting of option pragmas

banacorn / language-agda

Agda language support for the Atom editor

https://atom.io/packages/language-agda

MIT License

13 stars 5 forks source link

Closed audreyt closed 9 years ago

audreyt commented 9 years ago

This prevents the highlighter from coloring everything below as comments due to double-dash in leading OPTIONS pragmas:

{-# OPTIONS --without-K #-}
{-# OPTIONS --copatterns #-}

Prompted by @np.

banacorn commented 9 years ago

It seems that I'm the only one watching this repo ._. Hey @freebroccolo could you help us a bit

banacorn commented 9 years ago

got fixed somehow ._.