![]() There are minor changes in taintConfiguration to accomodate for the change. Since, Jsonm is pretty bare bone, implemented some utility functions inside a Util module that does pretty much what YoJSON's utility functions did. Removes all dependencies of taint configuration parsing on YoJSON which doesn't have any support for positions. Implements a json parsing module inside jsonParsing.ml that adds support for line and column numbers based on Jsonm. You can install the linters by running `pip install -r requirements-dev.txt & pre-commit install` I've ran the linters locally and fixed lint errors related to the files I modified in this PR. Implement json parser and migrate taintConfiguration ( #734 ) Summary:
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |