The VSCode TextDocument.uri is a uri with a file scheme, i.e. file:///home/matt/logic.ergo.
Previously the code for extracting the parent directory of the logic.ergo file failed on Windows which caused the compilation errors that were seen in #16 because no model files were provided to the parser.
This patch adds more robust handling for uris that is platform independent.
Fixes #16
The VSCode
TextDocument.uri
is a uri with a file scheme, i.e.file:///home/matt/logic.ergo
. Previously the code for extracting the parent directory of thelogic.ergo
file failed on Windows which caused the compilation errors that were seen in #16 because no model files were provided to the parser.This patch adds more robust handling for uris that is platform independent.