Fix for assignment check with type vars and OaM #124

Open

WolframPfeifer wants to merge 4 commits into

opprop:masterfrom

WolframPfeifer:oamAssignmentTypeVarFix

Commits on Oct 24, 2024

added some annotations such that debug output with System.out.println typechecks
WolframPfeifer
committed

Commits on Nov 2, 2024

applied type annotation to array instead of component type

WolframPfeifer
and
wmdietl
authored

Commits on Nov 28, 2024

added remarks about checkOaM linter option
WolframPfeifer
committed

Commits on Dec 18, 2024

fix bug in assignment check for OaM
WolframPfeifer
committed