From 1c1c03e1d9a98948c97dede1f41b868553b59566 Mon Sep 17 00:00:00 2001 From: John Doty Date: Sat, 13 Jan 2024 08:15:10 -0800 Subject: [PATCH 1/2] [fine] Make sure we check this one --- fine/tests/expression/errors/wrong_function.fine | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/fine/tests/expression/errors/wrong_function.fine b/fine/tests/expression/errors/wrong_function.fine index d5804df1..c6e93641 100644 --- a/fine/tests/expression/errors/wrong_function.fine +++ b/fine/tests/expression/errors/wrong_function.fine @@ -1,5 +1,8 @@ fun foo(x: f64) {} let x = foo("hello"); x; +let y = foo(); +y; -// @type-error: 41 parameter 0 has an incompatible type: expected f64 but got string \ No newline at end of file +// @type-error: 41 parameter 0 has an incompatible type: expected f64 but got string +// @type-error: 59 expected 1 parameters \ No newline at end of file From 50eb7a9673fd96bf4a8c2c04afc0f76ba0775474 Mon Sep 17 00:00:00 2001 From: John Doty Date: Sat, 13 Jan 2024 08:16:50 -0800 Subject: [PATCH 2/2] [fine] This one too --- fine/tests/expression/errors/wrong_function.fine | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/fine/tests/expression/errors/wrong_function.fine b/fine/tests/expression/errors/wrong_function.fine index c6e93641..37241d4d 100644 --- a/fine/tests/expression/errors/wrong_function.fine +++ b/fine/tests/expression/errors/wrong_function.fine @@ -3,6 +3,9 @@ let x = foo("hello"); x; let y = foo(); y; +let a = foo(2, 3); +a; // @type-error: 41 parameter 0 has an incompatible type: expected f64 but got string -// @type-error: 59 expected 1 parameters \ No newline at end of file +// @type-error: 59 expected 1 parameters +// @type-error: 81 expected 1 parameters \ No newline at end of file