Add DAE signature support#1092

Merged

WardBrian merged 7 commits intomasterfrom

add_dae_support

Jan 19, 2022

Commits on Jan 11, 2022

Add DAE signature support & (good/bad) integration tests
Yi Zhang
committed
formating
Yi Zhang
committed

Commits on Jan 13, 2022

simplify illtyped_variadic checker
Yi Zhang
committed
remove comments
Yi Zhang
committed

Commits on Jan 14, 2022

Merge branch 'master' into add_dae_support
Yi Zhang
committed
update to new pattern match of variadic checks
Yi Zhang
committed
format
Yi Zhang
committed