Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 21 Mar 2014 15:26:11 +0000 (15:26 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 24 Mar 2014 08:28:01 +0000 (08:28 +0000)
compiler/typecheck/TcEvidence.lhs

index 0ad4456..a31f66a 100644 (file)
@@ -82,7 +82,7 @@ differences
   * The kind of a TcCoercion is  t1 ~  t2  (resp. Coercible t1 t2)
              of a Coercion   is  t1 ~# t2  (resp. t1 ~#R t2)
 
-  * UnsafeCo aren't required, but we do have TcPhandomCo
+  * UnsafeCo aren't required, but we do have TcPhantomCo
 
   * Representation invariants are weaker:
      - we are allowed to have type synonyms in TcTyConAppCo