poke-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

assert() inside type x = struct { ...


From: apache2
Subject: assert() inside type x = struct { ...
Date: Fri, 8 Apr 2022 12:26:33 +0200
User-agent: Mutt/1.9.3 (2018-01-21)

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);
};



reply via email to

[Prev in Thread] Current Thread [Next in Thread]