Underlying type must be a constant-width bitvector, but it is

[Timmmm]

default Order dec

$include <prelude.sail>
$include <smt.sail>

type log2_xlen_bytes : Int = 2
type xlen_bytes : Int = 2 ^ log2_xlen_bytes
type xlen       : Int = xlen_bytes * 8
type xlenbits         = bits(xlen)

bitfield foo : xlenbits = {
  A : 0,
}

Gives:

Type error:
test.sail:11.0-13.1:
11 |bitfield foo : xlenbits = {
   |^--------------------------
13 |}
   |^
   | Underlying bitfield type must be a constant-width bitvector

But it looks pretty constant-width to me?

[Alasdair]

Oh, I think we are avoiding expanding out 2 ^ x that's probably what's tripping this up.

[Alasdair]

Should be fixed now

[Timmmm]

Works now, thanks!