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