From 99fe6377b93c5040faca62d5aff911a73542e0bb Mon Sep 17 00:00:00 2001 From: eldesh Date: Mon, 11 Nov 2024 23:09:56 +0900 Subject: [PATCH] Fix the test named_constructor.an --- examples/typechecking/named_constructor.an | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/typechecking/named_constructor.an b/examples/typechecking/named_constructor.an index 5600d874..e3d292ef 100644 --- 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)