testsuite/runnable/procedure_cast.elna


1
2
3
4
5
6
7
8
9
10
11

program()
var
  cb: ^proc(x: ^Char) -> Int

proc probe_int(x: ^Int) -> Int
return 42

begin
  cb := cast(@probe_int: ^proc(x: ^Char) -> Int);
  assert(cb^(cast(0u: ^Char)) = 42)
end.