The NaN of types (in D)

[Stefan Koch]

On Monday, 12 October 2020 at 16:03:58 UTC, Ola Fosheim Grøstad 
wrote:
> But in general, I would just have made "type" a 
> reference/pointer to a virtual object which an hierarchy along 
> the lines of:
>
> CompilerNode :> CompilerType
>
> By virtual object I mean an object that does not have to exist 
> in memory. Kinda like DOM objects in the browser.
>
> Then you can later introduce
>
> CompilerNode :> ASTNode
>
> ASTNode does not have to correspond to what the compiler does 
> internally.

That would never be merged though.
which is why I only expose that which is already exposed thorough 
template means.