diff options
Diffstat (limited to 'compiler/GHC/Tc')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Splice.hs | 2 | ||||
| -rw-r--r-- | compiler/GHC/Tc/Utils/Zonk.hs | 8 |
2 files changed, 7 insertions, 3 deletions
diff --git a/compiler/GHC/Tc/Gen/Splice.hs b/compiler/GHC/Tc/Gen/Splice.hs index 6ba304be16..239a55ee6e 100644 --- a/compiler/GHC/Tc/Gen/Splice.hs +++ b/compiler/GHC/Tc/Gen/Splice.hs @@ -962,7 +962,7 @@ typedSpliceCtxtDoc n splice spliceResultDoc :: LHsExpr GhcTc -> SDoc spliceResultDoc expr = sep [ text "In the result of the splice:" - , nest 2 (char '$' <> ppr expr) + , nest 2 (text "$$" <> ppr expr) , text "To see what the splice expanded to, use -ddump-splices"] stubNestedSplice :: HsExpr GhcTc diff --git a/compiler/GHC/Tc/Utils/Zonk.hs b/compiler/GHC/Tc/Utils/Zonk.hs index 84e0865154..8c95d6f297 100644 --- a/compiler/GHC/Tc/Utils/Zonk.hs +++ b/compiler/GHC/Tc/Utils/Zonk.hs @@ -785,7 +785,7 @@ zonkExpr env (HsUntypedBracket hsb_tc body) zonkExpr env (HsTypedSplice s _) = runTopSplice s >>= zonkExpr env -zonkExpr _ e@(HsUntypedSplice _ _) = pprPanic "zonkExpr: HsUntypedSplice" (ppr e) +zonkExpr _ (HsUntypedSplice x _) = dataConCantHappen x zonkExpr _ (OpApp x _ _ _) = dataConCantHappen x @@ -899,7 +899,11 @@ zonkExpr env (XExpr (ConLikeTc con tvs tys)) -- The tvs come straight from the data-con, and so are strictly redundant -- See Wrinkles of Note [Typechecking data constructors] in GHC.Tc.Gen.Head -zonkExpr _ expr = pprPanic "zonkExpr" (ppr expr) +zonkExpr _ (RecordUpd x _ _) = dataConCantHappen x +zonkExpr _ (HsGetField x _ _) = dataConCantHappen x +zonkExpr _ (HsProjection x _) = dataConCantHappen x +zonkExpr _ e@(XExpr (HsTick {})) = pprPanic "zonkExpr" (ppr e) +zonkExpr _ e@(XExpr (HsBinTick {})) = pprPanic "zonkExpr" (ppr e) ------------------------------------------------------------------------- {- |