Commit 6f8f947c authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Print coercion variables as such (debugging change only)

parent 2e5f521a
......@@ -181,7 +181,8 @@ instance Outputable Var where
ppr var = ppr (varName var) <+> ifPprDebug (brackets (ppr_debug var))
ppr_debug :: Var -> SDoc
ppr_debug (TyVar {}) = ptext (sLit "tv")
ppr_debug (TyVar { isCoercionVar = False }) = ptext (sLit "tv")
ppr_debug (TyVar { isCoercionVar = True }) = ptext (sLit "co")
ppr_debug (TcTyVar {tc_tv_details = d}) = pprTcTyVarDetails d
ppr_debug (Id { idScope = s, id_details = d }) = ppr_id_scope s <> pprIdDetails d
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment