summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver.hs
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Tc/Solver.hs')
-rw-r--r--compiler/GHC/Tc/Solver.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/GHC/Tc/Solver.hs b/compiler/GHC/Tc/Solver.hs
index 7e1f919e1f..697cea0f47 100644
--- a/compiler/GHC/Tc/Solver.hs
+++ b/compiler/GHC/Tc/Solver.hs
@@ -223,7 +223,7 @@ simplifyAndEmitFlatConstraints wanted
; tclvl <- TcM.getTcLevel
; implic <- buildTvImplication UnkSkol [] tclvl wanted
-- UnkSkol: doesn't matter, because
- -- we bind no skolem varaibles here
+ -- we bind no skolem variables here
; emitImplication implic
; failM }
Just (simples, holes)
@@ -312,7 +312,7 @@ should be well. BUT it's hard to see that when kind-checking the signature
for undefined. We want to emit a residual (a~b) constraint, to solve
later.
-Another possiblity is that we might have something like
+Another possibility is that we might have something like
F alpha ~ [Int]
where alpha is bound further out, which might become soluble
"later" when we learn more about alpha. So we want to emit