diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-03-28 14:18:17 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-14 07:55:20 -0400 |
| commit | 0da186c1b5a47e08e91c1c674d46c040c83932fc (patch) | |
| tree | 9c995882cf7f8733d370212c27d96c693b8df1ba /compiler/GHC/Tc/Utils | |
| parent | e8029816fda7602a8163c4d2703ff02982a3e48c (diff) | |
| download | haskell-0da186c1b5a47e08e91c1c674d46c040c83932fc.tar.gz | |
Change zipWith to zipWithEqual in a few places
Diffstat (limited to 'compiler/GHC/Tc/Utils')
| -rw-r--r-- | compiler/GHC/Tc/Utils/Zonk.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Utils/Zonk.hs b/compiler/GHC/Tc/Utils/Zonk.hs index 7fb9fa68f0..ede45e058b 100644 --- a/compiler/GHC/Tc/Utils/Zonk.hs +++ b/compiler/GHC/Tc/Utils/Zonk.hs @@ -1226,7 +1226,8 @@ zonkStmt env _zBody (ApplicativeStmt body_ty args mb_join) zonk_args env args = do { (env1, new_args_rev) <- zonk_args_rev env (reverse args) ; (env2, new_pats) <- zonkPats env1 (map get_pat args) - ; return (env2, zipWith replace_pat new_pats (reverse new_args_rev)) } + ; return (env2, zipWithEqual "zonkStmt" replace_pat + new_pats (reverse new_args_rev)) } -- these need to go backward, because if any operators are higher-rank, -- later operators may introduce skolems that are in scope for earlier |