diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-21 05:54:26 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-21 05:54:26 +0000 |
| commit | c56877035d6600b463a9cbf0e339f7548c0b46fd (patch) | |
| tree | 5b2af13b7f8f097d8de5436a729b39e85427b9f0 /tests/iii/template-deduction-errors/program.cps | |
| parent | dd5bbae055fd34ce2e12ef63f8a261c6b15dc83e (diff) | |
feat(codegen): instantiate function templates by deduction
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'tests/iii/template-deduction-errors/program.cps')
| -rw-r--r-- | tests/iii/template-deduction-errors/program.cps | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tests/iii/template-deduction-errors/program.cps b/tests/iii/template-deduction-errors/program.cps new file mode 100644 index 0000000..7ec1584 --- /dev/null +++ b/tests/iii/template-deduction-errors/program.cps @@ -0,0 +1,10 @@ +TEMPLATE <T> +FUNCTION Max(A : T, B : T) RETURNS T + RETURN A +ENDFUNCTION +TEMPLATE <T> +FUNCTION Undeducible() RETURNS T + RETURN 0 +ENDFUNCTION +OUTPUT Max(1, 2.5) +OUTPUT Undeducible() |