X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcHsType.lhs;fp=compiler%2Ftypecheck%2FTcHsType.lhs;h=64da3c0f6e5e06bf54109d73caa64da3101eb26a;hp=11288dc6d8500b614208e0309cd3023131b69f1b;hb=6f8ff0bbad3b9fa389c960ad1b5a267a1ae502f1;hpb=4b357e2a7e7eff16cb51b01830636d451664b202

diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs
index 11288dc..64da3c0 100644
--- a/compiler/typecheck/TcHsType.lhs
+++ b/compiler/typecheck/TcHsType.lhs
@@ -424,7 +424,8 @@ kc_hs_type (HsSpliceTy sp) = kcSpliceType sp
 kc_hs_type ty@(HsSpliceTy {}) = failWithTc (ptext (sLit "Unexpected type splice:") <+> ppr ty)
 #endif
 
-kc_hs_type (HsSpliceTyOut {}) = panic "kc_hs_type"	-- Should not happen at all
+kc_hs_type (HsSpliceTyOut {})  = panic "kc_hs_type"	-- Should not happen at all
+kc_hs_type (HsQuasiQuoteTy {}) = panic "kc_hs_type"	-- Eliminated by renamer
 
 -- remove the doc nodes here, no need to worry about the location since
 -- its the same for a doc node and it's child type node
@@ -627,7 +628,8 @@ ds_type (HsSpliceTyOut kind)
   = do { kind' <- zonkTcKindToKind kind
        ; newFlexiTyVarTy kind' }
 
-ds_type (HsSpliceTy {}) = panic "ds_type"
+ds_type (HsSpliceTy {})     = panic "ds_type"
+ds_type (HsQuasiQuoteTy {}) = panic "ds_type"	-- Eliminated by renamer
 
 dsHsTypes :: [LHsType Name] -> TcM [Type]
 dsHsTypes arg_tys = mapM dsHsType arg_tys