summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Solver.hs
diff options
context:
space:
mode:
authorKrzysztof Gogolewski <krzysztof.gogolewski@tweag.io>2022-09-14 16:23:48 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-09-14 22:40:09 -0400
commitdf04d6ec6a543d8bf1b953cf27c26e63ec6aab25 (patch)
treee3a3e88e10b4da7e57e73755147dd7928710ff17 /compiler/GHC/Tc/Solver.hs
parentbdd61cd63dff07a78b1364988b5a140806f79e38 (diff)
downloadhaskell-df04d6ec6a543d8bf1b953cf27c26e63ec6aab25.tar.gz
Fix typos
Diffstat (limited to 'compiler/GHC/Tc/Solver.hs')
-rw-r--r--compiler/GHC/Tc/Solver.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Solver.hs b/compiler/GHC/Tc/Solver.hs
index 6f783a6182..6811d35ed0 100644
--- a/compiler/GHC/Tc/Solver.hs
+++ b/compiler/GHC/Tc/Solver.hs
@@ -2689,7 +2689,7 @@ code, but:
Moreover, if we simplify this implication more than once
(e.g. because we can't solve it completely on the first iteration
- of simpl_looop), we'll generate all the same bindings AGAIN!
+ of simpl_loop), we'll generate all the same bindings AGAIN!
Easy solution: take advantage of the work we are doing to track dead
(unused) Givens, and use it to prune the Given bindings too. This is