Skip to main content

resolve_lua

lean_ctx_syntax::import_resolver::languages

Function resolve_lua 

Source 
pub fn resolve_lua(
    imp: &ImportInfo,
    file_path: &str,
    ctx: &ResolverContext,
) -> (Option<String>, bool)
Expand description

Resolves Lua require("a.b.c") (dotted module path, package.path style) and Luau require("a/b") / require("./a") (slash/relative paths) to a project file. Dotted specifiers map . -> /; pathy specifiers are used verbatim. Candidates: <rel>.lua, <rel>/init.lua (and .luau), probed relative to the importer first, then the project root and common source roots.