E008: Inference Aborted

Severity: Warning

type inference aborted (memory limit exceeded) -- missing types for: `bigFunction`, `helper`

Type inference for this file was aborted because the process exceeded the memory (RSS) limit. Bindings that were inferred before the limit was reached still have their types; only the remaining bindings are affected.

Common causes

• Very large files with many bindings or deeply nested expressions that consume excessive memory.
• Highly polymorphic recursive functions that cause the type graph to grow beyond the memory budget.

How to fix

• Split large files into smaller modules. This also improves incremental re-checking.
• Add type annotations to complex bindings to reduce the work the inference engine needs to do.