[DSLX] Improve type handling in parametrics

[mtdudek]

Some buildins like zero! did not work with
parametric structs and with arrays of structs.

ParseParametrics returns TypeAnnotation only if
token is a buildin type. In all other cases
identifiers are expected to resolve to TypeRef or
constant values.

This commit changes ParseParametrics to allow for
parametric structs and struct arrays types.
This change only extends Parser capabiliteis.

Signed-off-by: Maciej Dudek mdudek@antmicro.com

[proppy]

is that ready to review? is that blocking #994?

[proppy]

@tmichalak can you confirm if this is still needed?

[tmichalak]

@tmichalak can you confirm if this is still needed?

So, the zero! macro is still limited and you cannot use parametric structs with it. Currently, as a workaround you need to define a type alias that renames a parametric type to a new one without explicit parameters, therefore having a more advanced zero! macro would be useful.

[proppy]

the zero! macro is still limited and you cannot use parametric structs with it.

is that already captured as an issue?

[tmichalak]

the zero! macro is still limited and you cannot use parametric structs with it.

is that already captured as an issue?

Yes, there is this one, but I guess that looking at the comment and workaround we might need to stick to the workaround for the time being.