Guess we need a generic type constructor syntax
1 files changed, 19 insertions(+), 0 deletions(-) A => fml/tests/test_struct4.gt
A => fml/tests/test_struct4.gt +19 -0
@@ 0,0 1,19 @@ + +type Foo(@Thing) = struct + a: @Thing, + b: Bool +end + +fn id(x: @T): @T = + x +end + + +fn main(): I32 = + let f1: Foo(I32) = id($Foo(I32) struct { + a = 3, + b = false + })) + --let f2: struct a: I32, b: Bool end = id(struct { a = 3, b = false }) + 3 +end