Skip to content

niro.verify

Verification of completed Niro IR modules.

verify.module checks a module's structure, references, and operations, returning the same module marked as VerifiedModule.

Verify it again after making changes.

module 

module(module_: Module) -> VerifiedModule

Verify module structure, references, and operations; return the same module.

Source code in src/niro/verify/program.py 
20
21
22
23
def module(module_: Module) -> VerifiedModule:
    """Verify module structure, references, and operations; return the same module."""
    _verify_module(module_)
    return ir.VerifiedModule(module_)