diff options
Diffstat (limited to 'compiler/GHC/Tc/Utils/Zonk.hs')
-rw-r--r-- | compiler/GHC/Tc/Utils/Zonk.hs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/compiler/GHC/Tc/Utils/Zonk.hs b/compiler/GHC/Tc/Utils/Zonk.hs index 5b79a2987a..78dd4a2eff 100644 --- a/compiler/GHC/Tc/Utils/Zonk.hs +++ b/compiler/GHC/Tc/Utils/Zonk.hs @@ -1347,14 +1347,7 @@ zonk_pat env (TuplePat tys pats boxed) zonk_pat env p@(OrPat ty pats) = do { ty' <- zonkTcTypeToTypeX env ty ; (env', pats') <- zonkPats env pats - ; checkNoVarsBound pats' p ; return (env', OrPat ty' pats') } - where - checkNoVarsBound :: [LPat GhcTc] -> Pat GhcTc -> TcRn () - checkNoVarsBound pats orpat = do - let bnds = collectPatsBinders CollWithDictBinders pats - let varBnds = collectPatsBinders CollNoDictBinders pats - unless (null bnds) $ addErr (TcRnOrPatBindsVariables orpat (varBnds `equalLength` bnds)) zonk_pat env (SumPat tys pat alt arity ) = do { tys' <- mapM (zonkTcTypeToTypeX env) tys |