Comments only
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 17:13:13 +0000 (13:13 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 17:13:13 +0000 (13:13 -0400)
compiler/coreSyn/MkCore.hs

index 3b76aef..24e46dc 100644 (file)
@@ -735,7 +735,7 @@ Notice the 'OpenKind' (manifested as openAlphaTyVar in the code). This ensures t
   * unboxed as well as boxed types
   * polymorphic types
 This is OK because it never returns, so the return type is irrelevant.
-See Note [OpenTypeKind accepts foralls] in TcUnify.
+See Note [OpenTypeKind accepts foralls] in TcType.
 
 
 ************************************************************************