# V3 step 4 — procedures, modules, separate compilation (planned)

Status: not started. Blaise multi-file equivalent.

## Scope

- `PROCEDURE` (value/`VAR` params, function results, recursion,
  nested procedures with display), `RETURN` (232), `EXIT`/`LOOP`,
  `REPEAT`, `FOR..BY`, `CASE`, `WITH`.
- `DEFINITION/IMPLEMENTATION` split, opaque `TYPE T;` + completion
  (V2 goal_step8 scope: usable only behind pointers/`VAR` formals
  outside the implementation), `IMPORT` name resolution (233).
- Procedure-type variables deferred to step 6 unless trivial.

## Acceptance (planned)

- ADT tests (counter/stack: New/Free/Use/Count ExitCodes) + rejection
  tests (client `VAR x:T`, field access, value param, opaque result,
  completion mismatch); suite green.

## Files (planned)

- `compiler/src/M2.atg` § declarations/statements; `SymTab` scopes;
  `QbeGen` call frames (C-ABI: first 6 int args regs via QBE auto).
- This file filled in on landing.