Commit ad192ab0 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Update lhs-boot files

A consequence of my recent meddling with hs-boot files is that GHC is
more picky about the correpondence between the hs-boot file and the hs file.
In particular, you must use the same type synonyms.

This patche fixes up GHC's own hs-boot files to match the restriction.
parent c938c386
\begin{code} \begin{code}
module Match where module Match where
import Var ( Id ) import Var ( Id )
import TcType ( TcType ) import TcType ( Type )
import DsMonad ( DsM, EquationInfo, MatchResult ) import DsMonad ( DsM, EquationInfo, MatchResult )
import CoreSyn ( CoreExpr ) import CoreSyn ( CoreExpr )
import HsSyn ( LPat, HsMatchContext, MatchGroup ) import HsSyn ( LPat, HsMatchContext, MatchGroup )
import Name ( Name ) import Name ( Name )
match :: [Id] match :: [Id]
-> TcType -> Type
-> [EquationInfo] -> [EquationInfo]
-> DsM MatchResult -> DsM MatchResult
...@@ -29,7 +29,7 @@ matchSinglePat ...@@ -29,7 +29,7 @@ matchSinglePat
:: CoreExpr :: CoreExpr
-> HsMatchContext Name -> HsMatchContext Name
-> LPat Id -> LPat Id
-> TcType -> Type
-> MatchResult -> MatchResult
-> DsM MatchResult -> DsM MatchResult
\end{code} \end{code}
...@@ -2,16 +2,15 @@ ...@@ -2,16 +2,15 @@
module TcMatches where module TcMatches where
import HsSyn ( GRHSs, MatchGroup, ExprCoFn ) import HsSyn ( GRHSs, MatchGroup, ExprCoFn )
import Name ( Name ) import Name ( Name )
import Var ( Id )
import TcType ( BoxyRhoType ) import TcType ( BoxyRhoType )
import TcRnTypes( TcM ) import TcRnTypes( TcM, TcId )
tcGRHSsPat :: GRHSs Name tcGRHSsPat :: GRHSs Name
-> BoxyRhoType -> BoxyRhoType
-> TcM (GRHSs Id) -> TcM (GRHSs TcId)
tcMatchesFun :: Name tcMatchesFun :: Name
-> MatchGroup Name -> MatchGroup Name
-> BoxyRhoType -> BoxyRhoType
-> TcM (ExprCoFn, MatchGroup Id) -> TcM (ExprCoFn, MatchGroup TcId)
\end{code} \end{code}
\begin{code} \begin{code}
module TcUnify where module TcUnify where
import TcType ( TcTauType, BoxyType ) import TcType ( TcTauType, BoxySigmaType )
import TcRnTypes( TcM ) import TcRnTypes( TcM )
-- This boot file exists only to tie the knot between -- This boot file exists only to tie the knot between
-- TcUnify and TcSimplify -- TcUnify and TcSimplify
unifyType :: TcTauType -> TcTauType -> TcM () unifyType :: TcTauType -> TcTauType -> TcM ()
zapToMonotype :: BoxyType -> TcM TcTauType zapToMonotype :: BoxySigmaType -> TcM TcTauType
\end{code} \end{code}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment