Improve type checking for formal syntax#9448

Merged

RobinMalfait merged 8 commits intomasterfrom lzt1008/master

Sep 29, 2022

+126-15

Commits on Sep 29, 2022

Improve type checking for formal syntax

lzt1008
authored and
RobinMalfait
committed
Add test

thecrypticace
authored and
RobinMalfait
committed
Change order of test class name

liangzhengtai
authored and
RobinMalfait
committed
fix failing tests
RobinMalfait
committed
prefer position over size for backwards compatibility reasons
RobinMalfait
committed
update changelog
RobinMalfait
committed
ensure correct order
RobinMalfait
committed
update changelog
RobinMalfait
committed