v0.8.0

0.8.0 (2024-02-26)

Features

• check the runner version to be compatible (#888) (83378a3), closes #880
• check type parameter bounds for default values and named types (#919) (7003ea6), closes #614
• clamp default values of parameter types to upper bound (#921) (76ad869)
• compute highest common subtype (#901) (5630a9f), closes #860
• compute type parameters for calls (#920) (35dc826), closes #861
• consider nullability of upper type parameter bound in various checks (#892) (940515a)
• constraints for segments (#911) (e57f886), closes #903
• EDA on pipeline Tables (#834) (f42c9aa)
• error if parent type is nullable (#891) (add650d)
• escape characters in string conversion of string constants (#908) (72a9c3c), closes #904
• format upper bound of type parameters (#898) (9d6ce28)
• handle invariant/covariant type parameters when computing lowest common supertype (#868) (4d6cb4e), closes #860 #861
• improve handling of subclasses of lists/maps (#890) (bb0c94b)
• improvements to constraints (#896) (b81bef9), closes #18 #860 #18
• include enum name in string conversion of enum variant types (#907) (1f6502e), closes #902
• scoping for member accesses if receiver has type parameter type (#889) (1277bd1)
• shorter message if runner is started but files have errors (#912) (b611b44), closes #910
• simplify union types containing type parameter types disregarding entry order (#894) (cf6e77e)
• singular type is its own lowest common supertype (#893) (79d611d)
• substitute type parameter when type checking calls (#923) (2e09306), closes #915
• substitute type parameters when checking overridden members (#922) (0e657cf), closes #917
• update to safe-ds-runner v0.7.0 (#906) (070f406)
• use bounds of type system where possible (#899) (cf92762)

Bug Fixes

• lenient type checking involving type parameter types (#916) (b9d3641), closes #915 #915
• runner startup silent failure (#914) (8812944), closes #909
• save dirty files before running pipeline (#918) (4302ca6)
• simplification of union types (#897) (4c577a3)