From fa0eb3a26d1169a6da547be299c01b77eeeb6a5b Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Mon, 16 Feb 2026 21:46:49 -0800
Subject: [PATCH] Better location on an error

---
 src/Lib/Elab.newt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lib/Elab.newt b/src/Lib/Elab.newt
index d9fada3..e61f17f 100644
--- a/src/Lib/Elab.newt
+++ b/src/Lib/Elab.newt
@@ -302,7 +302,7 @@ invert lvl sp = go sp Nil
           -- when does this happen?
           error fc "non-linear pattern: \{show sp}"
         else go xs (k :: acc)
-    go (xs :< v) _ = error emptyFC "non-variable in pattern \{show v}"
+    go (xs :< v) _ = error (getFC v) "non-variable in pattern \{show v}"
 
 rename : QName -> List Int -> Int -> Val  -> M Tm