The compiler currently processes each file from scratch on every invocation — parsing, transformation, type checking, verification, and code generation all run from the beginning each time.
For single-file programs this is fine, but as the module system (#14, #50) matures, incremental compilation will become important for acceptable build times on multi-file projects.
Low priority until the module system is implemented.
Spec reference: This is a known limitation noted in vera/README.md § Current Limitations.
The compiler currently processes each file from scratch on every invocation — parsing, transformation, type checking, verification, and code generation all run from the beginning each time.
For single-file programs this is fine, but as the module system (#14, #50) matures, incremental compilation will become important for acceptable build times on multi-file projects.
Low priority until the module system is implemented.
Spec reference: This is a known limitation noted in
vera/README.md§ Current Limitations.