Skip to main content

typecheck

submilli_engine::compile

Function typecheck 

Source 
pub fn typecheck(
    source: &str,
    file: FileId,
) -> Result<Vec<Diagnostic>, Vec<Diagnostic>>
Expand description

Compatibility adapter returning source and fatal failures as diagnostics.