From df775ac4a6719c7112f66abb768d1cd445894168 Mon Sep 17 00:00:00 2001
From: coolguy <sebastianrcnt@gmail.com>
Date: Sun, 30 Aug 2026 17:52:36 +0900
Subject: [PATCH] =?UTF-8?q?fix:=20std=20=EB=9F=B0=ED=83=80=EC=9E=84=20?=
 =?UTF-8?q?=EB=8C=80=EC=A1=B0=EA=B0=80=20=EB=B3=B8=EB=AC=B8=20=EC=9E=88?=
 =?UTF-8?q?=EB=8A=94=20=ED=95=A8=EC=88=98=EB=A5=BC=20=EC=9A=94=EA=B5=AC?=
 =?UTF-8?q?=ED=95=98=EB=8D=98=20=EA=B2=83?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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
---
 test/test_coollang.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/test/test_coollang.ml b/test/test_coollang.ml
index 5cf079a..d6aa01c 100644
--- a/test/test_coollang.ml
+++ b/test/test_coollang.ml
@@ -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