From d5963f23eac7dfcfffe9a840bfab46ab3adb4b6f Mon Sep 17 00:00:00 2001
From: Michael Zhang <mail@mzhang.io>
Date: Mon, 25 Nov 2024 21:06:35 -0600
Subject: [PATCH] don't warn

---
 stlc-bidir/index.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/stlc-bidir/index.ts b/stlc-bidir/index.ts
index 6bade39..10428b7 100644
--- a/stlc-bidir/index.ts
+++ b/stlc-bidir/index.ts
@@ -227,7 +227,7 @@ const buildExpr = (s: string, c: TreeCursor): term => {
 export const parseExpr = (s: string) => {
   const tree = buildParser(parserSource("Expr"), {
     typeScript: true,
-    warn: false,
+    warn: () => {},
   }).parse(s);
 
   const cursor = tree.cursor();
@@ -238,7 +238,7 @@ export const parseExpr = (s: string) => {
 export const parseTy = (s: string) => {
   const tree = buildParser(parserSource("Ty"), {
     typeScript: true,
-    warn: false,
+    warn: () => {},
   }).parse(s);
 
   const cursor = tree.cursor();