Make a clone of the parsed document available in compilation#3338

Closed

keyboardDrummer wants to merge 6 commits intodafny-lang:masterfrom keyboardDrummer:parsedDocument

+111-125

Commits on Jan 5, 2023

Introduce ParsedDocument
keyboardDrummer
committed

Commits on Jan 6, 2023

Replace TextDocumentLoadertest with an extra test in ExceptionTests
keyboardDrummer
committed

Commits on Jan 7, 2023

Commits on Mar 6, 2023