From eafabc8afa1ef03721ba4eadc2853195c50d6b24 Mon Sep 17 00:00:00 2001
From: sfja <simonfromjakobsen@gmail.com>
Date: Thu, 6 Feb 2025 02:24:04 +0100
Subject: [PATCH] compiler: exhaust match

---
 slige/compiler/check/checker.ts | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/slige/compiler/check/checker.ts b/slige/compiler/check/checker.ts
index eb67b33..3aaf75b 100644
--- a/slige/compiler/check/checker.ts
+++ b/slige/compiler/check/checker.ts
@@ -225,8 +225,16 @@ export class Checker {
         switch (k.tag) {
             case "error":
                 return todo();
-            case "bind":
+            case "bind": {
+                switch (patRes.kind.tag) {
+                    case "fn_param":
+                        return todo();
+                    case "let":
+                        return todo();
+                }
+                exhausted(patRes.kind);
                 return todo();
+            }
             case "path":
                 return todo();
         }