diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-13 23:49:41 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2018-07-13 23:49:41 +0100 |
| commit | 2928b925f94fd1423a192aa6421c9fdd05a0a9e4 (patch) | |
| tree | b2858adc7b8515794599294e2a4861f626d262e7 /compiler/hsSyn | |
| parent | e40eb738bb15795a22b2765e12c3add20efa91a5 (diff) | |
| download | haskell-2928b925f94fd1423a192aa6421c9fdd05a0a9e4.tar.gz | |
Comments only
Diffstat (limited to 'compiler/hsSyn')
| -rw-r--r-- | compiler/hsSyn/HsDecls.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/hsSyn/HsDecls.hs b/compiler/hsSyn/HsDecls.hs index 07fa4e1f06..3f54d20779 100644 --- a/compiler/hsSyn/HsDecls.hs +++ b/compiler/hsSyn/HsDecls.hs @@ -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 -} |