@@ -1192,7 +1192,7 @@ reifyRawApp t [c]
1192reifyRawApp t args = fail ("Unknown reflection raw term: " ++ show (t, args))
1192reifyRawApp t args = fail ("Unknown reflection raw term: " ++ show (t, args))
1194reifyTTName :: Term -> ElabD Name
1194reifyTTName :: Term -> ElabD Name
1195−reifyTTName t@(App _ _)
1195+reifyTTName t
1196 | (P _ f _, args) <- unApply t = reifyTTNameApp f args
1196 | (P _ f _, args) <- unApply t = reifyTTNameApp f args
1197reifyTTName t = fail ("Unknown reflection term name: " ++ show t)
1197reifyTTName t = fail ("Unknown reflection term name: " ++ show t)