Typo in comment
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 14 Oct 2016 14:52:15 +0000 (15:52 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 17 Oct 2016 07:41:20 +0000 (08:41 +0100)
compiler/typecheck/TcType.hs

index 1888578..f814a5f 100644 (file)
@@ -1123,7 +1123,7 @@ isRuntimeUnkSkol x
 mkSigmaTy :: [TyVarBinder] -> [PredType] -> Type -> Type
 mkSigmaTy bndrs theta tau = mkForAllTys bndrs (mkPhiTy theta tau)
 
--- | Make a sigma ty wherell type variables are 'Inferred'. That is,
+-- | 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