From 377a1fd2eadd2a70cd27f13e2fee6e96c8706a51 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sat, 17 Oct 2026 10:32:30 +0000 Subject: feat(codegen): overload global functions and procedures Co-Authored-By: Claude Opus 5.5 --- tests/iii/multifile-overload-duplicate/case.json | 14 +++++++++ tests/iii/multifile-overload-duplicate/first.cps | 2 ++ tests/iii/multifile-overload-duplicate/program.cps | 1 + tests/iii/multifile-overload-duplicate/second.cps | 2 ++ tests/iii/multifile-overload-visibility/case.json | 14 +++++++++ .../iii/multifile-overload-visibility/integer.cps | 3 ++ .../iii/multifile-overload-visibility/program.cps | 2 ++ tests/iii/multifile-overload-visibility/real.cps | 3 ++ tests/iii/overload-errors/case.json | 36 ++++++++++++++++++++++ tests/iii/overload-errors/program.cps | 29 +++++++++++++++++ tests/iii/overload-main/case.json | 8 +++++ tests/iii/overload-main/program.cps | 3 ++ 12 files changed, 117 insertions(+) create mode 100644 tests/iii/multifile-overload-duplicate/case.json create mode 100644 tests/iii/multifile-overload-duplicate/first.cps create mode 100644 tests/iii/multifile-overload-duplicate/program.cps create mode 100644 tests/iii/multifile-overload-duplicate/second.cps create mode 100644 tests/iii/multifile-overload-visibility/case.json create mode 100644 tests/iii/multifile-overload-visibility/integer.cps create mode 100644 tests/iii/multifile-overload-visibility/program.cps create mode 100644 tests/iii/multifile-overload-visibility/real.cps create mode 100644 tests/iii/overload-errors/case.json create mode 100644 tests/iii/overload-errors/program.cps create mode 100644 tests/iii/overload-main/case.json create mode 100644 tests/iii/overload-main/program.cps (limited to 'tests/iii') 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 -- cgit v1.3.1-4-g156e