testsuite/compilable/opaque_type.elna


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

type
  Handle = extern
  Alias = Handle

var
  handle: ^Handle := nil
  alias: ^Alias

proc take(h: ^Handle) -> ^Handle
return h

begin
  alias := take(handle)
end.