[Github-comments] [geany/geany] Add GDScript file type (PR #3012)

Jiří Techet notifications at xxxxx
Sat Jan 15 18:29:27 UTC 2022


> @techee I don't disagree with most of what you said above, except that an unstable Geany means anybody who tests has to not use it as their production tool, and well, that means it won't get much more testing than individual PRs will. Its a damned if we do, damned if we don't situation, sigh.

True. But with the parser pull requests at least there's pretty much no Geany code affected apart from the mappings and the parsers themselves should be reasonably well tested upstream (the unit tests use fuzzing and valgrind). And we'll run into this in the future releases too - we'll just copy the upstream version of all parsers and I think none of us will have enough time to manually test every single filetype for various input. So for the parsers we'll have to more or less trust the quality of the upstream code.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/pull/3012#issuecomment-1013731412
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany/pull/3012/c1013731412 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220115/831d4a63/attachment.htm>


More information about the Github-comments mailing list