Expose type checker method for package

Author: bryanlohxz

src/types/index.ts

@@ -1,9 +1,17 @@
+import { check } from './checker'
 import { Node } from './ast/types'
-import { typeCheckBody } from './checker'
+import { parse } from './ast'
 
-export type TypeCheckResult = { hasTypeErrors: boolean }
+export type TypeCheckResult = { hasTypeErrors: boolean; errorMessages: string[] }
+
+export const parseProgram = (program: string): Node => {
+  return parse(program)
+}
 
 export const typeCheck = (ast: Node): TypeCheckResult => {
-  const result = typeCheckBody(ast)
-  return { hasTypeErrors: result.errors.length > 0 }
+  const result = check(ast)
+  return {
+    hasTypeErrors: result.errors.length > 0,
+    errorMessages: result.errors.map(error => error.message)
+  }
 }

src/types/inputs/Main.java

@@ -1,5 +1,6 @@
-class A extends B {}
-class B extends A {}
 public class Main {
-  public static void main(String[] args) {}
-}
+  public static void main(String[] args) {
+    throwing();
+  }
+  public static void throwing() throws Exception {}
+}