test/c/toplevel_tyvar.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14

default Order dec

$include <prelude.sail>

val "print_endline" : string -> unit

let 'var = 32

function main() -> unit = {
  let x: bits('var) = 0xFFFF_FFFF;
  let y: bits(32) = 0xFFFF_FFFF;
  assert(x == y);
  print_endline("ok")
}