Better location on an error

2026-02-16 21:46:49 -08:00
parent 7f2fa27aa6
commit fa0eb3a26d
1 changed files with 1 additions and 1 deletions
--- 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