diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-09-25 01:39:00 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2019-09-25 01:39:00 +0300 |
| commit | d0de2e31f47f56b474ee73d84c7525cc971394ce (patch) | |
| tree | 8e563012d7c56237bc8cc8614036c720ad2474da | |
| parent | 9a31100c0f0a4b1dfa4b0814ce3a07b32fc6b5f4 (diff) | |
| download | haskell-d0de2e31f47f56b474ee73d84c7525cc971394ce.tar.gz | |
Formatting
| -rw-r--r-- | compiler/typecheck/TcHsType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcHsType.hs b/compiler/typecheck/TcHsType.hs index b2c3bcd5aa..26bc90bba0 100644 --- a/compiler/typecheck/TcHsType.hs +++ b/compiler/typecheck/TcHsType.hs @@ -2331,7 +2331,7 @@ The resulting arity of G is 3+1=4. (length vis_tcbs = 3, -} {- Note [discardResult in kcCheckDeclHeader_sig] -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ We use 'unifyKind' to check inline kind annotations in declaration headers against the signature. |