testsuite/fail_compilation/generic_record_constructor.elna


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

module

type
  Stack#[T] = record
    items: ^T
  end

proc make#[T](items: ^T)
var
  uninstantiated := { Stack; items: items } (* @Error Too few type arguments for generic 'Stack', expected 1, got 0 *)
return

end.