Step 4: General Effect System
Generalize fails into arbitrary effect keywords (mutates(Region), random, suspends, detaches, ...). Add union-composition checking: a function's effects = union of its calls' effects, or a compile error if undeclared. Likely fused with Step 2's checker as its own pass.
-
0% Completed
