From b28384fed1ce638e8b00b72dba974e9fd7e55eb4 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Wed, 28 Oct 2026 13:36:16 +0000 Subject: feat(overload): support default return types Co-Authored-By: Claude Opus 5.5 --- tests/iii/default-return-template/case.json | 5 +++++ tests/iii/default-return-template/program.cps | 5 +++++ 2 files changed, 10 insertions(+) create mode 100644 tests/iii/default-return-template/case.json create mode 100644 tests/iii/default-return-template/program.cps (limited to 'tests/iii/default-return-template') diff --git a/tests/iii/default-return-template/case.json b/tests/iii/default-return-template/case.json new file mode 100644 index 0000000..6e43a53 --- /dev/null +++ b/tests/iii/default-return-template/case.json @@ -0,0 +1,5 @@ +{ + "errors": [ + {"reason": "DEFAULT return types are not supported in templates", "line": 2} + ] +} diff --git a/tests/iii/default-return-template/program.cps b/tests/iii/default-return-template/program.cps new file mode 100644 index 0000000..8f71900 --- /dev/null +++ b/tests/iii/default-return-template/program.cps @@ -0,0 +1,5 @@ +TEMPLATE +OVERLOAD FUNCTION Pick(X : T) RETURNS DEFAULT INTEGER + RETURN 1 +ENDFUNCTION +OUTPUT 1 -- cgit v1.3.1-4-g156e