_selftest/test_error.scm · 1915 字节 · 下载原文

; test_error.scm —— 刻意的诊断用例，**必须编译失败**（不参与编译通过性检查）

; test_error.scm -- a deliberate diagnostic case, **must fail to compile** (not part of the compile-cleanliness check)

;

; 期望 2 条 error（都带 文件:行:列 + [诊断码]）：下面 ①② 两处少给参数的调用。

; Expected: 2 errors (both with file:line:col + [diag-code]): the two calls below (1)(2) that pass too few arguments.

; ③④ 是刻意留着、当前**不会**报的写法，用来钉住行为（见各自注释）。

; (3)(4) are deliberately kept forms that currently **do not** report, pinning the behaviour down (see their own comments).


(define (rect-area w h)
  (* w h))

(define unused-scale 3)          ; ③ 定义未使用：Scheme 无警告出口 ⇒ 不出 warning

; (3) defined but unused: Scheme has no warning outlet => no warning is produced


(display "rect=")
(display (rect-area 3 4))
(newline)

(display "bad1=")
(display (+ 1))                  ; ① error [CodeGen_InvalidOperand]

(newline)

(display "bad2=")
(display (< 7))                  ; ② error [CodeGen_InvalidOperand]（验证「一次多报」）

; (2) error [CodeGen_InvalidOperand] (verifies "several reported at once")

(newline)

(display (undefined-helper 1))   ; ④ 未定义函数：被 ①② 挡住，链接期才判 ⇒ 不出现

; (4) undefined function: blocked by (1)(2), only judged at link time => it does not appear

;; ↳ 2026-10-04 复验仍成立：实测 2 条 error，都带 文件:行:列 + [诊断码]

;; ↳ Still true, re-checked 2026-10-04: measures 2 errors, each with file:line:col + [diag-code]

;;   （`test_error.scm:20:10` 与 `:24:10`，均为 `[CodeGen_InvalidOperand]`）；③④ 仍不出诊断。

;;   (`test_error.scm:20:10` and `:24:10`, both `[CodeGen_InvalidOperand]`); (3)(4) still produce no diagnostic.

(newline)