Fix reification of NErased
commit0245eef86e5bf23256d02ff97281fbf720d74201
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 24 Jan 2014, 19:46 (13 years ago)
parentb8d7935
src/Idris/ElabTerm.hs+1−1
@@ -1192,7 +1192,7 @@ reifyRawApp t [c]
11921192reifyRawApp t args = fail ("Unknown reflection raw term: " ++ show (t, args))
11931193
11941194reifyTTName :: Term -> ElabD Name
1195−reifyTTName t@(App _ _)
1195+reifyTTName t
11961196 | (P _ f _, args) <- unApply t = reifyTTNameApp f args
11971197reifyTTName t = fail ("Unknown reflection term name: " ++ show t)
11981198