diff options
Diffstat (limited to 'testsuite/tests/dependent/should_compile/T11635.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_compile/T11635.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_compile/T11635.hs b/testsuite/tests/dependent/should_compile/T11635.hs index 61d9978e55..c767d5d3be 100644 --- a/testsuite/tests/dependent/should_compile/T11635.hs +++ b/testsuite/tests/dependent/should_compile/T11635.hs @@ -4,4 +4,4 @@ module T11635 where import Data.Kind -data X (a :: forall k. k -> * ) b = X +data X (a :: forall k. k -> Type) b = X |