v0.9.0

0.9.0 (2024-04-01)

Features

• unknown default value of stub parameters (#952) (78103e3), closes #951
• unknown type (#973) (4638249), closes #967
• add constraints to stubs (#953) (dc5bf3b)
• allow any widening/narrowing type cast (#948) (ce01628)
• checking of parameter bounds (#925) (610604f), closes #18
• Markdown documentation generator (#963) (77d04de), closes #663
• stubs for safe-ds library (#950) (155b1c0), closes #926
• VS Code command to dump diagnostics into a JSON file (#928) (34fa884), closes #927

Bug Fixes

• do not memoize calls containing lambdas calling segments (#944) (114fee6)
• language server crash on startup (#947) (9923074), closes #945
• type checking of two union types (#949) (21fc485)