Rascal makeSummary crashed unexpectedly with: Rascal makeSummary crashed unexpectedly with: MalFormedURI at: |jar+file:///C:/Users/Juan%20David/.vscode/extensions/usethesource.rascalmpl-0.13.5/assets/jars/rascal.jar!/org/rascalmpl/compiler/lang/rascalcore/

[juandguzCasadiego]

Context: Please provide context

Exception thrown:

|jar+file:///C:/Users/Juan%20David/.vscode/extensions/usethesource.rascalmpl-0.13.5/assets/jars/rascal.jar!/org/rascalmpl/compiler/lang/rascalcore/check/LogicalLocations.rsc|:14,11: MalFormedURI("rascal+module:///c/:Users/Juan David/Downloads/verilang-project3/verilang-project23 (3) (1)/verilang-project23/verilang-project23/verilang-project2/src/main/rascal/verilang/Main")

Stacktrace:

	at moduleName2moduleId(|jar+file:///C:/Users/Juan%20David/.vscode/extensions/usethesource.rascalmpl-0.13.5/assets/jars/rascal.jar!/org/rascalmpl/compiler/lang/rascalcore/check/LogicalLocations.rsc|(336,60,<14,11>,<14,71>))
	at getTPLReadLoc(|jar+file:///C:/Users/Juan%20David/.vscode/extensions/usethesource.rascalmpl-0.13.5/assets/jars/rascal.jar!/org/rascalmpl/compiler/lang/rascalcore/check/CheckerCommon.rsc|(6103,141,<176,0>,<177,69>))
	at makeSummary(|jar+file:///C:/Users/Juan%20David/.vscode/extensions/usethesource.rascalmpl-0.13.5/assets/jars/rascal.jar!/org/rascalmpl/compiler/lang/rascalcore/check/Summary.rsc|(4048,175,<115,4>,<120,5>))
	at $(|main:///_dollar_|)