diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-20 23:15:13 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-03-21 14:32:39 -0400 |
| commit | e19e58ced6fb410c8aa79b2193513258c58a38bd (patch) | |
| tree | 9d41f5b3074526935a967956f55b53de14c97dec /compiler | |
| parent | d978c5ed93482473b81bbe52bedf37d45d1e1029 (diff) | |
| download | haskell-e19e58ced6fb410c8aa79b2193513258c58a38bd.tar.gz | |
Improve panicking output
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/types/Type.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/types/Type.hs b/compiler/types/Type.hs index d78c7f7c7e..e3d3c88659 100644 --- a/compiler/types/Type.hs +++ b/compiler/types/Type.hs @@ -854,7 +854,7 @@ piResultTy ty arg empty_subst = mkEmptyTCvSubst $ mkInScopeSet $ tyCoVarsOfTypes [arg,res] | otherwise - = panic "piResultTys" + = pprPanic "piResultTy" (ppr ty $$ ppr arg) -- | (piResultTys f_ty [ty1, .., tyn]) gives the type of (f ty1 .. tyn) -- where f :: f_ty @@ -889,7 +889,7 @@ piResultTys ty orig_args@(arg:args) Named tv _ -> go (extendVarEnv emptyTvSubstEnv tv arg) res args | otherwise - = panic "piResultTys" + = pprPanic "piResultTys1" (ppr ty $$ ppr orig_args) where go :: TvSubstEnv -> Type -> [Type] -> Type go tv_env ty [] = substTy (mkTvSubst in_scope tv_env) ty @@ -911,7 +911,7 @@ piResultTys ty orig_args@(arg:args) = piResultTys ty' all_args | otherwise - = panic "piResultTys" + = pprPanic "piResultTys2" (ppr ty $$ ppr orig_args $$ ppr all_args) {- --------------------------------------------------------------------- |