diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-14 16:23:48 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-14 22:40:09 -0400 |
| commit | df04d6ec6a543d8bf1b953cf27c26e63ec6aab25 (patch) | |
| tree | e3a3e88e10b4da7e57e73755147dd7928710ff17 /compiler/GHC/Core/Coercion.hs | |
| parent | bdd61cd63dff07a78b1364988b5a140806f79e38 (diff) | |
| download | haskell-df04d6ec6a543d8bf1b953cf27c26e63ec6aab25.tar.gz | |
Fix typos
Diffstat (limited to 'compiler/GHC/Core/Coercion.hs')
| -rw-r--r-- | compiler/GHC/Core/Coercion.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Core/Coercion.hs b/compiler/GHC/Core/Coercion.hs index 15ee9369da..917022c78d 100644 --- a/compiler/GHC/Core/Coercion.hs +++ b/compiler/GHC/Core/Coercion.hs @@ -874,7 +874,7 @@ Sadly, with heterogeneous equality, this restriction might be able to be violate Richard's thesis is unable to prove that it isn't. Specifically, the liftCoSubst function might create an invalid coercion. Because a violation of the restriction might lead to a program that "goes wrong", it is checked all the time, -even in a production compiler and without -dcore-list. We *have* proved that the +even in a production compiler and without -dcore-lint. We *have* proved that the problem does not occur with homogeneous equality, so this check can be dropped once ~# is made to be homogeneous. -} |