From 1a9a8d33120933d03db6409d7eab52a1d4ae49fc Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Sat, 11 Jan 2025 17:40:24 -0800
Subject: [PATCH] better fc in missing case

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

diff --git a/port/Lib/Elab.newt b/port/Lib/Elab.newt
index c4b3181..f8f3d5d 100644
--- a/port/Lib/Elab.newt
+++ b/port/Lib/Elab.newt
@@ -1361,7 +1361,7 @@ check ctx tm ty = do
           pure $ MkClause (getFC pat) ((scnm, pat') :: Nil) Nil rawRHS
       -- buildCase expects scrutinee to be a name in the context, so we need to let it.
       -- if it's a Bnd and not shadowed we could skip the let, but that's messy.
-      let ctx' = extend ctx scnm scty
+      let ctx' = withPos (extend ctx scnm scty) (getFC tm)
       tree <- buildTree ctx' $ MkProb clauses ty
       pure $ Let fc scnm sc tree