Make `DependencyGraph` and `Module` public

[gerau]

Project

compiler

Describe the feature

The main motivation behind this is to use them in the LSP without much code duplication. Because the LSP processes files using the internal tooling of the compiler's older version, this is currently not possible in version 0.6.0-rc.0, because DependencyGraph is private. Also, we need to somehow extract information about the linearization order and paths that are hidden behind each file_id, so it would be nice to make Module public as well (and make getter for modules field in DependencyGraph).

I understand that exposing this interface might not be the best possible decision, so I would be happy to hear other solutions besides this.

[LesterEvSe]

As I understand it, the main issue is that it is difficult to retrieve all the necessary information within the driver’s private functions.

This can be fixed by extending the Span field and adding file_id: u32 to it, and replacing lookup and paths

SimplicityHL/src/driver/mod.rs

Lines 94 to 102 in f3168af

	/// Fast lookup: `CanonPath` -> Module ID.
	/// A reverse index mapping absolute file paths to their internal IDs.
	/// This solves the duplication problem, ensuring each file is only parsed once.
	lookup: HashMap<CanonPath, usize>,
	/// Fast lookup: Module ID -> `CanonPath`.
	/// A direct index mapping internal IDs back to their absolute file paths.
	/// This serves as the exact inverse of the `lookup` map.
	paths: Vec<CanonPath>,

in driver.rs with the following struct for example:

pub struct SourceMap {
    lookup: HashMap<CanonPath, usize>,
    paths: Vec<CanonPath>,
}

which can be made public and will be able to contain all the necessary files that can be accessed via file_id.

I think this is a more global issue related to changes in the ErrorCollector (one of the issue of this type: #290). Currently, it works well for detecting a single error in a single file, but it is poorly adapted to multiple errors across multiple files.

By addressing this issue, it can provide comprehensive error information without requiring the DependencyGraph or Module structs to be made public