From df04d6ec6a543d8bf1b953cf27c26e63ec6aab25 Mon Sep 17 00:00:00 2001 From: Krzysztof Gogolewski Date: Wed, 14 Sep 2022 16:23:48 +0200 Subject: Fix typos --- compiler/GHC/Core/Coercion.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/GHC/Core/Coercion.hs') 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. -} -- cgit v1.2.1