Tc3 cdlang tests - #138

Draft

0-ace-l0 wants to merge 26 commits into

devfrom

tc3-cdlang-tests

Commits on May 19, 2026

initial TypeCheck3
SE-FDr
committed
a2d1926

Commits on Jun 24, 2026

use TypeCheck3 in CDDiffUtil and TypeCheckMCTypeMatchingStrategy
Max Philip Stachon
committed
5960872

Commits on Jun 29, 2026

refactor: Migrate ISynthesize to TypeCheck3; (constructor changes may follow)
0-ace-l0
committed
b7c2005

Commits on Jul 1, 2026

Merge branch 'dev' into tc3
Max Stachon
committed
4c92c13

Commits on Jul 8, 2026

remove getDefiningSymbol()
0-ace-l0
committed
c4d296e
replace isObjectType with isObscureType
Max Stachon
committed
a8fb0e2

Commits on Jul 21, 2026

CDNoImportResolverTest in cdlang
0-ace-l0
committed
c8638f4

Commits on Jul 22, 2026

add MCArrayTypes to CD4A and CD4C TypeCheck3
Max Stachon
committed
2b434f5
CDNoImportResolverTest in cdlang

0-ace-l0
authored and
adriancostin-sd
committed
dc8974c
modify test and resolution down logic
adriancostin-sd
committed
cdc6d5f

Commits on Jul 28, 2026

Merge remote-tracking branch 'origin/tc3-cdlang-tests' into tc3-cdlang-tests
0-ace-l0
committed
0de3583

Commits on Jul 30, 2026

modify test: p2.ClassA -> p2.p3.ClassA
0-ace-l0
committed
b63fe88
fix CDNoImportResolverTest
Max Stachon
committed
40b9300

Commits on Aug 6, 2026

new Tests in CDSupertypeResolvingTest
0-ace-l0
committed
836ddfb
override resolveTypeMany for CD4A and CD4C
Max Philip Stachon
committed
406c567

Commits on Sep 23, 2026

rebase tc3-cdlang-tests onto origin/dev: initial typecheck

SE-FDr
authored and
0-ace-l0
committed
8bf08bd
rebase tc3-cdlang-tests onto origin/dev: remove getDefiningSymbol()
0-ace-l0
committed
65f0256
replace isObjectType with isObscureType

Max Stachon
authored and
0-ace-l0
committed
1f12258
CDNoImportResolverTest in cdlang
0-ace-l0
committed
8d39640
modify test and resolution down logic

adriancostin-sd
authored and
0-ace-l0
committed
bbf2628
modify test: p2.ClassA -> p2.p3.ClassA
0-ace-l0
committed
1a3243c
rebase tc3-cdlang-tests onto origin/dev: fix CDNoImportResolverTest

Max Stachon
authored and
0-ace-l0
committed
ee3071b
new Tests in CDSupertypeResolvingTest
0-ace-l0
committed
e6db807
override resolveTypeMany for CD4A and CD4C

Max Philip Stachon
authored and
0-ace-l0
committed
81f1945
Merge remote-tracking branch 'origin/tc3-cdlang-tests' into tc3-cdlang-tests
0-ace-l0
committed
26dafb8

Commits on Sep 24, 2026

Rebase tc3-cdlang-tests to dev and integrate tc3 updates:
0-ace-l0
committed
d7f40b3