diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-05 13:45:30 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-04-06 12:33:53 +0100 |
| commit | c90f8334fa99e8de1ecb7b135a2846bc4d2bf25a (patch) | |
| tree | 8e2694ad1a8b62fc9f0b59783913616b71da1680 | |
| parent | 2f9f1f86849ebc18af409c9b3fd809c9cd464021 (diff) | |
| download | haskell-c90f8334fa99e8de1ecb7b135a2846bc4d2bf25a.tar.gz | |
Comments and eta expand only
| -rw-r--r-- | compiler/typecheck/TcBinds.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcType.hs | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/typecheck/TcBinds.hs b/compiler/typecheck/TcBinds.hs index 1133e81dad..74f4b62708 100644 --- a/compiler/typecheck/TcBinds.hs +++ b/compiler/typecheck/TcBinds.hs @@ -840,7 +840,7 @@ mkExport prag_fn qtvs theta ; wrap <- if sel_poly_ty `eqType` poly_ty -- NB: eqType ignores visibility then return idHsWrapper -- Fast path; also avoids complaint when we infer - -- an ambiguouse type and have AllowAmbiguousType + -- an ambiguous type and have AllowAmbiguousType -- e..g infer x :: forall a. F a -> Int else addErrCtxtM (mk_impedance_match_msg mono_info sel_poly_ty poly_ty) $ tcSubType_NC sig_ctxt sel_poly_ty poly_ty diff --git a/compiler/typecheck/TcType.hs b/compiler/typecheck/TcType.hs index 783b5302ea..c76647cfa7 100644 --- a/compiler/typecheck/TcType.hs +++ b/compiler/typecheck/TcType.hs @@ -1284,7 +1284,7 @@ mkSigmaTy bndrs theta tau = mkForAllTys bndrs (mkPhiTy theta tau) -- | Make a sigma ty where all type variables are 'Inferred'. That is, -- they cannot be used with visible type application. mkInfSigmaTy :: [TyVar] -> [PredType] -> Type -> Type -mkInfSigmaTy tyvars ty = mkSigmaTy (mkTyVarBinders Inferred tyvars) ty +mkInfSigmaTy tyvars theta ty = mkSigmaTy (mkTyVarBinders Inferred tyvars) theta ty -- | Make a sigma ty where all type variables are "specified". That is, -- they can be used with visible type application @@ -1889,7 +1889,7 @@ pickCapturedPreds -> TcThetaType -- Proposed constraints to quantify -> TcThetaType -- A subset that we can actually quantify -- A simpler version of pickQuantifiablePreds, used to winnow down --- the inferred constrains of a group of bindings, into those for +-- the inferred constraints of a group of bindings, into those for -- one particular identifier pickCapturedPreds qtvs theta = filter captured theta |