From 5b6de9f13ddee3c0e621820bde62730c5e082e52 Mon Sep 17 00:00:00 2001 From: Jeffrey Young Date: Wed, 8 Jan 2025 12:27:49 -0500 Subject: [PATCH] wrk: add loc in expander error message --- src/Expander/Monad.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Expander/Monad.hs b/src/Expander/Monad.hs index 303e504..9622d7b 100644 --- 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'