diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7022a.hs')
-rw-r--r-- | testsuite/tests/polykinds/T7022a.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T7022a.hs b/testsuite/tests/polykinds/T7022a.hs index a286fd3c1d..ee71b806c1 100644 --- a/testsuite/tests/polykinds/T7022a.hs +++ b/testsuite/tests/polykinds/T7022a.hs @@ -9,5 +9,5 @@ makeSList :: Q [Dec] makeSList = do a <- newName "a" k <- newName "k" - return [TySynD (mkName "SList") [KindedTV a (AppT ListT (VarT k))] + return [TySynD (mkName "SList") [KindedTV a () (AppT ListT (VarT k))] (AppT (ConT (mkName "Sing")) (VarT a))] |