feat(overload): support default return types

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

4 files changed, 15 insertions, 0 deletions

diff --git a/tests/iii/multifile-default-return/case.json b/tests/iii/multifile-default-return/case.json
new file mode 100644
index 0000000..5679a0f
--- /dev/null
+++ b/tests/iii/multifile-default-return/case.json
@@ -0,0 +1,6 @@
+{
+  "sources": ["program.cps", "first.cps", "second.cps"],
+  "errors": [
+    {"reason": "Duplicate DEFAULT return", "file": "second.cps", "line": 1}
+  ]
+}
diff --git a/tests/iii/multifile-default-return/first.cps b/tests/iii/multifile-default-return/first.cps
new file mode 100644
index 0000000..a376dda
--- /dev/null
+++ b/tests/iii/multifile-default-return/first.cps
@@ -0,0 +1,3 @@
+OVERLOAD FUNCTION Pick(X : INTEGER) RETURNS DEFAULT INTEGER
+    RETURN 1
+ENDFUNCTION
diff --git a/tests/iii/multifile-default-return/program.cps b/tests/iii/multifile-default-return/program.cps
new file mode 100644
index 0000000..15feac7
--- /dev/null
+++ b/tests/iii/multifile-default-return/program.cps
@@ -0,0 +1,3 @@
+INCLUDE "first.cps"
+INCLUDE "second.cps"
+OUTPUT 1
diff --git a/tests/iii/multifile-default-return/second.cps b/tests/iii/multifile-default-return/second.cps
new file mode 100644
index 0000000..70b4667
--- /dev/null
+++ b/tests/iii/multifile-default-return/second.cps
@@ -0,0 +1,3 @@
+OVERLOAD FUNCTION Pick(X : INTEGER) RETURNS DEFAULT REAL
+    RETURN 2.0
+ENDFUNCTION