D27797: Agda: keywords updated to 2.6.0 and fix float points

Nibaldo González noreply at phabricator.kde.org
Tue Mar 3 06:38:54 GMT 2020


nibags created this revision.
nibags added reviewers: Framework: Syntax Highlighting, dhaumann, cullmann.
Herald added projects: Kate, Frameworks.
Herald added subscribers: kde-frameworks-devel, kwrite-devel.
nibags requested review of this revision.

REVISION SUMMARY
  New keywords are added, this corresponds to the pull request:
  https://github.com/KDE/syntax-highlighting/pull/23
  
  I also added a test file, which I obtained from: https://github.com/agda/agda/blob/master/examples/syntax/highlighting/Test.agda
  
  When I saw the test file, I noticed some problems in the highlighting of floating point. So I fixed this, according to the lexical described in the Agda documentation: https://agda.readthedocs.io/en/latest/language/lexical-structure.html#literals
  
  In addition, I added folded and `##Alerts` in the comments.

REPOSITORY
  R216 Syntax Highlighting

BRANCH
  update-agda

REVISION DETAIL
  https://phabricator.kde.org/D27797

AFFECTED FILES
  autotests/folding/test.agda.fold
  autotests/html/test.agda.html
  autotests/input/test.agda
  autotests/reference/test.agda.ref
  data/syntax/agda.xml

To: nibags, #framework_syntax_highlighting, dhaumann, cullmann
Cc: kwrite-devel, kde-frameworks-devel, rrosch, LeGast00n, cblack, GB_2, domson, michaelh, ngraham, bruns, demsking, cullmann, sars, dhaumann
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-frameworks-devel/attachments/20200303/1661f13e/attachment.html>


More information about the Kde-frameworks-devel mailing list