v1.5.16

Changes since v1.5.15:

• Harden runtime type validation system (#25)
• Fixture-based test harness with 331 suites and type system gap tracking (#26)
• Fix parser: allow void return type with named parameters in record fields (#27)
• Fix constraint solver non-determinism and test isolation (#28)
• Parser void return completion and qualified type fixtures (#29)
• Apply gofmt

v1.5.15

• annotated type assertion fixes
• pool yieldState reset

v1.5.13

What's Changed

• Implement yield across call boundaries by @wolfy-j in #23

Full Changelog: v1.5.12...v1.5.13

v1.5.12

• this version removes original float value allocator to reduce overall overhead for actor and exclude cases where scalar values had to be externalized when send from one process to another

v1.5.11

This update introduces a set of optimizations around memory allocations and CPU churn for typechecking system. Specifically memoization of dominant types and pre-allocated buckets for CFG.

Expected 1200% performance gain on heavy linting.

v1.5.10

• Typecheck performance optimizations

v1.5.9

What's Changed

• Resolve nested table compatibility across manifest refs by @wolfy-j in #19

v1.5.8

Mostly type system work:

• Unification of fixpoint kernel
• Additional regression cases
• Bugfix in invalid top ofset for meta types
• Major consolidation and cleanup accross all generated code in type system

v1.5.7

fix(checker): canonical captured function merge and wrapper regressions

v1.5.6

• Internal type system convergence improvements and cleanup