diff options
| author | simonpj@microsoft.com <unknown> | 2008-07-07 10:31:45 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2008-07-07 10:31:45 +0000 |
| commit | f6d9137f8ba8427bbdad0650ec96211494f43d87 (patch) | |
| tree | da53a4705167c5dd6d6a102ee6bde499158f327b | |
| parent | 4cc1ed3b25dd2c565341665b3b4175dfdbc4328f (diff) | |
| download | haskell-f6d9137f8ba8427bbdad0650ec96211494f43d87.tar.gz | |
White space only
| -rw-r--r-- | compiler/typecheck/TcMType.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcMType.lhs b/compiler/typecheck/TcMType.lhs index 46ce8034a3..ecdf59f9af 100644 --- a/compiler/typecheck/TcMType.lhs +++ b/compiler/typecheck/TcMType.lhs @@ -179,7 +179,7 @@ checkTauTvUpdate :: TcTyVar -> TcType -> TcM (Maybe TcType) -- (checkTauTvUpdate tv ty) -- We are about to update the TauTv tv with ty. -- Check (a) that tv doesn't occur in ty (occurs check) --- (b) that ty is a monotype +-- (b) that ty is a monotype -- Furthermore, in the interest of (b), if you find an -- empty box (BoxTv that is Flexi), fill it in with a TauTv -- @@ -218,7 +218,7 @@ checkTauTvUpdate orig_tv orig_ty | isSynTyCon tc = go_syn tc tys | otherwise = do { tys' <- mapM go tys ; return $ occurs (TyConApp tc) tys' } - go (PredTy p) = do { p' <- go_pred p + go (PredTy p) = do { p' <- go_pred p ; return $ occurs1 PredTy p' } go (FunTy arg res) = do { arg' <- go arg ; res' <- go res |