From ab1adbc47a3fff616c81bb95c4720dce9bdc0103 Mon Sep 17 00:00:00 2001 From: john Date: Tue, 25 Mar 2025 20:53:31 +0200 Subject: [PATCH 1/2] Semantically Erroneous Program --- dana/programs-erroneous/semantic_error.dana | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 dana/programs-erroneous/semantic_error.dana diff --git a/dana/programs-erroneous/semantic_error.dana b/dana/programs-erroneous/semantic_error.dana new file mode 100644 index 0000000..bf7dc40 --- /dev/null +++ b/dana/programs-erroneous/semantic_error.dana @@ -0,0 +1,10 @@ +def main + var x y is int + var s is byte[10] + + x := z # Error: z is not declared + return: x + s # Error: cannot add int and byte[] + break # Error: break outside loop + continue # Error: continue outside loop + callMe: 10 # Error: callMe is not declared + return: foo(1, 2) # Error: foo is not defined \ No newline at end of file From 4e5c7bc2dc5edba62b24f4b1ad24523d6007f233 Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Tue, 25 Mar 2025 20:28:17 +0100 Subject: [PATCH 2/2] Update semantic_error.dana --- dana/programs-erroneous/semantic_error.dana | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dana/programs-erroneous/semantic_error.dana b/dana/programs-erroneous/semantic_error.dana index bf7dc40..4f8e904 100644 --- a/dana/programs-erroneous/semantic_error.dana +++ b/dana/programs-erroneous/semantic_error.dana @@ -7,4 +7,4 @@ def main break # Error: break outside loop continue # Error: continue outside loop callMe: 10 # Error: callMe is not declared - return: foo(1, 2) # Error: foo is not defined \ No newline at end of file + return: foo(1, 2) # Error: foo is not defined