@@ -1960,7 +1960,7 @@ reifyRaw t@(App _ _)
1960 | (P _ f _, args) <- unApply t = reifyRawApp f args
1960 | (P _ f _, args) <- unApply t = reifyRawApp f args
1961reifyRaw t@(P _ n _)
1961reifyRaw t@(P _ n _)
1962 | n == reflm "RType" = return $ RType
1962 | 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)
1965reifyRawApp :: Name -> [Term] -> ElabD Raw
1965reifyRawApp :: Name -> [Term] -> ElabD Raw
1966reifyRawApp t [n]
1966reifyRawApp t [n]
@@ -1976,7 +1976,7 @@ reifyRawApp t [t']
1976 | t == reflm "RForce" = liftM RForce (reifyRaw t')
1976 | t == reflm "RForce" = liftM RForce (reifyRaw t')
1977reifyRawApp t [c]
1977reifyRawApp t [c]
1978 | t == reflm "RConstant" = liftM RConstant (reifyTTConst c)
1978 | 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))
1981reifyTTName :: Term -> ElabD Name
1981reifyTTName :: Term -> ElabD Name
1982reifyTTName t
1982reifyTTName t