From bfe020bfa91640e7a6f1a516dc752fa754249088 Mon Sep 17 00:00:00 2001 From: _ov4 Date: Wed, 21 Oct 2026 06:00:55 +0000 Subject: feat(codegen): support explicit template arguments Co-Authored-By: Claude Opus 5.5 --- tests/i/template-explicit-args/notes.md | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/i/template-explicit-args/notes.md (limited to 'tests/i/template-explicit-args/notes.md') diff --git a/tests/i/template-explicit-args/notes.md b/tests/i/template-explicit-args/notes.md new file mode 100644 index 0000000..b487fdd --- /dev/null +++ b/tests/i/template-explicit-args/notes.md @@ -0,0 +1,5 @@ +# template-explicit-args + +Human review: pending. Expected output was independently traced by AI, not captured from cpsc. + +Basis: TEMPLATE is a project extension. Max explicitly selects REAL and INTEGER, producing 2.000000 and 3. Second binds its first type explicitly and deduces STRING for its second, returning tail. Zero's otherwise undeducible return type is explicitly REAL, producing 0.000000. CALL and bare Print statements produce 2.500000 and 9. Pick uses the ordinary exact overload without explicit arguments (200) and the template with them (100). Echo preserves the STRING chain through a result method, and discarded STRING results exercise statement cleanup without output. -- cgit v1.3.1-4-g156e