Add a check stub

4 files changed, 54 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index a95053b..afb6cae 100644
--- a/Makefile
+++ b/Makefile
@@ -2,6 +2,7 @@
 
 BINOUT = .bin
 HDR    = \
+	include/check.h \
 	include/expr.h \
 	include/lex.h \
 	include/parse.h \
@@ -9,6 +10,7 @@ HDR    = \
 	include/utf8.h \
 	include/util.h
 OBJ    = \
+	src/check.o \
 	src/lex.o \
 	src/main.o \
 	src/parse.o \
diff --git a/include/check.h b/include/check.h
new file mode 100644
index 0000000..c36909e
--- /dev/null
+++ b/include/check.h
@@ -0,0 +1,7 @@
+#ifndef CERC_CHECK_H
+#define CERC_CHECK_H
+#include "parse.h"
+
+void check(struct ast_unit *ast);
+
+#endif
diff --git a/src/check.c b/src/check.c
new file mode 100644
index 0000000..f6a8576
--- /dev/null
+++ b/src/check.c
@@ -0,0 +1,42 @@
+#define _POSIX_C_SOURCE 200809L
+
+#include <stdarg.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <stdnoreturn.h>
+#include "lex.h"
+#include "parse.h"
+#include "util.h"
+
+static noreturn void
+error(struct location loc, const char *fmt, ...)
+{
+	fprintf(stderr, "%s:%d:%d ", loc.file, loc.line, loc.column);
+
+	va_list ap;
+	va_start(ap, fmt);
+	vfprintf(stderr, fmt, ap);
+	va_end(ap);
+
+	fprintf(stderr, "\n");
+	exit(EXIT_CHECK);
+}
+
+static void
+check_imports(struct ast_import *imports, int n)
+{
+	/* TODO */
+}
+
+static void
+check_toplevels(struct ast_toplevel *tops, int n)
+{
+	/* TODO */
+}
+
+void
+check(struct ast_unit *ast)
+{
+	check_imports(ast->imports, ast->implen);
+	check_toplevels(ast->tops, ast->toplen);
+}
diff --git a/src/main.c b/src/main.c
index f318c52..5831311 100644
--- a/src/main.c
+++ b/src/main.c
@@ -5,6 +5,7 @@
 #include <stdlib.h>
 #include <string.h>
 #include <sys/stat.h>
+#include "check.h"
 #include "lex.h"
 #include "parse.h"
 #include "util.h"
@@ -44,6 +45,8 @@ main(int argc, char *argv[])
 		lex_init(&lexer, in, path);
 		parse(&lexer, &ast);
 		lex_finish(&lexer);
+
+		check(&ast);
 	}
 
 	return EXIT_SUCCESS;