diff options
Diffstat (limited to 'compiler/GHC/Tc/Gen/Match.hs-boot')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Match.hs-boot | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Gen/Match.hs-boot b/compiler/GHC/Tc/Gen/Match.hs-boot new file mode 100644 index 0000000000..6b363511c8 --- /dev/null +++ b/compiler/GHC/Tc/Gen/Match.hs-boot @@ -0,0 +1,17 @@ +module GHC.Tc.Gen.Match where +import GHC.Hs ( GRHSs, MatchGroup, LHsExpr ) +import GHC.Tc.Types.Evidence ( HsWrapper ) +import GHC.Types.Name ( Name ) +import GHC.Tc.Utils.TcType( ExpSigmaType, TcRhoType ) +import GHC.Tc.Types ( TcM ) +import GHC.Types.SrcLoc ( Located ) +import GHC.Hs.Extension ( GhcRn, GhcTcId ) + +tcGRHSsPat :: GRHSs GhcRn (LHsExpr GhcRn) + -> TcRhoType + -> TcM (GRHSs GhcTcId (LHsExpr GhcTcId)) + +tcMatchesFun :: Located Name + -> MatchGroup GhcRn (LHsExpr GhcRn) + -> ExpSigmaType + -> TcM (HsWrapper, MatchGroup GhcTcId (LHsExpr GhcTcId)) |