Commit fb147188 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-04-17 07:13:54 by simonpj]

Update hi-boot files
parent 221b6b69
__interface TcExpr 1 0 where __interface TcExpr 1 0 where
__export TcExpr tcExpr tcMonoExpr ; __export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
1 tcExpr :: 1 tcCheckSigma ::
RnHsSyn.RenamedHsExpr RnHsSyn.RenamedHsExpr
-> TcType.TcType -> TcType.TcType
-> TcRnTypes.TcM TcHsSyn.TcExpr ; -> TcRnTypes.TcM TcHsSyn.TcExpr ;
1 tcMonoExpr :: 1 tcCheckRho ::
RnHsSyn.RenamedHsExpr RnHsSyn.RenamedHsExpr
-> TcType.TcType -> TcType.TcType
-> TcRnTypes.TcM TcHsSyn.TcExpr ; -> TcRnTypes.TcM TcHsSyn.TcExpr ;
1 tcMonoExpr ::
RnHsSyn.RenamedHsExpr
-> TcUnify.Expected TcType.TcType
-> TcRnTypes.TcM TcHsSyn.TcExpr ;
...@@ -2,11 +2,11 @@ __interface TcMatches 1 0 where ...@@ -2,11 +2,11 @@ __interface TcMatches 1 0 where
__export TcMatches tcGRHSs tcMatchesFun; __export TcMatches tcGRHSs tcMatchesFun;
1 tcGRHSs :: HsExpr.HsMatchContext Name.Name 1 tcGRHSs :: HsExpr.HsMatchContext Name.Name
-> RnHsSyn.RenamedGRHSs -> RnHsSyn.RenamedGRHSs
-> TcType.TcType -> TcUnify.Expected TcType.TcType
-> TcRnTypes.TcM TcHsSyn.TcGRHSs ; -> TcRnTypes.TcM TcHsSyn.TcGRHSs ;
1 tcMatchesFun :: 1 tcMatchesFun ::
Name.Name Name.Name
-> TcType.TcType
-> [RnHsSyn.RenamedMatch] -> [RnHsSyn.RenamedMatch]
-> TcUnify.Expected TcType.TcType
-> TcRnTypes.TcM [TcHsSyn.TcMatch] ; -> TcRnTypes.TcM [TcHsSyn.TcMatch] ;
Supports Markdown
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