feat(codegen): overload global functions and procedures

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

12 files changed, 117 insertions, 0 deletions

diff --git a/tests/iii/multifile-overload-duplicate/case.json b/tests/iii/multifile-overload-duplicate/case.json
new file mode 100644
index 0000000..bb02048
--- /dev/null
+++ b/tests/iii/multifile-overload-duplicate/case.json
@@ -0,0 +1,14 @@
+{
+  "errors": [
+    {
+      "reason": "(?i)Duplicate definition Same in",
+      "line": 1,
+      "file": "second.cps"
+    }
+  ],
+  "sources": [
+    "program.cps",
+    "first.cps",
+    "second.cps"
+  ]
+}
diff --git a/tests/iii/multifile-overload-duplicate/first.cps b/tests/iii/multifile-overload-duplicate/first.cps
new file mode 100644
index 0000000..4ec6b09
--- /dev/null
+++ b/tests/iii/multifile-overload-duplicate/first.cps
@@ -0,0 +1,2 @@
+OVERLOAD PROCEDURE Same(a : ARRAY[1:2] OF INTEGER)
+ENDPROCEDURE
diff --git a/tests/iii/multifile-overload-duplicate/program.cps b/tests/iii/multifile-overload-duplicate/program.cps
new file mode 100644
index 0000000..e5d0515
--- /dev/null
+++ b/tests/iii/multifile-overload-duplicate/program.cps
@@ -0,0 +1 @@
+OUTPUT 0
diff --git a/tests/iii/multifile-overload-duplicate/second.cps b/tests/iii/multifile-overload-duplicate/second.cps
new file mode 100644
index 0000000..f26810a
--- /dev/null
+++ b/tests/iii/multifile-overload-duplicate/second.cps
@@ -0,0 +1,2 @@
+OVERLOAD PROCEDURE same(BYREF a : ARRAY[3:4] OF INTEGER)
+ENDPROCEDURE
diff --git a/tests/iii/multifile-overload-visibility/case.json b/tests/iii/multifile-overload-visibility/case.json
new file mode 100644
index 0000000..6c60472
--- /dev/null
+++ b/tests/iii/multifile-overload-visibility/case.json
@@ -0,0 +1,14 @@
+{
+  "errors": [
+    {
+      "reason": "No matching overload for Area\\(REAL\\)",
+      "line": 2,
+      "file": "program.cps"
+    }
+  ],
+  "sources": [
+    "program.cps",
+    "integer.cps",
+    "real.cps"
+  ]
+}
diff --git a/tests/iii/multifile-overload-visibility/integer.cps b/tests/iii/multifile-overload-visibility/integer.cps
new file mode 100644
index 0000000..b87740a
--- /dev/null
+++ b/tests/iii/multifile-overload-visibility/integer.cps
@@ -0,0 +1,3 @@
+OVERLOAD FUNCTION Area(x : INTEGER) RETURNS INTEGER
+RETURN x
+ENDFUNCTION
diff --git a/tests/iii/multifile-overload-visibility/program.cps b/tests/iii/multifile-overload-visibility/program.cps
new file mode 100644
index 0000000..8f47c4a
--- /dev/null
+++ b/tests/iii/multifile-overload-visibility/program.cps
@@ -0,0 +1,2 @@
+INCLUDE "integer.cps"
+OUTPUT Area(2.0)
diff --git a/tests/iii/multifile-overload-visibility/real.cps b/tests/iii/multifile-overload-visibility/real.cps
new file mode 100644
index 0000000..a16261a
--- /dev/null
+++ b/tests/iii/multifile-overload-visibility/real.cps
@@ -0,0 +1,3 @@
+OVERLOAD FUNCTION Area(x : REAL) RETURNS REAL
+RETURN x
+ENDFUNCTION
diff --git a/tests/iii/overload-errors/case.json b/tests/iii/overload-errors/case.json
new file mode 100644
index 0000000..b31c666
--- /dev/null
+++ b/tests/iii/overload-errors/case.json
@@ -0,0 +1,36 @@
+{
+  "errors": [
+    {
+      "reason": "every overload must be declared OVERLOAD",
+      "line": 4
+    },
+    {
+      "reason": "Function Ret cannot be redefined",
+      "line": 10
+    },
+    {
+      "reason": "Function Mode cannot be redefined",
+      "line": 15
+    },
+    {
+      "reason": "No matching overload for Exact\\(INTEGER\\)",
+      "line": 20
+    },
+    {
+      "reason": "Function Bounds cannot be redefined",
+      "line": 23
+    },
+    {
+      "reason": "built-in function and cannot be redefined",
+      "line": 25
+    },
+    {
+      "reason": "No matching overload for Exact\\(STRING\\)",
+      "line": 28
+    },
+    {
+      "reason": "No matching overload for Exact\\(\\)",
+      "line": 29
+    }
+  ]
+}
diff --git a/tests/iii/overload-errors/program.cps b/tests/iii/overload-errors/program.cps
new file mode 100644
index 0000000..13d4692
--- /dev/null
+++ b/tests/iii/overload-errors/program.cps
@@ -0,0 +1,29 @@
+OVERLOAD FUNCTION Mixed(x : INTEGER) RETURNS INTEGER
+RETURN x
+ENDFUNCTION
+FUNCTION Mixed(x : REAL) RETURNS REAL
+RETURN x
+ENDFUNCTION
+OVERLOAD FUNCTION Ret(x : INTEGER) RETURNS INTEGER
+RETURN x
+ENDFUNCTION
+OVERLOAD FUNCTION Ret(x : INTEGER) RETURNS REAL
+RETURN x
+ENDFUNCTION
+OVERLOAD PROCEDURE Mode(BYREF x : INTEGER)
+ENDPROCEDURE
+OVERLOAD PROCEDURE Mode(BYVAL x : INTEGER)
+ENDPROCEDURE
+OVERLOAD FUNCTION Exact(x : REAL) RETURNS REAL
+RETURN x
+ENDFUNCTION
+OUTPUT Exact(1)
+OVERLOAD PROCEDURE Bounds(a : ARRAY[1:2] OF INTEGER)
+ENDPROCEDURE
+OVERLOAD PROCEDURE Bounds(a : ARRAY[3:4] OF INTEGER)
+ENDPROCEDURE
+OVERLOAD FUNCTION LENGTH(x : INTEGER) RETURNS INTEGER
+RETURN x
+ENDFUNCTION
+OUTPUT Exact("text")
+OUTPUT Exact()
diff --git a/tests/iii/overload-main/case.json b/tests/iii/overload-main/case.json
new file mode 100644
index 0000000..c2ffe3f
--- /dev/null
+++ b/tests/iii/overload-main/case.json
@@ -0,0 +1,8 @@
+{
+  "errors": [
+    {
+      "reason": "MAIN cannot be declared OVERLOAD",
+      "line": 1
+    }
+  ]
+}
diff --git a/tests/iii/overload-main/program.cps b/tests/iii/overload-main/program.cps
new file mode 100644
index 0000000..709c905
--- /dev/null
+++ b/tests/iii/overload-main/program.cps
@@ -0,0 +1,3 @@
+OVERLOAD FUNCTION MAIN() RETURNS INTEGER
+RETURN 0
+ENDFUNCTION