Comment fix
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 17 Mar 2016 08:50:23 +0000 (08:50 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 23 Mar 2016 15:39:13 +0000 (15:39 +0000)
compiler/types/Kind.hs

index ac7fc58..e3cebcd 100644 (file)
@@ -50,7 +50,7 @@ Constraint and *.  Indeed we can have coercions between the two. Consider
      op :: a -> a
 For this single-method class we may generate a newtype, which in turn
 generates an axiom witnessing
-    Ord a ~ (a -> a)
+    C a ~ (a -> a)
 so on the left we have Constraint, and on the right we have *.
 See Trac #7451.