@@ -1960,7 +1960,7 @@ reifyRaw t@(App _ _)
19601960 | (P _ f _, args) <- unApply t = reifyRawApp f args
19611961reifyRaw t@(P _ n _)
19621962 | n == reflm "RType" = return $ RType
1963−reifyRaw t = fail ("Unknown reflection raw term: " ++ show t)
1963+reifyRaw t = fail ("Unknown reflection raw term in reifyRaw: " ++ show t)
19641964
19651965reifyRawApp :: Name -> [Term] -> ElabD Raw
19661966reifyRawApp t [n]
@@ -1976,7 +1976,7 @@ reifyRawApp t [t']
19761976 | t == reflm "RForce" = liftM RForce (reifyRaw t')
19771977reifyRawApp t [c]
19781978 | t == reflm "RConstant" = liftM RConstant (reifyTTConst c)
1979−reifyRawApp t args = fail ("Unknown reflection raw term: " ++ show (t, args))
1979+reifyRawApp t args = fail ("Unknown reflection raw term in reifyRawApp: " ++ show (t, args))
19801980
19811981reifyTTName :: Term -> ElabD Name
19821982reifyTTName t