Minor: Missing pretty-print of mk_aliastag?

[CThuleHansen]

Hi Nick,

It seems some of the VDM is not formatted nicely?

[nickbattle]

Ah yes, that was a bit lazy, I admit. In FMI2, variable aliasing uses a combination of the variable reference and a "Kind" (integer, real etc). To print that out, I just "toString" the AliasTag type, rather than formatting it nicely.

So the formatting could be better, but it looks like you have a case where there is no "Kind"? Can you give me the modelDescription.xml for this so I can debug it?

[CThuleHansen]

I just asked the engineer to give it to me, will be back :)

[nickbattle]

A quick thought. The toString should have shown mk_AliasTag(723, <Real>). But often angle brackets are sensitive in various editors (like this one!), so I just had to put the above in backticks. Is it possible the blank Kind in your example is a screen-grab of such an editor and that the <Real> is actually being printed on stdout?

That still leaves the formatting issue, but I can't think why else the Kind is not appearing.