|
| From: | Jose E. Marchesi |
| Subject: | Re: assert() inside type x = struct { ... |
| Date: | Fri, 08 Apr 2022 17:12:24 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Is it intentional that assert() does not work inside type definitions like
> this?
>
> type foo = struct { string yo; };
> type x = struct {
> uint<8> len;
> union {
> foo myfoo;
> byte[len] unknown;
> } payload;
> assert(payload'size'magnitude/8 == len);
> };
Statements inside struct types are not supported, no.
Only declarations.
| [Prev in Thread] | Current Thread | [Next in Thread] |