Skip to main content

load_modules

xlog_logic::compile

Function load_modules 

Source 
pub fn load_modules(
    entry_file: &Path,
    search_paths: Vec<PathBuf>,
) -> Result<ModuleResolver, ModuleError>
Expand description

Load and validate modules for a source file.

This function:

  1. Determines the module path from the entry file name
  2. Loads the entry module and all its dependencies
  3. Validates imports (checks for conflicts, private predicates, etc.)

§Arguments

  • entry_file - Path to the main .xlog file
  • search_paths - Additional directories to search for modules

§Returns

The loaded module resolver with all dependencies resolved, or an error if module resolution fails.