Module checker 

Checks a program’s parsed files in phases: declarations, state, functions, then the UI. Functions are checked before the UI so the UI knows what state every function call reads.

Modules

args 🔒

Matching call arguments to parameters: positional ones by order, named ones by name.

builtins 🔒

Calls to built-in functions.

consts 🔒

Element arguments that must be written literally: layout numbers, fixed text, flags and styles.

env 🔒

What the checker knows while it walks a body: locals in scope, what context it is in, and which state the code it has seen reads and writes.

expr 🔒

Expressions and places.

menu 🔒

Menus: the menu bar’s menus, their items and submenus, and the items’ shortcuts.

stmt 🔒

Statements in function bodies and button actions.

ui 🔒

Window and view bodies: elements, conditional and repeated UI, and what each dynamic part of the UI reads.

Structs

Checker 🔒

Declared 🔒

A top-level name and where it is declared.

Signature 🔒

Enums

Global 🔒

Functions

check 🔒

Checks files as one program; the first is the entry file.

items 🔒

Every top-level item of the program, file by file.

local_types 🔒

The type of each of a body’s locals, by id.

top_level_call 🔒

A top-level statement, such as a window’s or a menu’s call, and the name written before it, if any.