diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-07-25 02:57:37 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-07-26 00:58:15 -0400 |
| commit | ea08fa37c05303dea42f6ce2e9fdfe16e73a4df7 (patch) | |
| tree | 340c73dcc469cc0f544e9b7ede3199c2b2bbeedc | |
| parent | 00d9d28405a5983ae40a1815a146fb27abca10e8 (diff) | |
| download | haskell-ea08fa37c05303dea42f6ce2e9fdfe16e73a4df7.tar.gz | |
reifyTypeOfThing: panic on impossible cases
| -rw-r--r-- | compiler/typecheck/TcSplice.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/typecheck/TcSplice.hs b/compiler/typecheck/TcSplice.hs index ba4f58752f..242028f578 100644 --- a/compiler/typecheck/TcSplice.hs +++ b/compiler/typecheck/TcSplice.hs @@ -2029,7 +2029,10 @@ reifyTypeOfThing th_name = do reifyPatSynType (patSynSig ps) ATcId{tct_id = id} -> zonkTcType (idType id) >>= reifyType ATyVar _ tctv -> zonkTcTyVar tctv >>= reifyType - _ -> failWithTc (text "No type or kind associated with" <+> ppr thing) + -- Impossible cases, supposedly: + AGlobal (ACoAxiom _) -> panic "reifyTypeOfThing: ACoAxiom" + ATcTyCon _ -> panic "reifyTypeOfThing: ATcTyCon" + APromotionErr _ -> panic "reifyTypeOfThing: APromotionErr" ------------------------------ lookupThAnnLookup :: TH.AnnLookup -> TcM CoreAnnTarget |