fix: std 런타임 대조가 본문 있는 함수를 요구하던 것

std/test.cool의 assert는 coollang으로 쓰여 본문이 있으므로 런타임 구현이
필요 없다. 양방향 대조가 그걸 구분하지 못했다.

앞 커밋에서 이 수정이 파일에 반영되지 않은 채 푸시됐다 — dune이 테스트를
캐시해 통과로 보였다. 이제부터 검증은 dune test --force로 한다.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019ZVDeU6KLuUVL3gs18Hm3E
This commit is contained in:
2026-08-30 17:52:36 +09:00
co-authored by Claude Opus 5
parent 78ef07d2ee
commit df775ac4a6
+4 -1
View File
@@ -1314,7 +1314,10 @@ let () =
| Ok ast ->
List.filter_map
(function
| Ast.I_fn { decl; _ } -> Some (!m ^ "." ^ decl.fn_name)
(* 본문이 있으면 coollang으로 구현된 것이다 (std/test.cool의
assert). 런타임 구현이 필요한 것은 본문 없는 선언뿐이다 *)
| Ast.I_fn { decl; _ } when decl.fn_body = None ->
Some (!m ^ "." ^ decl.fn_name)
| _ -> None)
ast.Ast.items)
in