builtins ignore type check

compiler/checker.ts

@@ -121,7 +121,13 @@ export class Checker {
         }
         const { returnType } = stmt.kind.vtype!;
         this.fnReturnStack.push(returnType);
+
+        const isBuiltin = stmt.kind.anno && stmt.kind.anno.ident === "builtin";
+        if (isBuiltin) {
+            stmt.kind.body.kind = { type: "block", stmts: [] };
+        }
         const body = this.checkExpr(stmt.kind.body);
+
         this.fnReturnStack.pop();
         if (!vtypesEqual(returnType, body)) {
             this.report(

compiler/main.ts

@@ -15,9 +15,8 @@ const lexer = new Lexer(text, reporter);
 const parser = new Parser(lexer, reporter);
 const ast = parser.parseStmts();
 
-console.log(JSON.stringify(ast, null, 4));
+// console.log(JSON.stringify(ast, null, 4));
 
-/*
 new Resolver(reporter).resolve(ast);
 new Checker(reporter).check(ast);
 
@@ -34,4 +33,3 @@ const program = lowerer.finish();
 console.log(JSON.stringify(program));
 
 await Deno.writeTextFile("out.slgbc", JSON.stringify(program));
-*/

examples/annos.slg

@@ -1,4 +1,6 @@
-fn print(msg: string) #[builtin(print)] {}
+fn print(msg: string) #[builtin(print)] {
+    + "hello" 0    
+}
 
 fn main() {
     print("hello world!");