Typecheck procedure signatures + Various changes - #1420

Merged

Pieter12345 merged 15 commits into

EngineHub:masterfrom

Pieter12345:typecheck-proc-signatures

Aug 13, 2026

Commits on Aug 13, 2026

Typecheck procedure signatures
Pieter12345
committed
146df6f
Disallow mandatory-after-optional params in proc signature typechecking
Pieter12345
committed
614aa39
Update procedure behavior
Pieter12345
committed
8d82bcd
Add compile error on missing returns in procedures
Pieter12345
committed
a723012
Implement getReturnType() in control flow functions
Pieter12345
committed
d6cd212
Implement throw() function signatures
Pieter12345
committed
ea26a11
Throw exception when invoking proc forward declaration
Pieter12345
committed
e540cd2
Implement try() and complex_try() function signatures
Pieter12345
committed
e24073e
Update control flow function typechecking
Pieter12345
committed
1752fbc
Add none type and missing return false error tests
Pieter12345
committed
c630a3a
Implement func sign noneTypeAllowed per param + Fix dor/dand signatures
Pieter12345
committed
afc34a7
Remove handled TODO + Formatting
Pieter12345
committed
5585b9a
Typecheck varparam IVariable to CArray
Pieter12345
committed
09af01b
Fix usage of variables as default proc arguments
Pieter12345
committed
28735d3
Consolidate multi-type lacking heuristics into helper methods
Pieter12345
committed
d00a686