From 1c1c03e1d9a98948c97dede1f41b868553b59566 Mon Sep 17 00:00:00 2001 From: John Doty Date: Sat, 13 Jan 2024 08:15:10 -0800 Subject: [PATCH] [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