Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 21 Sep 2017 16:38:54 +0000 (17:38 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 25 Sep 2017 10:07:23 +0000 (11:07 +0100)
compiler/types/TyCoRep.hs

index a644298..1174b20 100644 (file)
@@ -1270,7 +1270,7 @@ the evidence for unboxed equalities:
     they might appear in a top-level type, there is no place to bind these
    (unlifted) coercions in the usual way.
 
-  - A coercion for (forall a. t1) ~ forall a. t2) will look like
+  - A coercion for (forall a. t1) ~ (forall a. t2) will look like
        forall a. (coercion for t1~t2)
     But the coercion for (t1~t2) may mention 'a', and we don't have let-bindings
     within coercions.  We could add them, but coercion holes are easier.