class Savi::Compiler::Privacy

• Savi::Compiler::Privacy
• Reference
• Object

Overview

The purpose of the Privacy pass is to enforce the function privacy boundary. Functions whose identifier starts with an underscore are considered private, and can only be called from within the same package where they were defined.

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 (on the stack) at the per-function level. This pass produces no output state.

Defined in:

savi/compiler/privacy.cr

Class Method Summary

• .check_reified_func(ctx, infer : Infer::FuncAnalysis)

Class Method Detail