Comments only
authorRichard Eisenberg <eir@cis.upenn.edu>
Wed, 5 Aug 2015 17:10:52 +0000 (13:10 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 5 Aug 2015 17:10:52 +0000 (13:10 -0400)
compiler/typecheck/TcMatches.hs
compiler/typecheck/TcUnify.hs

index fdebca0..eb641f7 100644 (file)
@@ -116,7 +116,8 @@ tcMatchesCase ctxt scrut_ty matches res_ty
   | otherwise
   = tcMatches ctxt [scrut_ty] res_ty matches
 
-tcMatchLambda :: MatchGroup Name (LHsExpr Name) -> TcRhoType
+tcMatchLambda :: MatchGroup Name (LHsExpr Name)
+              -> TcRhoType   -- deeply skolemised
               -> TcM (HsWrapper, MatchGroup TcId (LHsExpr TcId), CtOrigin)
 tcMatchLambda match res_ty
   = matchFunTys herald n_pats res_ty  $ \ pat_tys rhs_ty ->
@@ -144,7 +145,7 @@ tcGRHSsPat grhss res_ty = tcGRHSs match_ctxt grhss res_ty
 matchFunTys
   :: SDoc       -- See Note [Herald for matchExpecteFunTys] in TcUnify
   -> Arity
-  -> TcRhoType
+  -> TcRhoType  -- deeply skolemised
   -> ([TcSigmaType] -> TcRhoType -> TcM (HsWrapper, a, b))
      -- "a" is always a MatchGroup. wrapper :: a's res_ty "->" TcRhoType
   -> TcM (HsWrapper, a, b)
index 507eb40..1e541f3 100644 (file)
@@ -67,7 +67,7 @@ import Control.Monad
 *                                                                      *
 ************************************************************************
 
-The matchExpected functions operate in one of two modes: "Expected" mode,
+matchExpectedFunTys functions operate in one of two modes: "Expected" mode,
 where the provided type is skolemised before matching, and "Actual" mode,
 where the provided type is instantiated before matching. The produced
 HsWrappers are oriented accordingly.