-Breaks the RnPass4/RnExpr4/RnBind4 loops.
+Breaks the RnSource/RnExpr/RnBinds loops.
\begin{code}
interface RnLoop where
-import Name ( Name )
-import RdrHsSyn ( ProtoNameHsBinds(..), ProtoNamePolyType(..), ProtoNameGenPragmas(..) )
-import RnHsSyn ( RenamedHsBinds(..), RenamedPolyType(..), RenamedGenPragmas(..) )
-import RnBinds4 ( rnBinds, FreeVars(..) )
-import RnMonad4 ( TyVarNamesEnv(..), Rn4M(..) )
-import RnPass4 ( rnPolyType, rnGenPragmas )
+import RdrHsSyn ( RdrNameHsBinds(..), RdrNameHsType(..) )
+import RnHsSyn ( RenamedHsBinds(..), RenamedHsType(..) )
+import RnBinds ( rnBinds )
+import RnMonad ( RnMS(..), FreeVars )
+import RnSource ( rnHsSigType )
import UniqSet ( UniqSet(..) )
+import PprStyle ( PprStyle )
+import Pretty ( Doc )
+import Name ( Name )
-rnBinds :: ProtoNameHsBinds -> Rn4M (RenamedHsBinds, FreeVars, [Name])
-rnGenPragmas :: ProtoNameGenPragmas -> Rn4M RenamedGenPragmas
-rnPolyType :: Bool
- -> TyVarNamesEnv
- -> ProtoNamePolyType
- -> Rn4M RenamedPolyType
+rnBinds :: RdrNameHsBinds
+ -> (RenamedHsBinds -> RnMS s (result, FreeVars))
+ -> RnMS s (result, FreeVars)
-type FreeVars = UniqSet Name
+rnHsSigType :: (PprStyle -> Doc)
+ -> RdrNameHsType
+ -> RnMS s RenamedHsType
\end{code}