Beyond the veil: What's after type functions

[Jacob Carlborg]

On 2021-01-06 20:36, Ola Fosheim Grøstad wrote:

> Ok, but it would have to map exactly since it would be modified after a 
> succession of template evaluations? Or maybe not.

I'm not sure if I follow. But the compiler will convert between the 
internal AST and external AST on macro boundaries, i.e. when something 
is passed to a macro and when something is returned.

-- 
/Jacob Carlborg