wrk: add loc in expander error message

gelisam · Jan 8, 2025 · 5b6de9f · 5b6de9f
1 parent 95a0ba5
commit 5b6de9f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Expander/Monad.hs b/src/Expander/Monad.hs
@@ -654,11 +654,11 @@ getDecl ptr =
     zonkDecl (Example loc schPtr e) =
       linkedCore e >>=
       \case
-        Nothing -> debug $ InternalError "Missing expr after expansion"
+        Nothing -> debug . InternalError $ "Missing expr after expansion at: " <> show loc
         Just e' ->
           linkedScheme schPtr >>=
           \case
-            Nothing -> debug $ InternalError "Missing example scheme after expansion"
+            Nothing -> debug . InternalError $ "Missing example scheme after expansion: " <> show loc
             Just (Scheme ks t) -> do
               ks' <- traverse zonkKindDefault ks
               pure $ CompleteDecl $ Example loc (Scheme ks' t) e'