diff options
author | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2013-09-20 22:23:49 +0200 |
---|---|---|
committer | Krzysztof Gogolewski <krz.gogolewski@gmail.com> | 2013-09-20 22:23:49 +0200 |
commit | ffa8d223a938981dedda5ee99088f35ef7cd52a4 (patch) | |
tree | df9807f6290a167558fbc96b1293c02e826c555d /compiler/typecheck | |
parent | 2fbfa11ccfda6ce70d72ade55514f058a7a95072 (diff) | |
download | haskell-ffa8d223a938981dedda5ee99088f35ef7cd52a4.tar.gz |
Typos
Diffstat (limited to 'compiler/typecheck')
-rw-r--r-- | compiler/typecheck/TcHsType.lhs | 2 | ||||
-rw-r--r-- | compiler/typecheck/TcSimplify.lhs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs index 64f5fafd09..38a4f2b37a 100644 --- a/compiler/typecheck/TcHsType.lhs +++ b/compiler/typecheck/TcHsType.lhs @@ -884,7 +884,7 @@ as if $(..blah..) :: forall k. k. In the e1 example, the context of the splice fixes kappa to *. But in the e2 example, we'll desugar the type, zonking the kind unification -variables as we go. When we encournter the unconstrained kappa, we +variables as we go. When we encounter the unconstrained kappa, we want to default it to '*', not to AnyK. diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index 0ffda048af..ca29111b76 100644 --- a/compiler/typecheck/TcSimplify.lhs +++ b/compiler/typecheck/TcSimplify.lhs @@ -220,7 +220,7 @@ simplifyInfer _top_lvl apply_mr name_taus wanteds | isEmptyWC wanteds = do { gbl_tvs <- tcGetGlobalTyVars ; qtkvs <- quantifyTyVars gbl_tvs (tyVarsOfTypes (map snd name_taus)) - ; traceTc "simplifyInfer: emtpy WC" (ppr name_taus $$ ppr qtkvs) + ; traceTc "simplifyInfer: empty WC" (ppr name_taus $$ ppr qtkvs) ; return (qtkvs, [], False, emptyTcEvBinds) } | otherwise |