Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 13 Jul 2018 22:49:41 +0000 (23:49 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 13 Jul 2018 22:49:41 +0000 (23:49 +0100)
compiler/hsSyn/HsDecls.hs

index 07fa4e1..3f54d20 100644 (file)
@@ -848,6 +848,9 @@ NOTE THAT
     dependent/should_compile/KindLevels, which requires this
     case. (Naturally, any kind variable mentioned before the :: should
     not be bound after it.)
+
+    This last point is much more debatable than the others; see
+    Trac #15142 comment:22
 -}