wash/mie
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

tool: validate: if parse fails, print any diagnostic messages

Browse Source
This commit is contained in:
max 🍓
2026-01-27 20:51:18 +00:00
parent d4fbd75a59
commit 5835d25679
1 changed files with 15 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
tool/cmd/validate.c
View File

@@ -1,3 +1,4 @@
#include "../diag/diag.h"
#include "cmd.h" #include "cmd.h"
#include <assert.h> #include <assert.h>
@@ -26,6 +27,7 @@
#include <mie/ir/walk.h> #include <mie/ir/walk.h>
#include <mie/name.h> #include <mie/name.h>
#include <mie/parse/lex.h> #include <mie/parse/lex.h>
#include <mie/parse/line-source.h>
#include <mie/parse/parser.h> #include <mie/parse/parser.h>
#include <mie/parse/token.h> #include <mie/parse/token.h>
#include <mie/pass/builtin.h> #include <mie/pass/builtin.h>
@@ -68,7 +70,10 @@ static int validate_file(const char *path, const b_arglist *args)
mie_builtin_passes_register(ctx); mie_builtin_passes_register(ctx);
struct mie_lex *lex = mie_lex_create(file); struct mie_line_source src;
mie_line_source_init(&src, path, file);
struct mie_lex *lex = mie_lex_create(&src, ctx);
struct mie_parser *parse = mie_parser_create(ctx, lex); struct mie_parser *parse = mie_parser_create(ctx, lex);
struct mie_name_map *names = mie_name_map_create(NULL); struct mie_name_map *names = mie_name_map_create(NULL);
@@ -76,6 +81,13 @@ static int validate_file(const char *path, const b_arglist *args)
struct mie_op *root = mie_op_create(); struct mie_op *root = mie_op_create();
if (!mie_parser_parse_op(parse, NULL, root)) { if (!mie_parser_parse_op(parse, NULL, root)) {
struct mie_diag *diag = mie_ctx_pop_diag(ctx);
while (diag) {
mie_diag_write_pretty(diag, b_stdtty_err);
/* TODO cleanup */
diag = mie_ctx_pop_diag(ctx);
}
printf("parse failed\n"); printf("parse failed\n");
return -1; return -1;
} }
@@ -215,6 +227,8 @@ static int validate_file(const char *path, const b_arglist *args)
mie_lex_destroy(lex); mie_lex_destroy(lex);
mie_line_source_cleanup(&src);
b_file_unref(file); b_file_unref(file);
return 0; return 0;