class Savi::Compiler::Verify

• Savi::Compiler::Verify
• Reference
• Object

Overview

The purpose of the Verify pass is to do some various final checks before allowing the code to go through to CodeGen. For example, we verify here that function bodies that may raise an error belong to a partial function.

This pass does not mutate the Program topology. This pass does not mutate the AST. This pass may raise a compilation error. This pass keeps temporay state at the per-function level. This pass produces no output state.

Defined in:

savi/compiler/verify.cr

Class Method Summary

• .check_main_actor(ctx, package)

Class Method Detail