Fix the test named_constructor.an

jfecher · Nov 11, 2024 · 99fe637 · 99fe637
1 parent afe8213
commit 99fe637
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/typechecking/named_constructor.an b/examples/typechecking/named_constructor.an
@@ -9,5 +9,5 @@ foo = hello_foo 42
 // args: --check --show-types
 // expected stdout:
 // Foo : forall a b c. (a - b -> Foo a b can c)
-// foo : Foo String Int a
+// foo : Foo String (Int a)
 // hello_foo : forall a b. (a -> Foo String a can b)