curl localhost:8000/dg/file%3a%2f%2f%2fdata%2ftest_import1.dol/full-signatures/full-theories/auto
*** Error:
file:///data/test_import1.dol:2.7:
unexpected 's'
expecting "%", "and", "end", "extract", "fit", "forget", "hide", "keep", "reject", "remove", "reveal", "select", "then", "with", "within", "of", "for", "to", "intersect", "arch", "from", "logic", "newlogic", "refinement", "spec", "unit", "view", "ontology", "alignment", "network", "equivalence", "newcomorphism", "interpretation", "entailment", "}", "[", "]" or end of input
This error should be displayed in VSCode.
Would it help if the error is encapsulated in json?
For the DOL file
the RESTful interface returns
This error should be displayed in VSCode.
Would it help if the error is encapsulated in json?