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