Properly defining two calling conventions for Core#487

Merged

kmemarian merged 2 commits intorems-project:masterfrom kmemarian:callconv_for_core

Aug 13, 2024

+321-104

Commits on Aug 13, 2024

Core typing: factorising parameter of typecheck_expr that does not change during recursion
kmemarian
committed
Defining two calling conventions for Core
kmemarian
committed