diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-18 06:11:42 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-18 06:11:42 +0000 |
| commit | 5a67f4e3833c2acca4a351f5dd613bc08f04bfc0 (patch) | |
| tree | 6d75f5d13931ba0f7c15d286028049a421a6e974 /tests/i/operator-kinds/notes.md | |
| parent | b17f101cfc75565f9991c856ec62f1e17b0ab104 (diff) | |
feat(operators): document overloads and cover remaining operator forms
Add fixed cases for every supported operator, imported global and member
operators, CASE comparisons, and declared result type errors. Document
syntax, exact matching, access rules and temporary receiver lifetimes.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'tests/i/operator-kinds/notes.md')
| -rw-r--r-- | tests/i/operator-kinds/notes.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tests/i/operator-kinds/notes.md b/tests/i/operator-kinds/notes.md new file mode 100644 index 0000000..f4d829e --- /dev/null +++ b/tests/i/operator-kinds/notes.md @@ -0,0 +1,7 @@ +# operator-kinds + +Human review: pending. Expected output was independently traced by AI, not captured from cpsc. + +Basis: operator overloading is a project extension. + +Trace: each binary operator on Choice explicitly returns its own marker 101 through 115 in source order. Unary minus returns 116 and NOT returns 117. The explicit AND call returns 114. In particular /, &, comparisons and logic must use the declared INTEGER result, overriding builtin type inference and enum comparisons. |