diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-06-07 12:09:35 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-06-07 12:09:35 +0100 |
| commit | 07a274072fc945a303ae3257b3035b74bd858f70 (patch) | |
| tree | b22728b035b5cb9037a014e9241295dc2617f1bf | |
| parent | c91172004f2a5a6bf201b418c32c2d640ee34049 (diff) | |
| download | haskell-07a274072fc945a303ae3257b3035b74bd858f70.tar.gz | |
Improve assertion
| -rw-r--r-- | compiler/typecheck/TcMType.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index fed96e2ecb..75c1e8c235 100644 --- a/compiler/typecheck/TcMType.lhs +++ b/compiler/typecheck/TcMType.lhs @@ -773,7 +773,7 @@ zonkTcType ty | otherwise = TyVarTy <$> updateTyVarKindM go tyvar -- Ordinary (non Tc) tyvars occur inside quantified types - go (ForAllTy tyvar ty) = ASSERT( isImmutableTyVar tyvar ) do + go (ForAllTy tyvar ty) = ASSERT2( isImmutableTyVar tyvar, ppr tyvar ) do ty' <- go ty tyvar' <- updateTyVarKindM go tyvar return (ForAllTy tyvar' ty') |