D27797: Agda: keywords updated to 2.6.0 and fix float points
This revision was automatically updated to reflect the committed changes. Closed by commit R216:6903aff4ef92: Agda: keywords updated to 2.6.0 and fix float points (authored by nibags, committed by cullmann). REPOSITORY R216 Syntax Highlighting CHANGES SINCE LAST UPDATE https://phabricator.kde.org/D27797?vs=76814=77175 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
D27797: Agda: keywords updated to 2.6.0 and fix float points
cullmann accepted this revision. cullmann added a comment. This revision is now accepted and ready to land. Thanks for taking care of this! Let's get that in. REPOSITORY R216 Syntax Highlighting BRANCH update-agda REVISION DETAIL https://phabricator.kde.org/D27797 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
D27797: Agda: keywords updated to 2.6.0 and fix float points
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