diff options
Diffstat (limited to 'testsuite/tests/th/T8031.hs')
-rw-r--r-- | testsuite/tests/th/T8031.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/th/T8031.hs b/testsuite/tests/th/T8031.hs index 08081ed6fd..870d7d4fc9 100644 --- a/testsuite/tests/th/T8031.hs +++ b/testsuite/tests/th/T8031.hs @@ -9,7 +9,7 @@ import Data.Kind data SList :: [k] -> Type where SCons :: Proxy h -> Proxy t -> SList (h ': t) -$( [d| foo :: forall (a :: k). Proxy a +$( [d| foo :: forall k (a :: k). Proxy a -> forall (b :: [k]). Proxy b -> SList (a ': b) foo a b = SCons a b |] ) |