diff options
Diffstat (limited to 'testsuite/tests/polykinds/T8566a.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T8566a.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T8566a.hs b/testsuite/tests/polykinds/T8566a.hs index 22b628553f..7a4c658ffb 100644 --- a/testsuite/tests/polykinds/T8566a.hs +++ b/testsuite/tests/polykinds/T8566a.hs @@ -17,7 +17,7 @@ type family ExpandField (args :: [Field]) :: [Type] type family AppVars (t :: k) (vs :: [Type]) :: Type -- This function fails to compile, because we discard --- 'given' kind equalities. See comment 7 in Trac #8566 +-- 'given' kind equalities. See comment 7 in #8566 -- This is really a bug, I claim unA :: InField (APP t args) -> AppVars t (ExpandField args) unA (A x) = x |