better parsing error reporting

ascandone · Jan 19, 2024 · ce0f859 · ce0f859
1 parent a1ea483
commit ce0f859
Showing 1 changed file with 10 additions and 3 deletions.
diff --git a/src/cli/commands/typecheck.ts b/src/cli/commands/typecheck.ts
@@ -1,5 +1,5 @@
 import { readFileSync } from "fs";
-import { unsafeParse } from "../../parser";
+import { parse } from "../../parser";
 import { typecheck } from "../../typecheck/typecheck";
 import { typeErrorPPrint } from "../../typecheck/pretty-printer";
 import { prelude } from "../../typecheck/prelude";
@@ -14,8 +14,15 @@ export function typecheckCmd(path: string) {
   const f = readFileSync(path);
 
   const src = f.toString();
-  const untyped = unsafeParse(src);
-  const [, errors] = typecheck(untyped, prelude);
+  const parseResult = parse(src);
+  if (!parseResult.ok) {
+    console.log(
+      `${FgRed}Parsing error:${Reset} ${parseResult.matchResult.message!}`,
+    );
+    return;
+  }
+
+  const [, errors] = typecheck(parseResult.value, prelude);
 
   for (const error of errors) {
     const msg = typeErrorPPrint(error);