coolguyandClaude Opus 5
1c4f46e5e5
문서에만 있던 실행 의미가 코드가 된다. - ir.ml: AST를 얇은 IR로 낮춘다. `?`는 Result에 대한 match로 펼쳐지고, 타입 인자는 사라지며(단형화 없음), 한정 이름은 하나의 이름으로 접힌다. 이름은 낮추기 시점에 분류된다 — 실행 중에 "지역인가 전역인가"를 다시 묻지 않는다. - interp.ml: 검사하지 않는 인터프리터. 여기 도달한 프로그램은 이미 타입, effect, capability, ownership 검사를 통과했고, 같은 질문을 두 번 묻는 것은 두 번째 진실을 만드는 일이다. 권한의 유일한 출처는 런타임이다. 소스에는 capability를 만드는 문법이 없고, main은 자기가 선언한 것만 받는다. 파라미터에서 Console을 지우면 출력할 방법이 프로그램 안에 없다 — 보안 정리 (i)의 실행 시점 대응물. TaskScope의 뿌리도 같은 이유로 런타임이 준다. scope의 v0 실행 의미는 순차다. 구조가 먼저고 병렬성은 그 위의 최적화다. samples/run/은 이제 "검사를 통과한다"가 아니라 "이 값을 낸다"까지 말하고, test/가 같은 것을 검사한다. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_019ZVDeU6KLuUVL3gs18Hm3E
108 lines
3.6 KiB
OCaml
108 lines
3.6 KiB
OCaml
(* v0 파이프라인.
|
|
parse -> name resolution -> type check -> effect/capability check
|
|
-> interface artifact + hash -> (coolc run 시) 얇은 typed IR -> interpreter
|
|
|
|
이 파일은 단일 파일 도구(tokens/ast/deps)만 남았다. 모듈 그래프를 다루는
|
|
check와 run은 Session이 소유한다 — import를 따라가야 하는 순간부터
|
|
"파일 하나"는 더 이상 단위가 아니다. *)
|
|
|
|
type error = { file : string; line : int; col : int; message : string }
|
|
|
|
let string_of_error { file; line; col; message } =
|
|
Printf.sprintf "%s:%d:%d: %s" file line col message
|
|
|
|
let read_file file =
|
|
try
|
|
let ic = open_in_bin file in
|
|
let n = in_channel_length ic in
|
|
let s = really_input_string ic n in
|
|
close_in ic;
|
|
Ok s
|
|
with Sys_error msg -> Error { file; line = 0; col = 0; message = msg }
|
|
|
|
let lex_file file =
|
|
match read_file file with
|
|
| Error e -> Error e
|
|
| Ok src -> (
|
|
match Lexer.lex_result src with
|
|
| Ok tokens -> Ok tokens
|
|
| Error { pos; msg } ->
|
|
Error { file; line = pos.line; col = pos.col; message = msg })
|
|
|
|
let tokens (file : string) : (Token.t list, error list) result =
|
|
match lex_file file with Ok ts -> Ok ts | Error e -> Error [ e ]
|
|
|
|
let parse_file file =
|
|
match lex_file file with
|
|
| Error e -> Error e
|
|
| Ok tokens -> (
|
|
match Parser.parse_result tokens with
|
|
| Ok m -> Ok m
|
|
| Error { pos; msg } ->
|
|
Error { file; line = pos.line; col = pos.col; message = msg })
|
|
|
|
let ast (file : string) : (Ast.modul, error list) result =
|
|
match parse_file file with Ok m -> Ok m | Error e -> Error [ e ]
|
|
|
|
let resolve (file : string) : (Resolve.info, error list) result =
|
|
match parse_file file with
|
|
| Error e -> Error [ e ]
|
|
| Ok m -> (
|
|
let info, errors = Resolve.resolve m in
|
|
match errors with
|
|
| [] -> Ok info
|
|
| _ ->
|
|
Error
|
|
(List.map
|
|
(fun (e : Resolve.error) ->
|
|
{ file; line = e.pos.line; col = e.pos.col; message = e.msg })
|
|
errors))
|
|
|
|
let typecheck (file : string) : (unit, error list) result =
|
|
match parse_file file with
|
|
| Error e -> Error [ e ]
|
|
| Ok m -> (
|
|
let _, rerrors = Resolve.resolve m in
|
|
match rerrors with
|
|
| _ :: _ ->
|
|
Error
|
|
(List.map
|
|
(fun (e : Resolve.error) ->
|
|
{ file; line = e.pos.line; col = e.pos.col; message = e.msg })
|
|
rerrors)
|
|
| [] -> (
|
|
let terrors =
|
|
List.map
|
|
(fun (e : Typecheck.error) ->
|
|
{ file; line = e.pos.line; col = e.pos.col; message = e.msg })
|
|
(Typecheck.check m)
|
|
in
|
|
(* move/affinity는 타입·effect와 달리 별도 순회다. 소유하는 성질이
|
|
다르고 해소를 공유할 지점도 없기 때문이다. *)
|
|
let merrors =
|
|
List.map
|
|
(fun (e : Move.error) ->
|
|
{ file; line = e.pos.line; col = e.pos.col; message = e.msg })
|
|
(Move.check m)
|
|
in
|
|
match
|
|
List.sort
|
|
(fun a b -> compare (a.line, a.col) (b.line, b.col))
|
|
(terrors @ merrors)
|
|
with
|
|
| [] -> Ok ()
|
|
| errors -> Error errors))
|
|
|
|
let check (files : string list) : (unit, error list) result =
|
|
match files with
|
|
| [] ->
|
|
Error [ { file = "<none>"; line = 0; col = 0; message = "검사할 파일이 없습니다" } ]
|
|
| _ ->
|
|
let errors =
|
|
List.filter_map
|
|
(fun f -> match typecheck f with Ok _ -> None | Error es -> Some es)
|
|
files
|
|
|> List.concat
|
|
in
|
|
if errors <> [] then Error errors else Ok ()
|