Merge remote-tracking branch 'origin/master' into type-nats
[ghc.git] / compiler / typecheck / TcSplice.lhs
index 6346480..6efbdf9 100644 (file)
@@ -1308,6 +1308,7 @@ reifyType (AppTy t1 t2)     = do { [r1,r2] <- reifyTypes [t1,t2] ; return (r1 `T
 reifyType ty@(FunTy t1 t2)
   | isPredTy t1 = reify_for_all ty  -- Types like ((?x::Int) => Char -> Char)
   | otherwise   = do { [r1,r2] <- reifyTypes [t1,t2] ; return (TH.ArrowT `TH.AppT` r1 `TH.AppT` r2) }
+reifyType (LiteralTy _)    = failWith $ ptext $ sLit "Type-level literal canont be reifyed yet."
 
 reify_for_all :: TypeRep.Type -> TcM TH.Type
 reify_for_all ty