aboutsummaryrefslogtreecommitdiff
path: root/tests/iii/default-return-template
diff options
context:
space:
mode:
Diffstat (limited to 'tests/iii/default-return-template')
-rw-r--r--tests/iii/default-return-template/case.json5
-rw-r--r--tests/iii/default-return-template/program.cps5
2 files changed, 10 insertions, 0 deletions
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 <T>
+OVERLOAD FUNCTION Pick(X : T) RETURNS DEFAULT INTEGER
+ RETURN 1
+ENDFUNCTION
+OUTPUT 1